I'm a former MIRI Researcher and I write a lot of Haskell.

I'm Founder and CTO at Positron AI, and I'm working to try to make the kinds of hardware that is already accelerating AI more useful for the kinds of things I think we can actually reason about. Before that I was at Groq as their Head of Software, and later Head of Technology and Architecture.