Yearly Favorites
12931.
12932.
Why don't people use formal methods? (2019)
(hillelwayne.com)
12933.
A Year of 3D Printing
(brookehatton.com)
12934.
Tracking Costco gas prices
(jack.bio)
12935.
AI didn't simplify software engineering: It just made bad engineering easier
(robenglander.com)
12936.
Jujutsu worktrees are convenient (2024)
(shaddy.dev)
12937.
Social Animus
(justine.lol)
12938.
Expertise in the age of AI
(moderndescartes.com)
12939.
In math, rigor is vital, but are digitized proofs taking it too far?
(quantamagazine.org)
12940.
12941.
A judge gave the FBI permission to attempt to bypass biometrics
(theintercept.com)
12942.
Western Sahara
(en.wikipedia.org)
12943.
12945.
Better Auth is joining Vercel
(better-auth.com)
12946.
The working-class hero of Bletchley Park you didn't see in the movies
(theguardian.com)
12947.
Dates That Don't Exist (2015)
(blog.yossarian.net)
12948.
TOP500 at ISC’26: We have a New Number 1 Supercomputer
(chipsandcheese.com)
12949.
Traffic from Russia to Cloudflare is 60% down from last year
(radar.cloudflare.com)
12950.
RCE via ND6 Router Advertisements in FreeBSD
(freebsd.org)
12951.
Ecosia: The greenest AI is here
(blog.ecosia.org)
12952.
AI Is Breaking This Thing We Call Trust
(terriblesoftware.org)
12953.
GitHub no longer uses Toasts
(primer.style)
12954.
Ideas aren't getting harder to find
(asteriskmag.com)
12955.
Contrails Map
(map.contrails.org)
12956.
Rhombus 1.1 is now available
(blog.racket-lang.org)
12957.
Magit manuals are available online again
(github.com)
12958.
The National Parks Were Reportedly Told to Stay Silent on Deaths
(outsideonline.com)
12959.
The consequences of task switching in supervisory programming
(martinfowler.com)
12960.