Hacker News new | past | comments | ask | show | jobs | submit
skydhash | on: LLMs are making formal software verification feasible at a much larger scale
It’s often wild that people not building something and people not using something are trying to design it. You can’t be surprised that it’s always governed by fads and hype.