I'm shocked how many people haven't yet realized how important formal methods are about to be. If you can formally specify what you need and prove that an LLM

I'm shocked how many people haven't yet realized how important formal methods are about to be. If you can formally specify what you need and prove that an LLM has produced something that meets the spec, that's a much higher level of confidence than hoping you have complete test coverage (possibly from LLM generated tests).