Graceful Lean
A small start on formally proving graceful paths and caterpillars in Lean. https://prideout.net/blog/graceful-lean/
The Little Grasshopper
Computer Graphics and Mathematics
Latest posts
Graceful Graph Moves
Visual tour of gracefulness graph transformations, with proofs for paths, caterpillars, and double stars. https://prideout.net/blog/graceful-moves/
An ECS lite architecture
Rust on the web and an ECS lite architecture. https://prideout.net/blog/layout_viewer
Extracting Faces from Graphs
My write-up about finding faces in Arcol’S sketch objects. The best part is a really neat O(nlogn) algorithm. https://blog.arcol.io/pen-tool
Serialization-based undo
How I used zstd compression to implement an undo system for Blockdown. https://prideout.net/blog/undo_system/
C++ as a scripting language
How I used dynamic linking to quickly iterate on Blockdown puzzles. https://prideout.net/blog/cpp_script/
Exploring Special Relativity
I coded up some Exploratorium style interactive diagrams to learn about special relativity. https://prideout.net/blog/relativity/
Rolling Cubes and Group Theory
Some notes about rolling cube games. https://prideout.net/blog/group_theory/
Generating SVG for the Prime Knots
How I created a wall poster of knot diagrams. https://prideout.net/blog/svg_knots/
Kauffman's Cross Products Paper
Cross Products and The Four Color Theorem. https://prideout.net/blog/kauffman/