- 325 Docker is weird (codeandcake.dev)
- 253 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 41 This I Believe (1952) (awakin.org)
- 355 OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
- 331 Every AI model has the same "controversial" take on humans (modelcompare.ai)
- 384 Run full iOS 16.5 firmware on Android Devices (github.com)
- 99 The foolishness of "natural language programming" (1978) (cs.utexas.edu)
- 65 Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
- 250 Getting ready to operate GNU Taler in Germany (taler.net)
- 1110 Quad9 to exit France (quad9.net)
- 517 WorldTUI: I trained a 360M model to pretend to be a terminal (simedw.com)
- 31 Postgres recovery_prefetch can cause outages (ardentperf.com)
- 440 What Is Gridifcation (musicalform.substack.com)
- 30 Why my Asus laptop kept rebooting after sleep and how to fix it (idiallo.com)
- 15 A lost Schrödinger manuscript reveals a twist in quantum physics (sciencealert.com)
- 43 Color Names (names.color.pizza)
- 476 Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. ()
- 36 How to Design Flowers (asimov.press)
- 8 Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com)
- 88 Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
- 269 Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
- 1003 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
- 173 Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
- 81 Railpass (train.samismith.com)
- 32 Mapping the Northern Sky (maps.com)
- 70 Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies? ()
ask - 107 Show HN: Uberblok – an interactive museum of ZFS internals (uberblok.storagebits.workers.dev)
- 214 Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
- 138 Dungeon generation in the Gnomish mines of NetHack (boristhebrave.com)
- 769 Jailbreaking the Switch 2 (pepsipu.com)