News for hackers. Stuff that matters.

A comment on Sir Tony Hoare has died. Parent comment

Re:Sir Tony Hoare has died by yodsanklai on Monday March 09, 2026 @08:21PM (#47317647)
Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.
[ Parent | on HN ]

There are no comments on this comment yet.