- 96Docker is weird (codeandcake.dev)
- 101LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 998Quad9 (DNS Resolver) to Exit France (quad9.net)
- 298OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
- 12The foolishness of "natural language programming" (1978) (cs.utexas.edu)
- 493Woman faces six years in prison over Cash App account she never opened (techspot.com)
- 239Every AI model has the same "controversial" take on humans (modelcompare.ai)
- 227Getting ready to operate GNU Taler in Germany (taler.net)
- 323Run full iOS 16.5 firmware on Android Devices (github.com)
- 720Jailbreaking the Switch 2 (pepsipu.com)
- 13AI compute is the new oil–and needs a new market (economist.com)
- 133Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
- 402What Is Gridifcation (musicalform.substack.com)
- 13Mapping the Northern Sky (maps.com)
- 931eMudhra to exit global SSL/TLS certificate business (emudhra.com)
- 112AI and the Enclosure of the Scientific Commons (arxiv.org)
- 365Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
- 203Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
- 43Railpass (train.samismith.com)
- 16How to Design Flowers (asimov.press)
- 9Color Names (names.color.pizza)
- 3The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
- 23Speeding up code review with `small-change` (lethain.com)
- 125Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
- 79Show HN: Uberblok – an interactive museum of ZFS internals (uberblok.storagebits.workers.dev)
- 202Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
- 229A farewell to Arc browser (arc.net)
- 28The phenomena that brighten dawn and dusk (2016) (colorado.edu)
- 343What’s getting pwned right now (pwn.watch)
- 124Startup taps underwater volcano as energy source in “proof point” test (arstechnica.com)