A blog about programming and programming language design and other stuff as well.