Personal Interests

Origami

I like to play with paper, like origami, paper models. Cutting, gluing, folding... are the same ways we create geometric shapes, manually or abstractly.

cat (Origami cat)

model (Compound of five tetrahedra)

(Origami Looney Pyramids)

yoshimotoCube1 yoshimotoCube2 yoshimotoCube3

(Origami Yoshimoto Cube No. 2)

Board Game

I am obsessed with board games since a colleague taught me to play Regicide. Here is my BoardGameGeek.

(My favorite minimalism 4X game Homeworlds)

Tak (3d printed Tak set)

Set (DIY Set gift)

Programming and Game Development

As a mathematician, I prefer Functional programming language. Here is my github.

I am interested in type theory and linear logic. And I believe computer verifying proof would be the future of math. Recommend to look at Lean or natural number game

I am also interested in indie game development. Here is my itch profile. I would like to apply some math thought into game design.

Monodromy
Kriegspiel

(And my lovely uConsole)