Hacker News new | past | comments | ask | show | jobs | submit
euroderf | on: LLMs are making formal software verification feasible at a much larger scale
This is of course Joseph Stalin's First Rule of LLM Assistance:

"Quantity has a quality all its own."