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.