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.