I'm an engineer who loves physics, math and computer science.

I'm interested in:

• 🐱 lambda calculus, type theory and category theory
• 🧮 numeric computation and algorithm
• ◳ geometry and topology
• ❖ twisty puzzles and other puzzle games
• ▣ rhythm game

CV