Vladimir Voevodsky, Fields Medalist, Dies at 51, RIP.

Vladimir’s style of doing mathematics can be compared only to Grothendieck’s. Those of us who had an honor of working with him know that, faced with a problem, he would always rethink its basic definitions and assumptions, to find an elegant and clean solution. He saw structure where the rest of us were only able to see chaos.

— Chris Kapulkin

The Origins and Motivations of Univalent Foundations, by Vladimir Voevodsky. “A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes”.

Explorations of (Synthetic) Homotopy Theory in Coq, “investigating the ideas discussed at the Oberwolfach mini-workshop in Feb/Mar 2011.”

Which Haskell Functors are representable?

On numbers and endgames: Combinatorial game theory in chess endgames (1999), by Noam D. Elkies.

The 2016 Underhanded Rust Contest: The Results

I Tried to Fight Racism by Being a “Model Minority”—and Then It Backfired, by Yassmin Abdel-Magied.

RIES, Find Algebraic Equations, Given Their Solution.

Alphabet-only Ruby “Hello, World” (2010).

ducksay, a variant of cowsay for TeX.