Welcome back to the daily tech digest. Today, we're diving deep into a mix of geopolitical internet battles, cutting-edge AI research, and the constant evolution of how we interact with software. From major DNS providers facing legal challenges to new models that can simulate a terminal, we have a packed show. Let's get into the news.

Timestamps: 0:00 Intro 0:20 Quad9 to exit France 2:31 What’s getting pwned right now 4:22 Jared Kushner Hacked Phone Reveals Secret Negotiations, Millions in Transactions 5:56 WorldTUI: I trained a 360M model to pretend to be a terminal 7:54 Kimi K3.1 Pro and K3.1 Pro Highspeed 9:32 OpenShell – A safe, private runtime for fleets of autonomous AI agents 11:44 LLMs are making formal software verification feasible at a much larger scale 13:32 Every AI model has the same "controversial" take on humans 15:01 Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? 16:42 Docker is weird 18:36 Run full iOS 16.5 firmware on Android Devices 20:51 Local Wikipedia: Wikipedia, but only for things a half hour walk from you 22:16 A farewell to Arc browser 23:47 Outro

Rss
Podden och tillhörande omslagsbild på den här sidan tillhör Hackernews Digest Daily. Innehållet i podden är skapat av Hackernews Digest Daily och inte av, eller tillsammans med, Poddtoppen.