I do math and build
things with it.

Final-year math + CS student. I build interactive games that teach theorems, compute Ramsey numbers with SAT solvers, and coach olympiad teams. 100+ students, some to IMO.

open to opportunities
Conway's Game of Life. four rules, infinite complexity.
See my work CV Get in touch
Selected work
An atlas of mathematics
Four thousand years of math drawn four ways: where the symbols came from, the race for the digits of π, 218 lives and a map of 450 ideas, all on one clock.
History and data, drawn by hand in d3.
A → B     A
→E
B
QED
A proof builder you play like a puzzle. Snap inference rules together as blocks, in seven books: from modus ponens and √2, through ∀, ∃, sets and divisibility, to there being no biggest number.
Natural deduction, with a Lean 4 view of every proof you build.
Getting into linear algebra
A birder's field guide to 2×2 matrices, a guide built from the 2,000 most-asked Math Stack Exchange questions, and 30 problems with no theorems given.
Three ways to learn one subject. Group theory is next to it.
More to play with
📏
fit the line
Drag a line through noisy data and race least squares. Then meet four datasets with the same best-fit line and nothing else in common.
statistics
🍰
cut the cake
Divide a cake so nobody would trade pieces. Easy with two people, and a research problem by the time you reach four.
fair division
●
nim
Lose to a perfect opponent, find its rule yourself, then read the 1901 proof annotated with your own moves.
combinatorial games
💰
thrifty
Draft a VCT roster from real pros, play a single-elimination tournament. Economy management with VLR.gg data.
economy management
the atlas → all games → esports hub →
About

I work at the intersection of computation and pure math. SAT solvers for Ramsey theory, proof assistants for formalizing conjectures, neural nets for number theory. Everything I build is vanilla HTML/JS with no build step, because the math should be the hard part, not the tooling.

I teach math to 100+ kids and coach olympiad prep. Students have qualified to IMO, INMO, and EGMO. The teaching is why I build interactive things: I've watched a kid who couldn't follow a proof crack it in two minutes when I handed them colored markers. Clicking through math beats reading about it.

10+ interactive games
44,576 matches analyzed
100+ students taught
Research

Computational Ramsey Theory ongoing

Using cube-and-conquer SAT solving (Kissat + march_cu) to compute 2-color Rado numbers for linear equations. Found a new pattern in the data and conjectured R2(ax + by = az) = a2, verified for a > 30. Applying PySR symbolic regression to search for closed-form expressions across equation families.

SAT solving Ramsey theory symbolic regression

Topological Anti-Cheat for FPS Games completed

Novel method to identify likely cheaters by modeling player crosshair movement as trajectories on 2-spheres, fitting von Mises-Fisher distributions to characterize aim behavior, and clustering anomalies with HDBSCAN.

topology HDBSCAN von Mises-Fisher
interactive demo code
Writing

Recent posts from jeffdoesmath on Substack.

Loading posts...

Get new posts delivered to your inbox.

Contact

I'm looking for roles where I can build interactive learning experiences, work on hard computational problems, or both. Best way to reach me is email.

✉ [email protected] ❴ github/jeffdoesmath ✎ jeffdoesmath