Breaking GitHub Private Pages for $35k, good writeup by Robert Chen.
Modern CI is Too Complex and Misdirected, good ideas by Gregory Szorc.
Four Bytes of Power: exploiting CVE-2021-26708 in the Linux kernel, by Alexander Popov.
The Cursed Computer Iceberg Meme
Shift right by half a bit with regexps…
Plan 9 from Bell Labs in Cyberspace!, Nokia transfers copyright of Plan 9 to the new Plan 9 Foundation, which is making the OS code publicly available under a suitable open-source software license (MIT).
A safer default for navigation: HTTPS, Chrome now uses https: by default. Finally!
Real-time Robotics Control in the Lean Language, by Joe Hendrix, Andrew Kent, and Ethan Lew. “To assess Lean’s suitability as a programming language for real systems, we set out to write a Lean implementation of a robotics controller running on a single board computer.”
The TeX tuneup of 2021, by Donald Knuth.
ask, a particular fragment of Haskell, extended to a proof system. By Conor McBride.
innernet, a private network system that uses WireGuard under the hood.
Recovering a full PEM Private Key when half of it is redacted
The semicolon in zone master files; some history, researched by Jan-Piet Mens.
Orca is an esoteric programming language, designed to create procedural sequencers in which each letter of the alphabet is an operation.
iptables-uwu, an iptables target that uwu’s outgoing packets. Supew usefuw!