Minerva, a group of side-channel vulnerabilities in implementations of ECDSA/EdDSA in programmable smart cards and cryptographic software libraries.
IMO Grand Challenge, the challenge: build an AI that can win a gold medal in the International Mathematical Olympiad, formalized in Lean.
New Efficient, Constant-Time Implementations of Falcon, by Thomas Pornin.
Automatic Compiler Pass Fusion, by Vladimir Keleshev.
Xv6 for RISC-V, and the accompanying MIT course.
Loko Scheme is an implementation of the algorithmic language R6RS Scheme. It runs on the Linux kernel (amd64) and on bare amd64 hardware. More background.
cproc is a C11 compiler using QBE as a backend. It is released under the ISC license.
kuberNix, Kubernetes development cluster bootstrapping with Nix packages.
Solving a Danish Defense Intelligence Puzzle (2017), very good writeup by Safiire.
CPU Adventure – Unknown CPU Reversing, writeup by Robert Xiao