Mikaƫl Mayer's blog

A memory with many half-lives
Formulas for Google Docs
Essence of functional programming
Abstract and Concrete: Future of Programming