Home
![](./images/profile-photo-02-2018-200x300.jpg)
![speakerlink](./images/speakerlink.png)
For more information about me, see my resume (last updated on May 5, 2021).
Recent posts
- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Boeing and Deaths due to Software Bugs
- Notice of AMS: Vladimir Voevodsky
You can find more posts in the archives.