@shriramkShriram Krishnamurthi
@tonygTony Garnock-Jones
@GeorgWeissenbacher @krismicinski@types.pl
@jfdmJan de Muijnck-Hughes
@csgordonColin Gordon
@jeremysiekJeremy This comment made me realize something about myself: this is *not* a kind of programming I always wished I could do. I really only like programming because I like manipulating formal systems. That might explain a lot about why this kind of programming doesn't appeal to me, aside from all the bad externalities.
If you have a fediverse account, you can quote this note from your own instance. Search https://recurse.social/users/lindsey/statuses/116183454708475758 on your instance and quote it. (Note that quoting is not supported in Mastodon.)