Show more

Scottish Programming Languages and Verification Summer School, August 3-14, 2020, Edinburgh Informatics macs.hw.ac.uk/splv/splv20/

Announcing Emacs online Asia-Pacific (APAC) meetup, Saturday, July 25, 2020 at 1400 IST with Jitsi and on irc.freenode.net. DM if interested to give a talk or demo!

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!