Hacker News new | past | comments | ask | show | jobs | submit login
user:pavpanchekha
created:May 16, 2010
karma:2620
about:My book: https://browser.engineering

CS Professor at the University of Utah. I study web browsers, floating point, programming languages, and automated reasoning.

Website: pavpanchekha.com Email: me+hn@pavpanchekha.com

submissions
comments
favorites