May 2026 Archive
812.
Let’s Encrypt: Stopping Issuance for Potential Incident – Resolved
(letsencrypt.status.io)
813.
Sales and Dungeons: Thermal printer TTRPG utility
(sales-and-dungeons.app)
814.
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
815.
The quadratic sandwich
(fedemagnani.github.io)
816.
817.
818.
Sharla Boehm, the programmer whose code underpins the Internet
(scientificamerican.com)
819.
AI is too expensive
(wheresyoured.at)
820.
Making the news available at no cost is a victory
(sltrib.com)
821.
Pomiferous: The most extensive apples (pommes) database
(pomiferous.com)
822.
823.
New features in GCC 16: Improved error messages and SARIF output
(developers.redhat.com)
824.
DHS Quits Granting Green Cards–Almost
(cato.org)
826.
AMÁLIA and the future of European Portuguese LLMs
(duarteocarmo.com)
827.
WinCE64 – Windows CE 2.11 for N64
(github.com)
828.
Comparing the Z80 and 6502 to Their Relatives
(bumbershootsoft.wordpress.com)
829.
Voice AI Systems Are Vulnerable to Hidden Audio Attacks
(spectrum.ieee.org)
830.
Podman rootless containers and the Copy Fail exploit
(garrido.io)
831.
Judson's Last Ride
(realclearpolitics.com)
832.
Nearly 50 Years Later, WKRP in Cincinnati Becomes a Real Radio Station
(openculture.com)
833.
Making your own programming language is easier than you think (but also harder)
(lisyarus.github.io)
834.
Advanced Quantization Algorithm for LLMs
(github.com)
835.
Brain scans reveal 3 ADHD subtypes
(washingtonpost.com)
836.
Kioxia and Dell cram 10 PB into slim 2RU server
(blocksandfiles.com)
837.
838.
Introduction to Atom
(validator.w3.org)
840.