Welcome to my personal site, where I write ¬¬interesting posts about constructive mathematics, logic, computation and the occasional puzzle.