-
193
Docker is weird
(codeandcake.dev)
-
172
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
-
1034
Quad9 (DNS Resolver) to Exit France
(quad9.net)
-
25
Mortality Among People with Attention-Deficit/Hyperactivity Disorder
(jamanetwork.com)
-
321
OpenShell – A safe, private runtime for fleets of autonomous AI agents
(github.com)
-
549
Woman faces six years in prison over Cash App account she never opened
(techspot.com)
-
32
The Secret Life of Circuits is now in stock everywhere
(blog.coredump.cx)
-
271
Every AI model has the same "controversial" take on humans
(modelcompare.ai)
-
237
Getting ready to operate GNU Taler in Germany
(taler.net)
-
345
Run full iOS 16.5 firmware on Android Devices
(github.com)
-
29
AI compute is the new oil–and needs a new market
(economist.com)
-
418
What Is Gridifcation
(musicalform.substack.com)
-
26
Jank – The native Clojure dialect with seamless C++ interop
(jank-lang.org)
-
150
Hedra is a 3D open world game I wrote from scratch while in highschool
(github.com)
-
60
Railpass
(train.samismith.com)
-
964
eMudhra to exit global SSL/TLS certificate business
(emudhra.com)
-
234
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)
-
412
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
()
-
19
Mapping the Northern Sky
(maps.com)
-
51
The foolishness of "natural language programming" (1978)
(cs.utexas.edu)
-
118
AI and the Enclosure of the Scientific Commons
(arxiv.org)
-
21
How to Design Flowers
(asimov.press)
-
131
Dungeon Generation in the Gnomish Mines of NetHack
(boristhebrave.com)
-
30
Speeding up code review with `small-change`
(lethain.com)
-
208
Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)
-
90
Show HN: Uberblok – an interactive museum of ZFS internals
(uberblok.storagebits.workers.dev)
-
745
Jailbreaking the Switch 2
(pepsipu.com)
-
241
A farewell to Arc browser
(arc.net)
-
127
Startup taps underwater volcano as energy source in “proof point” test
(arstechnica.com)
-
353
What’s getting pwned right now
(pwn.watch)