Posts by Year

2026

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

2025

Back to Top ↑