/now

Inspired by nownownow.com

Currently focusing on my studies. In my spare time, I've been learning web development properly. I don't really have time to game dev like I used to.

Things I'm excited about right now

• AT Protocol
• Orb: On the Movements of the Earth
• Lean Theorem Prover
• Framework