Here are the easiest ways to reach me:


My Discord friend requests are always open. Feel free to add me for questions or comments!


Message me directly on Freenode IRC, or join ##dependent to talk about types!

If you like what I do, here are some ways you can support this blog:


You can send me a one-time donation on Ko-Fi. Just remember not to read the name on the receipt! (Paypal sucks)