joined 5/16/10, 1:24 AM has 2634 karma
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
by pavpanchekha on 2/1/25, 2:25 AM, with 0 comments
by pavpanchekha on 9/14/24, 3:44 AM, with 0 comments
by pavpanchekha on 6/30/23, 10:17 PM, with 0 comments
by pavpanchekha on 6/14/22, 12:24 AM, with 37 comments
by pavpanchekha on 12/18/21, 12:53 AM, with 0 comments
by pavpanchekha on 10/15/21, 10:13 PM, with 0 comments
by pavpanchekha on 9/16/21, 4:50 PM, with 0 comments
by pavpanchekha on 8/20/21, 10:52 PM, with 0 comments