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!