vitor s. almeida
Living in Brazil, son of a teacher and 21y. I'm also a software engineer. In my free time, I like to code, learn something about CS or philosophy, care for my health, hang out with friends and with my girl. Here's a list of some interests:
-  Theory and practice about software engineering, compilers, interpreters, PLs, types, math, philosophy, theology 
-  Self improvement. Autodidactism, learning how to learn, reading, writing, improving my thought process. Try to practice regular exercises, meditation, and a healthy diet. 
Occasionally reading Modern Compiler Implementation in ML as support. I'm currently working on a Lambda Calculus interpreter . Feel free to read the README for more details.
posts.
-  2024-11-03 Introduction to Machine Code 
-  2023-08-27 Is Data Struct about memory? 
-  2023-08-13 Proving natural numbers are infinity in Coq 
-  2023-08-12 Introduction to Big O notation 
-  2023-08-12 Building a JSON Parser from scratch with JS 
see all posts...