Following
@stranger.systemsType Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Technology Connections @techconnectify.bsky.social I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now. he/him https://www.youtube.com/technologyconnections
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app