Hacker News new | past | comments | ask | show | jobs | submit
dominotw | on: LLMs are making formal software verification feasible at a much larger scale
what is sharpee. chord ?

no idea what you are even talking about

ChicagoDave | parent
You could infer I created two programming languages or you could infer I tested AI generated constructs in a way only AI could.