Show more

Eighth workshop on Mathematically Structured Functional Programming (MSFP 2020) msfp-workshop.github.io/msfp20

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) January 17-22, 2020 Copenhagen, Denmark popl21.sigplan.org/home/pepm-2

The 31st International Conference on Concurrency Theory, September 1-4, 2020 (online) concur2020.forsyte.at/

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 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!