Hacker News new | past | comments | ask | show | jobs | submit
saagarjha | on: LLMs are making formal software verification feasible at a much larger scale
Running an internet forum does not make you better or less impartial at commenting