• 161 Docker is weird (codeandcake.dev)
  by psxuaw 3 hours ago | 70 comments
• 141 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 hours ago | 70 comments
• 1022 Quad9 (DNS Resolver) to Exit France (quad9.net)
  by farrokhi 12 hours ago | 369 comments
• 38 The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu2006 2 hours ago | 36 comments
• 314 OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier 9 hours ago | 162 comments
• 532 Woman faces six years in prison over Cash App account she never opened (techspot.com)
  by oidar 14 hours ago | 544 comments
• 254 Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer 11 hours ago | 317 comments
• 25 AI compute is the new oil–and needs a new market (economist.com)
  by ijidak 3 hours ago | 16 comments
• 231 Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey 10 hours ago | 85 comments
• 334 Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang 11 hours ago | 129 comments
• 17 The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
  by surprisetalk 3 days ago | 5 comments
• 734 Jailbreaking the Switch 2 (pepsipu.com)
  by ledoge 19 hours ago | 254 comments
• 411 What Is Gridifcation (musicalform.substack.com)
  by gumby 4 days ago | 202 comments
• 18 Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  by giancarlostoro 3 hours ago | 1 comments
• 143 Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
  by maxilevi 8 hours ago | 29 comments
• 6 Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
  by gumby 2 days ago | discuss
• 17 Mapping the Northern Sky (maps.com)
  by tmseidman 3 hours ago | 4 comments
• 947 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 13 hours ago | 636 comments
• 397 Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. ()
  by petecooper 16 hours ago | 166 comments
• 221 Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
  by entryleveljobsc 15 hours ago | 211 comments
• 53 Railpass (train.samismith.com)
  by CharlesW 5 hours ago | 14 comments
• 21 Color Names (names.color.pizza)
  by akkartik 2 days ago | 2 comments
• 21 How to Design Flowers (asimov.press)
  by surprisetalk 3 days ago | 2 comments
• 116 AI and the Enclosure of the Scientific Commons (arxiv.org)
  by jrepinc 8 hours ago | 70 comments
• 28 Speeding up code review with `small-change` (lethain.com)
  by alexmolas 4 days ago | 14 comments
• 129 Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
  by ibobev 3 days ago | 16 comments
• 205 Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
  by molind 17 hours ago | 38 comments
• 84 Show HN: Uberblok – an interactive museum of ZFS internals (uberblok.storagebits.workers.dev)
  by storagebits 2 days ago | 22 comments
• 232 A farewell to Arc browser (arc.net)
  by suhdonghwi 10 hours ago | 211 comments
• 350 What’s getting pwned right now (pwn.watch)
  by mrkd 13 hours ago | 161 comments