Comment by xpct
11 hours ago
I don't work in the business, but my understanding was that even with these companies' budgets, it's still too expensive to do any kind of verified performance optimality.
11 hours ago
I don't work in the business, but my understanding was that even with these companies' budgets, it's still too expensive to do any kind of verified performance optimality.
And I think correctness for anything near the size of a CPU is off the table.