Lean Together 2021: An overview of Lean 4 (YouTube),
by Leonardo de Moura and Sebastian Ullrich.
The new syntactical features look really awesome.
Logical Verification 2020–2021,
course held by Jasmin Blanchette and Gabriel Ebner.
All material online.
Uses Lean and the book “The Hitchhiker’s Guide to Logical Verification”.
Advent of Code 2020 solutions in Lean 4,
by Reid Barton.
A Side Journey to Titan: Side-Channel Attack on the Google Titan Security Key,
by Victor Lomne and Thomas Roche.
Plaintext HTTP in a Modern World, Joshua Stein
on the Upgrade-Insecure-Requests header.
Ditherpunk – The article I wish I had about monochrome image dithering,
Working off-grid efficiently,
by Rekka Bellum.
Nicaraguan Sign Language is a sign language that was largely
spontaneously developed by deaf children in a number of schools in
Nicaragua in the 1980s.
A 11x11 Latin word square, by Eric Tentarelli.
Ray Tracing in pure CMake, whyyyy.