Domain-specific hyperspecialization (for SAT) (via nelhage) — discussion

#formalmethods #vibecoding