Hacker News new | past | comments | ask | show | jobs | submit
deterministic | on: LLMs are making formal software verification feasible at a much larger scale
> the spec must be human readable

Usually I would agree with you but when porting code the source code is the spec.