Turing Machine Halting in Lean uses the Lean theorem proving language to prove whether some very simple Turing machines halt or not.
An Intriguing Triangle proves a couple facts about a triangle of integers, and binomial coefficients.
Fooling Around with Word Embeddings is a jupyter notebook exploring the structure and behavior of word embedding vectors like word2vec and GloVe.
Continued Fraction Streams discusses why the golden ratio is "the most irrational number", and how to convert between streams of continued fraction coefficients and streams of digits.
Bezier.hs is a quick demonstration of how simple Bezier curves are, and how easily you can implement them in Haskell.
ExtendNY is an interactive map which extends the Manhattan Grid of streets and avenues to every point on Earth.
It received lots of feedback, including people around the world tweeting their "New York" addresses, many comparisons to View of the World from 9th Avenue, and was called "Infographic Of The Day" despite not really being an infographic.
I also gave a short talk about the project.
PCollections serves as a persistent and immutable analogue of the Java Collections Framework.
Spectra is a math poem thought experiment which asks the question "Is there a continuous surface made up of every continuous function?" and meanders towards the answer.
Mechanical Linkages in Python provides a graphical interface for simulating mechanical linkages, and describes the rigidity theory used to implement the simulator.
Phi is a frenetic Processing sketch which zooms in and out through the endless golden spiral.