2018 Fields Medal and Nevanlinna Prize Winners, at Quanta.
Gamifying propositional logic: QED, an interactive textbook, by Terence Tao.
Categorifying cardinal arithmetic, nice talk by Emily Riehl.
Grain, a ML-style language compiling to WASM.
Modern SAT solvers: fast, neat and underused, by Martin Hořeňovský.
Compiling Lambda Calculus, by Nils M Holm.
Phil, a crossword maker in HTML 5.
A Spectre is Haunting Unicode, “several of the added characters had no obvious sources, and nobody could tell what they meant or how they should be pronounced.”
Bootable CD + retro game in a tweet, by Alok Menghrajani.