Hacker News new | past | comments | ask | show | jobs | submit
rowanG077 | on: LLMs are making formal software verification feasible at a much larger scale
I think it won't happen because people just care to much for performance. You already see this now. You see a ton of rewrites moving to rust even from higher level languages.