Hacker News new | past | comments | ask | show | jobs | submit
hirako2000 | on: LLMs are making formal software verification feasible at a much larger scale
Getting tiring to read everyday in hackernews about shovels sellers telling us their shovels are so good at finding gold.