Visualizing All ISBNs and the ones available at Anna’s Archive.

Tree Calculus, a kind of Lambda calculus with reflection.

PQConnect automatically applies post-quantum cryptography from end to end between computers running PQConnect.

Dissecting Puma: Anatomy of a Ruby Web Server, by Dan Svetlov.

Eileen: A plan for Iris in Lean, by Markus de Medeiros.

UltraLogLog: A Practical and More Space-Efficient Alternative to HyperLogLog for Approximate Distinct Counting, by Otmar Ertl.

usam, an experiment in blending the sam editor with the shell. Funky.

Luigi Mangione and the Making of a Modern Antihero, by Jessica Winter.