Distributed computing with alien technology
Wang Tiles and Aperiodic Tiling, “The discovery of an aperiodic set spoilt Wang’s argument and it is now known that the Tiling Problem is undecidable.”
Antimirov Derivatives for Regular Expressions, “rather than taking regular expressions modulo the ACUI equations, we can construct sets of partial derivatives, which collectively accept the same strings as the Brzozowski derivative.” Nice piece of OCaml.
Point-free, set-free concrete linear algebra (PDF), Georges Gonthier outlines the linear algebra subset of SSReflect.
Theorem of three circles in Coq, by Julianna Zsidó.
Baysig is a probabilistic, spatiotemporal and purely functional programming language.
Interactive Idris editing with Vim
How was Mozilla born, the story of the first mascot on the Internet.