pavpanchekha

Karma: 2,705
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. ▲ The Token Production System (pavpanchekha.com) 1 point · 27 days ago · 0 comments
2. ▲ Should CSS be constraints? (pavpanchekha.com) 25 points · 3 months ago · 44 comments

All submissions on HN · View profile on HN