Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I actually agree with this. I believe that, using the right techniques, both software and hardware can be produced correctly. It's a function of their design and complexity how easy it is.

It's also worth keeping in mind that modern processors are actually extremely complex and that they do regularly have errata, even though chip designers are extremely conservative in their approach by necessity (you can't just patch silicon) and are much more thorough and disciplined in their use of formal verification tools than the vast majority of software designers.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: