Domain-specific hyperspecialization (for SAT) https://lobste.rs/s/cccby7 #formalmethods #vibecoding https://c.mov/lymphosat/