Announcing the optics library, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds. By Andrzej Rybczak and Adam Gundry.

Don’t Fear the Profunctor Optics! (2017). By Jesús López-González.

The Riemann Hypothesis (Part 1), blog series by John Baez.

Fast and Reliable DWARF Unwinding, and Beyond, by Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli.

Cranelift is a low-level retargetable code generator, written in Rust.

What is the Xena project? Formalizing mathematics in Lean.

Dumb Jump is an Emacs “jump to definition” package with support for 40+ programming languages that favors “just working”. This means minimal – and ideally zero – configuration with absolutely no stored indexes or persistent background processes.

ed25519 for DNSSEC, finally.

What Remains Technical Breakdown, a NES game written in a Lisp.

The Most Gender-Switched Names in US History, by Nathan Yau.