pavpanchekha

Karma: 2,687
Created: 15 years ago

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

Recent Submissions

1. ▲ Should CSS be constraints? (pavpanchekha.com) 21 points · 10 days ago · 44 comments
2. ▲ Does O3 beat a specalized numeric compiler? (pavpanchekha.com) 2 points · 10 months ago · 0 comments

All submissions on HN · View profile on HN