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
user: pavpanchekha
2697 karma | created 16 years ago
recent submissions
2 days ago|discuss
The Token Production System
(pavpanchekha.com)
1 pts|11 days ago|discuss
1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
Should CSS be constraints?
(pavpanchekha.com)
25 pts|2 months ago|44 comments
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss
6 months ago|discuss