Blog
Subscribe to my RSS feed for updates.
Select from this list of subtopics to "filter" the posts of that category.
SudokuMaker User Guide
SudokuMaker is a helpful web-based tool for creating and test-solving custom sudoku puzzles. It has a wonderfully designed custom constraints feature, which is very powerful but also poorly documented. I go through a few examples of writing custom constraints.
Blog Category Filtering
You see that nice filtering system near the top of this page? The one where you select a category and it shows you relevant blog posts? That's done in HTML and CSS without JavaScript! Read how!
Sudoku Puzzles
Some sudoku puzzles I have written.
Voronoi Part 2: Lengths of Boundaries
(CW: JS (for LaTeX)) In which pi makes a special appearance.
Perimeters of Polygonal Voronoi Cells
(CW: JS (for LaTeX)) An attempt at explaining and simplifying math that a friend worked out.
Wordplay
Mostly cryptic clues.
Garden Gnome
I make a website for the public good, learning Go and other web dev tools along the way.
Runalysis
Some data analysis on my running, using the R language.
Mr. Frank
A thank you to a former teacher.
Deep Water Solo
One of the most memorable misadventures I've had.
Fanfiction
A low-probability embarrassing moment.
Food
Some thoughts on cooking for large groups of people, such as in coops. Not quite complete.
How to HDR
A return to an old Computational Photography problem set from a class. Fixing up a friend's photography, using C++.
MIT MEng Thesis
Looking into the feasibility of a new specification language for model checking. Lots of Coq proofs.
Mountain Biking Competition
I get lost and injure myself.
Math Problems
Assorted little math problems that I've written over the years. Updated rarely.
The 80/20 Couch
The Pareto principle comes back to bite me.
Spring Break Canyoneering 2023
...and all of the shenanigans, near-death experiences, and desert windstorms that came with it.
Credit Cards
The title is pretty self-explanatory. I have credit card referral links.
The One Four Problem
Lots of square roots and logarithms. A mathematical Coq proof.
My Internet Presence
Sometimes, I appear online. Here's where.
[Unfinished] Personal Projects
Various small scripts and programs I've written for my own amusement.