I've got a Master's in Computer Science.
- Philosophy,
- Programming Languages and Compilers,
- Logic,
- Kernels (the OS kind)
- Films
- Category + Type Theory + Logic
- Rust (and C/C++ ofc)
- Haskell
- OCaml
- Model Checking
- A blog for my opinions about the many things that catch my attention
- A site for navigating CS the way I would've liked it (slightly oritented more towards PLT and compilers)