Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Hundred-Year Language (2003). Parent comment
Aerospace and chip design are the two major industries that make regular use of formal methods.
> Uber and... Tesla... cowboying... And the old guard is even worse - recall Jeep...
Yes, most of the auto industry has been slow to the table when it comes to taking software quality and capability seriously.
Uber has a prototype, not a product, and Tesla has a young product. We'll see what engineering practices they adopt over the next 15 years.
> The idea of formally verifying a DNN image classifier seems absurd
https://www.google.com/search?q=verification+of+deep+neural+...
There are no comments on this comment yet.
Aerospace and chip design are the two major industries that make regular use of formal methods.
> Uber and... Tesla... cowboying... And the old guard is even worse - recall Jeep...
Yes, most of the auto industry has been slow to the table when it comes to taking software quality and capability seriously.
Uber has a prototype, not a product, and Tesla has a young product. We'll see what engineering practices they adopt over the next 15 years.
> The idea of formally verifying a DNN image classifier seems absurd
https://www.google.com/search?q=verification+of+deep+neural+...