i think formal verification is also a scam but talking about productionizing generated C code was pretty interesting