I do what I love, and I love what I'm currently doing. If I’m not coding, I start looking around and remembering I could be coding instead.
Focus: Formal Verification & Compiler design
I enjoy learning new topics, and I am currently exploring the depths of programming and hardware. My goals for 2026 are:
- 💻 Build a CPU on my FPGA - Finished almost. The last requirement is money because I am broke
- Building a Lexer + Parser for Dafny and analysis the code because somehow this super AGI seems to be not able to do by itself
- Building something relate to GNN
- 🧠 Learning Zig ⏳
"With great power comes great responsibility."
— Mostly used to justify why my code needs tests
Yes, I use Neovim. Yes, I will tell you about it even if you don't ask me.