Flyspeck, “We are pleased to announce the completion of the Flyspeck
project, which has constructed a formal proof of the Kepler
Maryam Mirzakhani is the first woman to win a Fields Medal.
The Not Rocket Science Rule Of Software Engineering,
by Graydon Hoare: “Automatically maintain a repository of code that
always passes all the tests.”
ocaml-hyphenate, an OCaml module for the hyphenation of words based
on TeX hyphenation patterns. Nicely written in literate style.
Extracting the VC-1520 6500/1 ROM
Tweetable Mathematical Art, fun.
Drone Survival Guide