-
81
Docker is weird
(codeandcake.dev)
-
96
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
-
995
Quad9 (DNS Resolver) to Exit France
(quad9.net)
-
295
OpenShell – A safe, private runtime for fleets of autonomous AI agents
(github.com)
-
8
The foolishness of "natural language programming" (1978)
(cs.utexas.edu)
-
490
Woman faces six years in prison over Cash App account she never opened
(techspot.com)
-
232
Every AI model has the same "controversial" take on humans
(modelcompare.ai)
-
226
Getting ready to operate GNU Taler in Germany
(taler.net)
-
321
Run full iOS 16.5 firmware on Android Devices
(github.com)
-
718
Jailbreaking the Switch 2
(pepsipu.com)
-
131
Hedra is a 3D open world game I wrote from scratch while in highschool
(github.com)
-
401
What Is Gridifcation
(musicalform.substack.com)
-
12
AI compute is the new oil–and needs a new market
(economist.com)
-
925
eMudhra to exit global SSL/TLS certificate business
(emudhra.com)
-
11
Mapping the Northern Sky
(maps.com)
-
109
AI and the Enclosure of the Scientific Commons
(arxiv.org)
-
365
Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.
()
-
199
Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)
-
43
Railpass
(train.samismith.com)
-
15
How to Design Flowers
(asimov.press)
-
124
Dungeon Generation in the Gnomish Mines of NetHack
(boristhebrave.com)
-
8
Color Names
(names.color.pizza)
-
22
Speeding up code review with `small-change`
(lethain.com)
-
201
Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)
-
76
Show HN: Uberblok – an interactive museum of ZFS internals
(uberblok.storagebits.workers.dev)
-
229
A farewell to Arc browser
(arc.net)
-
340
What’s getting pwned right now
(pwn.watch)
-
123
Startup taps underwater volcano as energy source in “proof point” test
(arstechnica.com)
-
26
The phenomena that brighten dawn and dusk (2016)
(colorado.edu)
-
504
WorldTUI: I trained a 360M model to pretend to be a terminal
(simedw.com)