Sobre mim
Eu sou um programador na Higher Order Company, um entusiasta da programação funcional e das tecnologias descentralizadas, que garantem a privacidade & autonomia do usuário.
Sou pai do Matteo, teólogo reformado & autodidata, estou escrevendo um livro sobre Kind e provas formais, sou amante da filosofia de código aberto, nerd, lindo, vegano não-praticante e apaixonado por café.
Acesse meu blog e veja um pouco sobre provas formais, tecnologia e outras coisas que gosto ou acho útil.