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.