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