Hi~ I'm a physicist who loves math and computer science. I'm interested in: ❖ twisty puzzles and other puzzle games ▣ rhythm game λ lambda calculus and type theory 🐱 category theory ◳ geometry and topology CV