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
Interactive Idris editing with Vim
How was Mozilla born, the story of the first mascot on the Internet.
Dwarf Fortress: A Marxist Analysis
Berlin in den 90ern