I keep vacillating between "formal verification is cool and fun" and "these are just academic toys that will never be mainstream".
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!