-
106
Docker is weird
(codeandcake.dev)
-
104
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
-
999
Quad9 (DNS Resolver) to Exit France
(quad9.net)
-
298
OpenShell – A safe, private runtime for fleets of autonomous AI agents
(github.com)
-
13
The foolishness of "natural language programming" (1978)
(cs.utexas.edu)
-
495
Woman faces six years in prison over Cash App account she never opened
(techspot.com)
-
241
Every AI model has the same "controversial" take on humans
(modelcompare.ai)
-
227
Getting ready to operate GNU Taler in Germany
(taler.net)
-
325
Run full iOS 16.5 firmware on Android Devices
(github.com)
-
15
AI compute is the new oil–and needs a new market
(economist.com)
-
721
Jailbreaking the Switch 2
(pepsipu.com)
-
134
Hedra is a 3D open world game I wrote from scratch while in highschool
(github.com)
-
403
What Is Gridifcation
(musicalform.substack.com)
-
13
Mapping the Northern Sky
(maps.com)
-
932
eMudhra to exit global SSL/TLS certificate business
(emudhra.com)
-
5
The Secret Life of Circuits is now in stock everywhere
(blog.coredump.cx)
-
371
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
()
-
112
AI and the Enclosure of the Scientific Commons
(arxiv.org)
-
204
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)
-
44
Railpass
(train.samismith.com)
-
16
How to Design Flowers
(asimov.press)
-
10
Color Names
(names.color.pizza)
-
23
Speeding up code review with `small-change`
(lethain.com)
-
125
Dungeon Generation in the Gnomish Mines of NetHack
(boristhebrave.com)
-
79
Show HN: Uberblok – an interactive museum of ZFS internals
(uberblok.storagebits.workers.dev)
-
203
Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)
-
229
A farewell to Arc browser
(arc.net)
-
345
What’s getting pwned right now
(pwn.watch)
-
29
The phenomena that brighten dawn and dusk (2016)
(colorado.edu)
-
124
Startup taps underwater volcano as energy source in “proof point” test
(arstechnica.com)