a mastodon instance for operations research analysts who like mighty computer activities