Blog

Subscribe to my RSS feed for updates.


Select from this list of subtopics to "filter" the posts of that category.


Midstate By Rail

May 27, 2026

If there's one thing I dislike more than I like hiking, it's cars. Unfortunately, us Americans have apparently decided that outdoor recreation should only be accessible to those with access to cars. But what if there was another way?

SudokuMaker User Guide

April 22, 2026

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

February 1, 2026

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

August 4, 2025

Some sudoku puzzles I have written.

Voronoi Part 2: Lengths of Boundaries

July 11, 2025

(CW: JS (for LaTeX)) In which pi makes a special appearance.

Perimeters of Polygonal Voronoi Cells

July 10, 2025

(CW: JS (for LaTeX)) An attempt at explaining and simplifying math that a friend worked out.

Wordplay

July 9, 2025

Mostly cryptic clues.

Garden Gnome

January 1, 2025

I make a website for the public good, learning Go and other web dev tools along the way.

Runalysis

November 25, 2024

Some data analysis on my running, using the R language.

Mr. Frank

June 24, 2024

A thank you to a former teacher.

Deep Water Solo

May 22, 2024

One of the most memorable misadventures I've had.

Fanfiction

May 21, 2024

A low-probability embarrassing moment.

Food

April 28, 2024

Some thoughts on cooking for large groups of people, such as in coops. Not quite complete.

How to HDR

February 19, 2024

A return to an old Computational Photography problem set from a class. Fixing up a friend's photography, using C++.

MIT MEng Thesis

February 2023 - February 2024

Looking into the feasibility of a new specification language for model checking. Lots of Coq proofs.

Mountain Biking Competition

October 3, 2023

I get lost and injure myself.

Math Problems

October 3, 2023

Assorted little math problems that I've written over the years. Updated rarely.

The 80/20 Couch

September 26, 2023

The Pareto principle comes back to bite me.

Spring Break Canyoneering 2023

April 4, 2023

...and all of the shenanigans, near-death experiences, and desert windstorms that came with it.

Credit Cards

January 26, 2023

The title is pretty self-explanatory. I have credit card referral links.

The One Four Problem

January 21, 2023

Lots of square roots and logarithms. A mathematical Coq proof.

My Internet Presence

January 15, 2023

Sometimes, I appear online. Here's where.

[Unfinished] Personal Projects

Probably 2021

Various small scripts and programs I've written for my own amusement.