Main Page

Hunt puzzles and some logic puzzles. (I'm more of a hunt puzzle writer, though)

Some games I made or am making

Some songs I made

Posts

Jun 8, 2026
Edge River Method Part 1 of ???: Introduction (and some Theory)
Mar 8, 2026
Formalizing Regexes in Lean: Attempt 1
Feb 7, 2026
MIT Mystery Hunt 2026 Postmortem
Oct 31, 2025
Exact Coordinates
Jul 28, 2024
Rolling Rock Movement
May 14, 2024
U.S.-State-Shaped Cookie Cutters
May 2, 2024
√2-1 and Octagons
Jan 26, 2024
Cone You Assign Normals to a Cone?
Jan 18, 2024
MIT Mystery Hunt 2024 Postmortem
Jan 7, 2024
Binary Operation Pictures