Blog

2020
2020-09-29 (Not) Implementing OCaml's Mutually Recursive GADTs in Coq
2020-08-05 Implementing OCaml's GADTs in Coq
2020-06-27 Experience Report - Galois Internship
2019
2019-09-15 Work Loging with the Google API
2019-08-26 GDB Tutorial
2018
2018-05-26 Como sair da faculdade com um currículo brilhante
2018-04-13 A Arte de Confeccionar Emails
2018-04-07 Como conseguir um PhD no exterior
2017
2017-05-08 Máquina de Turing, Decidibilidade e o Problema da Parada