Bonus Clip: Wyatt Benno (ICME) on "Vericoding" and SMT

When vibecoding isn't enough