Flyspeck, “We are pleased to announce the completion of the Flyspeck project, which has constructed a formal proof of the Kepler conjecture.”
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