Hacker News new | past | comments | ask | show | jobs | submit | from login

Formal Verification of Y86-64 Processors (csappbook.blogspot.com) 49 points by oumua_don17 on Feb 17, 2019 | past | 8 comments Computer Systems: A Programmer's Perspective 3rd edition (csappbook.blogspot.com) 2 points by rjammala on March 4, 2015 | past

Consider applying for YC's Summer 2025 batch! Applications are open till May 13 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: