- 1Docker is weird (codeandcake.dev)259 points by psxuaw - 133 comments
- 2LLMs are making formal software verification feasible at a much larger scale (anthropic.com)216 points by johnbender - 120 comments
- 3Quad9 (DNS Resolver) to Exit France (quad9.net)1073 points by farrokhi - 385 comments
- 4Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)59 points by gumby - 28 comments
- 5The Secret Life of Circuits is now in stock everywhere (coredump.cx)64 points by surprisetalk - 14 comments
- 6Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)596 points by oidar - 591 comments
- 7Median product "lifespan" has fallen from ~4y down to ~1.5y 13 points by stanislavb - 3 comments
- 8OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com/nvidia)342 points by niemandhier - 181 comments
- 9Every AI model has the same "controversial" take on humans (modelcompare.ai)302 points by rakannimer - 343 comments
- 10Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)46 points by giancarlostoro - 1 comments
- 11Run full iOS 16.5 firmware on Android Devices (github.com/oosexgang)361 points by aghuang - 133 comments
- 12Getting ready to operate GNU Taler in Germany (taler.net)244 points by dewey - 99 comments
- 13AI compute is the new oil–and needs a new market (economist.com)37 points by ijidak - 28 comments
- 14What Is Gridifcation (musicalform.substack.com)430 points by gumby - 207 comments
- 15Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It (idiallo.com)17 points by surprisetalk - 7 comments
- 16Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry. 451 points by petecooper - 186 comments
- 17Hedra is a 3D open world game I wrote from scratch while in highschool (github.com/maxilevi)166 points by maxilevi - 31 comments
- 18eMudhra to exit global SSL/TLS certificate business (emudhra.com)986 points by bo0tzz - 662 comments
- 19Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)256 points by entryleveljobsc - 227 comments
- 20The foolishness of "natural language programming" (1978) (utexas.edu)74 points by xiaoyu2006 - 57 comments
- 21This I Believe (awakin.org)14 points by ctoth - 1 comments
- 22Mapping the Northern Sky (maps.com)26 points by tmseidman - 10 comments
- 23Railpass (samismith.com)71 points by CharlesW - 22 comments
- 24AI and the Enclosure of the Scientific Commons (arxiv.org)126 points by jrepinc - 74 comments
- 25Show HN: Uberblok – an interactive museum of ZFS internals (storagebits.workers.dev)98 points by storagebits - 23 comments
- 26Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)135 points by ibobev - 18 comments
- 27Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)210 points by molind - 39 comments
- 28How to Design Flowers (asimov.press)24 points by surprisetalk - 2 comments
- 29Speeding up code review with `small-change` (lethain.com)34 points by alexmolas - 19 comments
- 30Jailbreaking the Switch 2 (pepsipu.com)757 points by ledoge - 265 comments