Hacker News new | past | comments | ask | show | jobs | submit
ChicagoDave | on: LLMs are making formal software verification feasible at a much larger scale
You could infer I created two programming languages or you could infer I tested AI generated constructs in a way only AI could.