Hacker News

1.		Docker is weird (codeandcake.dev)
		219 points by psxuaw 4 hours ago \| hide \| 115 comments
2.		LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
		194 points by johnbender 5 hours ago \| hide \| 105 comments
3.		Quad9 (DNS Resolver) to Exit France (quad9.net)
		1056 points by farrokhi 13 hours ago \| hide \| 376 comments
4.		The Secret Life of Circuits is now in stock everywhere (coredump.cx)
		49 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)
		569 points by oidar 15 hours ago \| hide \| 583 comments
6.		OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com/nvidia)
		329 points by niemandhier 10 hours ago \| hide \| 173 comments
7.		Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
		39 points by gumby 2 hours ago \| hide \| 16 comments
8.		Every AI model has the same "controversial" take on humans (modelcompare.ai)
		287 points by rakannimer 12 hours ago \| hide \| 341 comments
9.		Run full iOS 16.5 firmware on Android Devices (github.com/oosexgang)
		353 points by aghuang 12 hours ago \| hide \| 132 comments
10.		Getting ready to operate GNU Taler in Germany (taler.net)
		242 points by dewey 11 hours ago \| hide \| 95 comments
11.		AI compute is the new oil–and needs a new market (economist.com)
		33 points by ijidak 4 hours ago \| hide \| 23 comments
12.		Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
		33 points by giancarlostoro 4 hours ago \| hide \| 1 comment
13.		What Is Gridifcation (musicalform.substack.com)
		426 points by gumby 17 hours ago \| hide \| 206 comments
14.		Hedra is a 3D open world game I wrote from scratch while in highschool (github.com/maxilevi)
		159 points by maxilevi 9 hours ago \| hide \| 31 comments
15.		Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
		428 points by petecooper 18 hours ago \| hide \| 182 comments
16.		Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
		245 points by entryleveljobsc 16 hours ago \| hide \| 217 comments
17.		eMudhra to exit global SSL/TLS certificate business (emudhra.com)
		977 points by bo0tzz 14 hours ago \| hide \| 651 comments
18.		Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It (idiallo.com)
		12 points by surprisetalk 2 hours ago \| hide \| 4 comments
19.		Railpass (samismith.com)
		68 points by CharlesW 6 hours ago \| hide \| 21 comments
20.		The foolishness of "natural language programming" (1978) (utexas.edu)
		64 points by xiaoyu2006 3 hours ago \| hide \| 54 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 \| 72 comments
23.		Dungeon Generation in the Gnomish Mines of NetHack (boristhebrave.com)
		132 points by ibobev 13 hours ago \| hide \| 17 comments
24.		How to Design Flowers (asimov.press)
		23 points by surprisetalk 5 hours ago \| hide \| 2 comments
25.		Faster than earcut: triangulating 3.7M map polygons in 489 ms (globus.software)
		210 points by molind 18 hours ago \| hide \| 39 comments
26.		Show HN: Uberblok – an interactive museum of ZFS internals (storagebits.workers.dev)
		94 points by storagebits 13 hours ago \| hide \| 23 comments
27.		Speeding up code review with `small-change` (lethain.com)
		31 points by alexmolas 6 hours ago \| hide \| 17 comments
28.		Jailbreaking the Switch 2 (pepsipu.com)
		750 points by ledoge 20 hours ago \| hide \| 263 comments
29.		A farewell to Arc browser (arc.net)
		250 points by suhdonghwi 11 hours ago \| hide \| 218 comments
30.		Startup taps underwater volcano as energy source in “proof point” test (arstechnica.com)
		129 points by wffurr 19 hours ago \| hide \| 55 comments
		More