Docker is weird
(codeandcake.dev)LLMs are making formal software verification feasible at a much larger scale
(www.anthropic.com)Woman charged with computer fraud due to scam CashApp account being in her name
(www.404media.co)Mortality Among People with Attention-Deficit/Hyperactivity Disorder
(jamanetwork.com)OpenShell – A safe, private runtime for fleets of autonomous AI agents
(github.com)This I Believe (1952)
(www.awakin.org)Every AI model has the same "controversial" take on humans
(www.modelcompare.ai)Run full iOS 16.5 firmware on Android Devices
(github.com)The foolishness of "natural language programming" (1978)
(www.cs.utexas.edu)Getting ready to operate GNU Taler in Germany
(www.taler.net)Quad9 to exit France
(quad9.net)Jank – The native Clojure dialect with seamless C++ interop
(jank-lang.org)Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It
(idiallo.com)Postgres recovery_prefetch can cause outages
(ardentperf.com)What Is Gridifcation
(musicalform.substack.com)Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)Hedra is a 3D open world game I wrote from scratch while in highschool
(github.com)eMudhra to exit global SSL/TLS certificate business
(emudhra.com)Railpass
(train.samismith.com)Mapping the Northern Sky
(www.maps.com)Show HN: Uberblok – an interactive museum of ZFS internals
(uberblok.storagebits.workers.dev)Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)Dungeon Generation in the Gnomish Mines of NetHack
(www.boristhebrave.com)How to Design Flowers
(www.asimov.press)Jailbreaking the Switch 2
(pepsipu.com)Speeding up code review with `small-change`
(lethain.com)Startup taps underwater volcano as energy source in “proof point” test
(arstechnica.com)WorldTUI: I trained a 360M model to pretend to be a terminal
(simedw.com)A farewell to Arc browser
(arc.net)