- 237Docker is weird (codeandcake.dev)
- 202LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 1062Quad9 (DNS Resolver) to Exit France (quad9.net)
- 56The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
- 45Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
- 583Woman faces six years in prison over Cash App account she never opened (techspot.com)
- 336OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
- 292Every AI model has the same "controversial" take on humans (modelcompare.ai)
- 357Run full iOS 16.5 firmware on Android Devices (github.com)
- 242Getting ready to operate GNU Taler in Germany (taler.net)
- 39Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
- 33AI compute is the new oil–and needs a new market (economist.com)
- 429What Is Gridifcation (musicalform.substack.com)
- 163Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
- 435Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
- 13Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It (idiallo.com)
- 982eMudhra to exit global SSL/TLS certificate business (emudhra.com)
- 252Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
- 5Median product "lifespan" has fallen from ~4y down to ~1.5y
- 67The foolishness of "natural language programming" (1978) (cs.utexas.edu)
- 69Railpass (train.samismith.com)
- 23Mapping the Northern Sky (maps.com)
- 123AI and the Enclosure of the Scientific Commons (arxiv.org)
- 134Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
- 210Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
- 94Show HN: Uberblok – an interactive museum of ZFS internals (uberblok.storagebits.workers.dev)
- 23How to Design Flowers (asimov.press)
- 32Speeding up code review with `small-change` (lethain.com)
- 7This I Believe (awakin.org)
- 755Jailbreaking the Switch 2 (pepsipu.com)