News for hackers. Stuff that matters.
Re:AI should only run as fast as we can catch up by Yoric on Friday December 12, 2025 @02:09AM (#46241617)
I'm speaking of verification, which is about making code (provably) airtight with respect to specifications, now and forever.

You're answering with finding bugs, which is about fixing one issue at a time.

Both are useful, but we're not speaking of the same scale.

There are no comments on this comment yet.