João Alvim João Alvim
  • Blog
  • Curriculum Vitæ
  • Contact
2026-10-15 Recursive Blog 2026-08-12 Eclipse Total 2026-04-17 What even is a Programming Language 2026-02-26 How Natural is Artificial Intelligence? 2025-08-01 Can Debuggers Think Like Humans? Abstract Debugging 2025-07-29 Reflexão prática da natureza das linguagens 2025-04-21 Epistemic Limits of Computation 2024-05-06 Going Monadic 2024-04-29 My best chess game, so far 2024-02-04 Is it feasible to create the List Monad in Scratch? 2023-12-01 Bitcoin 2023-09-18 Interstellar - Amor, a 5ª dimensão

No posts with that keyword.

keywords

all posts12 philosophy4 português4 functional programming3 computability2 formal methods2 linguistics2 monads2 programming languages2 semantics2 ai1 bitcoin1 chess1 cinema1 consciousness1 debugging1 eclipse1 economics1 haskell1 infinity1 logic1 physics1 principezinho1 program analysis1 recursion1 scratch1 tutorial1