Docker is weird
(codeandcake.dev)LLMs are making formal software verification feasible at a much larger scale
(www.anthropic.com)Quad9 (DNS Resolver) to Exit France
(quad9.net)Mortality Among People with Attention-Deficit/Hyperactivity Disorder
(jamanetwork.com)The Secret Life of Circuits is now in stock everywhere
(blog.coredump.cx)Woman charged with computer fraud due to scam CashApp account being in her name
(www.404media.co)OpenShell – A safe, private runtime for fleets of autonomous AI agents
(github.com)Every AI model has the same "controversial" take on humans
(www.modelcompare.ai)Jank – The native Clojure dialect with seamless C++ interop
(jank-lang.org)Run full iOS 16.5 firmware on Android Devices
(github.com)Getting ready to operate GNU Taler in Germany
(www.taler.net)AI compute is the new oil–and needs a new market
(www.economist.com)What Is Gridifcation
(musicalform.substack.com)Why My Asus Laptop Kept Rebooting After Sleep and How to Fix It
(idiallo.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)Xbox wants you to pay 24 to 40 cents per hour to stream games you bought
(arstechnica.com)The foolishness of "natural language programming" (1978)
(www.cs.utexas.edu)This I Believe
(www.awakin.org)Mapping the Northern Sky
(www.maps.com)Railpass
(train.samismith.com)Show HN: Uberblok – an interactive museum of ZFS internals
(uberblok.storagebits.workers.dev)Dungeon Generation in the Gnomish Mines of NetHack
(www.boristhebrave.com)Faster than earcut: triangulating 3.7M map polygons in 489 ms
(globus.software)How to Design Flowers
(www.asimov.press)Speeding up code review with `small-change`
(lethain.com)Jailbreaking the Switch 2
(pepsipu.com)Startup taps underwater volcano as energy source in “proof point” test
(arstechnica.com)A farewell to Arc browser
(arc.net)