Show more

Eighth workshop on Mathematically Structured Functional Programming (MSFP 2020)

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) January 17-22, 2020 Copenhagen, Denmark

The 31st International Conference on Concurrency Theory, September 1-4, 2020 (online)

To find the SATA disk speed information, use $ sudo smartctl -a /dev/sda | grep "^SATA"

To test audio with .wav file for card one (as seen from "aplay -l" output), for two channels with two loops use $ speaker-test -Ddefault:1 -c2 -t wav -l2

Scottish Programming Languages and Verification Summer School, August 3-14, 2020, Edinburgh Informatics

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

Show more

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!