Comment by brianjlogan

Are you familiar with FizzBee. I think formal methods is already very hot right not with more demand for proving AI generated code isn't garbage.

(Even if you're hand writing people are going to assume or suspect it's LLM gen.)