Posts
I write about Programming, Mathematics, and Typography. Most of the articles assume some level of technical knowledge.
2026
-
Solving Knight-Knave-Spy Puzzles with Z3
Simple type of logic puzzle solved with SAT solver
-
A Mandelbrot plotter ChatGPT cannot explain
Writing increasingly obtuse Mandelbrot plotters to confuse ChatGPT
-
Send More Money Puzzle
Alphametics math puzzle from 1924
-
Strange is_even(x)
is-odd to is-even in rust
-
Destructuring as Multiple Assignment
let [a,b] = [b,a];
-
New Text Emphasis Methods for the Web
Wavy text, Crescendos & Diminuendos, and Interlinear Notes
-
Calculator Puzzle Algorithm Optimization
Largest number from a four function calculator
-
Composing Python built-ins to make text
ඞ and hello world
-
Rust crash when dropping recursive structure
Not all that can be created can be destroyed.
-
Plus Nine Divide Five
Take a number, add 9, divide by 5, and repeat
-
Rewriting my First Program
Overhaul of a stacked parallel line generator program
-
Reverse Engineering Bing Streetside
Exploration of an internal streetview imagery API