- 132 Docker is weird (codeandcake.dev)
- 122 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 1013 Quad9 (DNS Resolver) to Exit France (quad9.net)
- 28 The foolishness of "natural language programming" (1978) (cs.utexas.edu)
- 310 OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
- 507 Woman faces six years in prison over Cash App account she never opened (techspot.com)
- 248 Every AI model has the same "controversial" take on humans (modelcompare.ai)
- 22 AI compute is the new oil–and needs a new market (economist.com)
- 228 Getting ready to operate GNU Taler in Germany (taler.net)
- 12 The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
- 328 Run full iOS 16.5 firmware on Android Devices (github.com)
- 729 Jailbreaking the Switch 2 (pepsipu.com)
- 407 What Is Gridifcation (musicalform.substack.com)
- 139 Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
- 16 Mapping the Northern Sky (maps.com)
- 940 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
- 390 Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. ()
- 214 Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
- 9 Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
- 48 Railpass (train.samismith.com)
- 115 AI and the Enclosure of the Scientific Commons (arxiv.org)
- 17 How to Design Flowers (asimov.press)
- 24 Speeding up code review with `small-change` (lethain.com)
- 14 Color Names (names.color.pizza)
- 127 Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
- 82 Show HN: Uberblok – an interactive museum of ZFS internals (uberblok.storagebits.workers.dev)
- 204 Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
- 230 A farewell to Arc browser (arc.net)
- 347 What’s getting pwned right now (pwn.watch)
- 125 Startup taps underwater volcano as energy source in “proof point” test (arstechnica.com)