Joined 5/16/2010, 1:24:02 AM has 2634 karma
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
Does O3 beat a specalized numeric compiler?
OpenAI Strawberry vs. Herbie