hey, i'm [[https://jacob.chvatal.com][jake]]! i'm interested in:
- powerful type systems
- improving developer experiences
- interacting with people on the web
- reducing internet entropy