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
iptables-uwu, an iptables target that uwu’s outgoing packets.