Hacker News

1.		Docker is weird (codeandcake.dev)
		233 points by psxuaw 4 hours ago \| hide \| 118 comments
2.		LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
		199 points by johnbender 5 hours ago \| hide \| 109 comments
3.		Quad9 (DNS Resolver) to Exit France (quad9.net)
		1062 points by farrokhi 13 hours ago \| hide \| 379 comments
4.		The Secret Life of Circuits is now in stock everywhere (coredump.cx)
		54 points by surprisetalk 3 hours ago \| hide \| 14 comments
5.		Woman faces six years in prison over Cash App account she never opened (techspot.com)
		580 points by oidar 15 hours ago \| hide \| 583 comments
6.		OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com/nvidia)
		333 points by niemandhier 10 hours ago \| hide \| 174 comments
7.		Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
		42 points by gumby 2 hours ago \| hide \| 23 comments
8.		Every AI model has the same "controversial" take on humans (modelcompare.ai)
		289 points by rakannimer 12 hours ago \| hide \| 341 comments
9.		Run full iOS 16.5 firmware on Android Devices (github.com/oosexgang)
		357 points by aghuang 13 hours ago \| hide \| 133 comments
10.		Getting ready to operate GNU Taler in Germany (taler.net)
		242 points by dewey 12 hours ago \| hide \| 95 comments
11.		Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
		37 points by giancarlostoro 4 hours ago \| hide \| 1 comment
12.		AI compute is the new oil–and needs a new market (economist.com)
		33 points by ijidak 4 hours ago \| hide \| 24 comments
13.		What Is Gridifcation (musicalform.substack.com)
		428 points by gumby 17 hours ago \| hide \| 207 comments
14.		Hedra is a 3D open world game I wrote from scratch while in highschool (github.com/maxilevi)
		161 points by maxilevi 9 hours ago \| hide \| 31 comments
15.		Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
		432 points by petecooper 18 hours ago \| hide \| 185 comments
16.		Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It (idiallo.com)
		13 points by surprisetalk 2 hours ago \| hide \| 6 comments
17.		eMudhra to exit global SSL/TLS certificate business (emudhra.com)
		981 points by bo0tzz 14 hours ago \| hide \| 651 comments
18.		Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
		250 points by entryleveljobsc 16 hours ago \| hide \| 220 comments
19.		The foolishness of "natural language programming" (1978) (utexas.edu)
		67 points by xiaoyu2006 3 hours ago \| hide \| 57 comments
20.		Railpass (samismith.com)
		68 points by CharlesW 6 hours ago \| hide \| 21 comments
21.		Mapping the Northern Sky (maps.com)
		23 points by tmseidman 4 hours ago \| hide \| 9 comments
22.		AI and the Enclosure of the Scientific Commons (arxiv.org)
		123 points by jrepinc 9 hours ago \| hide \| 73 comments
23.		Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
		134 points by ibobev 13 hours ago \| hide \| 17 comments
24.		Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
		210 points by molind 18 hours ago \| hide \| 39 comments
25.		Show HN: Uberblok – an interactive museum of ZFS internals (storagebits.workers.dev)
		94 points by storagebits 13 hours ago \| hide \| 23 comments
26.		How to Design Flowers (asimov.press)
		23 points by surprisetalk 5 hours ago \| hide \| 2 comments
27.		This I Believe (awakin.org)
		6 points by ctoth 2 hours ago \| hide \| discuss
28.		Speeding up code review with `small-change` (lethain.com)
		32 points by alexmolas 7 hours ago \| hide \| 17 comments
29.		Jailbreaking the Switch 2 (pepsipu.com)
		754 points by ledoge 20 hours ago \| hide \| 263 comments
30.		A farewell to Arc browser (arc.net)
		254 points by suhdonghwi 11 hours ago \| hide \| 218 comments
		More