News for hackers. Stuff that matters.

A comment on Hertz paid Accenture $32M for a website that never went live (2019). Parent comment

Re:Hertz paid Accenture $32M for a website that never went l... by mbrodersen on Sunday July 24, 2022 @09:29PM (#32219616)
That makes me think that formally proving the code correct using a proof assistant would actually be faster than the process you describe.
[ Parent | on HN ]

There are no comments on this comment yet.