Docker is weird codeandcake.dev
169 points by psxuaw 3 hours ago | 75 comments
1LLMs are making formal software verification feasible at a much larger scale www.anthropic.com
155 points by johnbender 3 hours ago | 72 comments
2Quad9 (DNS Resolver) to Exit France quad9.net
1027 points by farrokhi 12 hours ago | 369 comments
3OpenShell – A safe, private runtime for fleets of autonomous AI agents github.com
316 points by niemandhier 9 hours ago | 164 comments
4Woman faces six years in prison over Cash App account she never opened www.techspot.com
536 points by oidar 13 hours ago | 551 comments
5Every AI model has the same "controversial" take on humans www.modelcompare.ai
258 points by rakannimer 10 hours ago | 320 comments
6Getting ready to operate GNU Taler in Germany www.taler.net
232 points by dewey 10 hours ago | 85 comments
7Run full iOS 16.5 firmware on Android Devices github.com
342 points by aghuang 11 hours ago | 129 comments
8AI compute is the new oil–and needs a new market www.economist.com
26 points by ijidak 3 hours ago | 16 comments
9The Secret Life of Circuits is now in stock everywhere blog.coredump.cx
23 points by surprisetalk 2 days ago | 8 comments
10Mortality Among People with Attention-Deficit/Hyperactivity Disorder jamanetwork.com
11 points by gumby 2 days ago | 0 comments
11Jailbreaking the Switch 2 pepsipu.com
739 points by ledoge 18 hours ago | 257 comments
12What Is Gridifcation musicalform.substack.com
411 points by gumby 3 days ago | 203 comments
13Hedra is a 3D open world game I wrote from scratch while in highschool github.com
143 points by maxilevi 8 hours ago | 29 comments
14Jank – The native Clojure dialect with seamless C++ interop jank-lang.org
19 points by giancarlostoro 2 hours ago | 1 comment
15The foolishness of "natural language programming" (1978) www.cs.utexas.edu
41 points by xiaoyu2006 2 hours ago | 43 comments
16eMudhra to exit global SSL/TLS certificate business emudhra.com
950 points by bo0tzz 13 hours ago | 638 comments
17Xbox wants you to pay 24 to 40 cents per hour to stream games you bought arstechnica.com
226 points by entryleveljobsc 15 hours ago | 215 comments
18Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
404 points by petecooper 16 hours ago | 171 comments
19Mapping the Northern Sky www.maps.com
18 points by tmseidman 2 hours ago | 5 comments
20Railpass train.samismith.com
56 points by CharlesW 5 hours ago | 17 comments
21How to Design Flowers www.asimov.press
21 points by surprisetalk 2 days ago | 2 comments
22AI and the Enclosure of the Scientific Commons arxiv.org
116 points by jrepinc 8 hours ago | 71 comments
23Speeding up code review with `small-change` lethain.com
28 points by alexmolas 3 days ago | 15 comments
24Dungeon Generation in the Gnomish Mines of NetHack www.boristhebrave.com
129 points by ibobev 3 days ago | 16 comments
25Faster than earcut: triangulating 3.7M map polygons in 489 ms globus.software
206 points by molind 17 hours ago | 38 comments
26Show HN: Uberblok – an interactive museum of ZFS internals uberblok.storagebits.workers.dev
87 points by storagebits 1 day ago | 22 comments
27A farewell to Arc browser arc.net
237 points by suhdonghwi 10 hours ago | 212 comments
28What’s getting pwned right now pwn.watch
350 points by mrkd 12 hours ago | 161 comments
29Startup taps underwater volcano as energy source in “proof point” test arstechnica.com
126 points by wffurr 3 days ago | 53 comments
30