The state-diff pattern transforms an imperative interface into a declarative one.

When should you use tests and when should you use types? What information and guarantees do we get for our efforts?

The advantages and disadvantages of a keeping data around, including a simple blog application example in PostgreSQL.

Experimenting with a modern interface to documents on the web.

A short introduction to my structural editor project. Some advantages and disadvantages of structural editing.