Lab
Elucidating interesting ideas interactively.
Elucidating rendering, collision detection, pathfinding, and the mathematics and algorithms hiding inside games.
Linear transformation visualizer!
A small interactive 2D incompressible-flow toy inspired by the Navier-Stokes equations.
Elucidating group actions through the example that made it click for me!
Explaining what Edge Geography is, and showing why it is PSPACE-complete.
An introductory proof complexity result.
What does it mean for one computational problem to be harder than another?