third toot is run the jewels
https://www.youtube.com/watch?v=eaJmgMuYNjc&ab_channel=RunTheJewels
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.
