Hi! My name is Ryan Orendorff, and I enjoy working on type theory, functional programming, and linear algebra in my spare time. I very occasionally blog about those topics here.

You can also:

• See my professional chops on LinkedIn
• Look at my code on Github
• See my technical talks on YouTube

Most recent blog posts

• Using ChatGPT to prove math in Agda - December 16, 2022
• Make a python function definition stick! - November 27, 2022
• Dependently typed folds - December 19, 2020

All content described and performed on this site is personal work done on my own time/equipment and is not endorsed by any employer, past or present.