Hacker News

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