- π± Learning Programming Language Theory and Type Theory
- π€ Researching on Programming Languages Theory
- π Regularly write notes and blogs (The Rabbit Hole)
- π Working on QuickCheck, Proof Assistant and Morpheus Compiler
agda
c
go
haskell
idris
javascript
latex
lean
nodejs
ocaml
python
rust
typescript
docker
git
linux
nixos
react
vim
vscode
- Abstract Algebra
- Arch Linux and NixOS
- Category theory
- Classic Music
- Computer Science
- Minecraft
- Programming Language Theory
- Quantum physics and Quantum computing
- String Theory
- Type Theory