Source
- URL: https://x.com/dkubb/status/2078142642177646741
- Author: Dan Kubb (@dkubb)
- Posted: 2026-07-17 15:39:50
Branch
1/ @dkubb
I’ve been spending a lot of time on reducing the state space of a program instead of just trying to remove branches, and then models are really good at it if you give them the right skills.
I only try to prune branches that don’t directly correspond to an invariant that my program must follow.