Lab
Lab
Elucidating interesting ideas interactively.
Desktop recommended
Some demos will need a larger screen. On mobile, these pages will show explanations and previews, while the full interactive versions will be best on desktop.
Why Proof Complexity?
I present one of the introductory results that make Proof Complexity exciting.
The mathematics / algorithms of game development (WIP)
Small interactive explanations of the mathematics and algorithms hiding inside games. (Work in progress)
Group actions, colorings and Burnside's lemma
Trying to motivate group actions by the example which made it click for me, personally.
Airfoil flow toy
A small interactive fluid simulation written in C++ with raylib and compiled to the web.
Geography playground
Build small Edge Geography positions and solve them by brute-force minimax.
What is P vs. NP?
A very brief introduction to Computational Complexity theory with P vs. NP as the motivating question.