My book: https://browser.engineering
Joined HN: 14 years ago Karma: 2582 CS Professor at the University of Utah. I study web browsers, floating point, programming languages, and automated reasoning.
Website: pavpanchekha.com Email: [email protected]