The Little Grasshopper

A small start on formally proving graceful paths and caterpillars in Lean. https://prideout.net/blog/graceful-lean/

Visual tour of gracefulness graph transformations, with proofs for paths, caterpillars, and double stars. https://prideout.net/blog/graceful-moves/

Rust on the web and an ECS lite architecture. https://prideout.net/blog/layout_viewer

My write-up about finding faces in Arcol’S sketch objects.

How I used zstd compression to implement an undo system for Blockdown. https://prideout.net/blog/undo_system/

How I used dynamic linking to quickly iterate on Blockdown puzzles. https://prideout.net/blog/cpp_script/

I coded up some Exploratorium style interactive diagrams to learn about special relativity. https://prideout.net/blog/relativity/

Some notes about rolling cube games. https://prideout.net/blog/group_theory/

How I created a wall poster of knot diagrams. https://prideout.net/blog/svg_knots/

Cross Products and The Four Color Theorem. https://prideout.net/blog/kauffman/