My blog on programming language design and implementation Uses a Jekyll theme derived from lorepirri's Cayman Blog theme