Hi! I'm a programmer with interests in functional programming, formal methods, vintage computing, compilers, and language design. You can find me around the web:
- Website: https://jtm.cx
- Email: me@ the above domain
- IRC: jtm on libera.chat, jtmcx on oftc.net
- Lobsters: https://lobste.rs/~jtm