I think it'd be good if I kept track of the ideas I want to explore through Emacs+Org. I'm yet again stuck trying to explore multiple things at once and it really sucks.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.