Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
subbdue
on April 28, 2025
|
parent
|
context
|
favorite
| on:
How Intel makes sure the FDIV bug never happens ag...
The people and breakthroughs behind Intel’s quiet revolution in formal verification
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
