João Alvim
Blog
Curriculum Vitæ
Contact
Can Debuggers Think Like Humans? Abstract Debugging
2025-08-01
Reflexão prática da natureza das linguagens
2025-07-29
Epistemic Limits of Computation
2025-04-21
Going Monadic
2024-05-06
My best chess game, so far
2024-04-29
Is it feasible to create the List Monad in Scratch?
2024-02-04
Bitcoin
2023-12-01
Interstellar - Amor, a 5ª dimensão
2023-09-18