Skip to content

Instantly share code, notes, and snippets.

View aronisstav's full-sized avatar

Stavros Aronis aronisstav

View GitHub Profile
@aronisstav
aronisstav / lab1.md
Created November 2, 2015 16:25
Erlang Lab for AFP 2015 in IT.UU

Erlang lab

0. Warm-up

In this warm-up section, we introduce some basic tools that facilitate programming in Erlang. After reading this section, you will know how to compile Erlang modules and invoke functions in the Erlang shell, use a Makefile to do repetitive tasks conveniently, and use EUnit and PropEr for testing.

@aronisstav
aronisstav / musescore_practice_tips.md
Last active February 28, 2018 08:16
MuseScore Practice Tips!

MuseScore Practice Tips!

If you want to practise one of MuseScore's arrangements on a tablet, computer or phone, these steps will help.

0. tl;dr version

  1. Get the mobile player app
  2. "Favorite" (that's a verb nowadays) a score on the website
  3. Open it in the app
  4. Set the tempo to half the original one
  5. "Mute" your instrument and "hide" all other instruments
@aronisstav
aronisstav / 18.erl
Last active December 18, 2017 16:05
Solution of Advent Of Code 2017, Day 18, using Erlang and Concuerror
%% This was initially an escript, hastily transformed into a proper
%% module to run under Concuerror.
%#!/usr/bin/env escript
%-mode(native).
-module('18').
-export([test/0]).
### Keybase proof
I hereby claim:
* I am aronisstav on github.
* I am aronisstav (https://keybase.io/aronisstav) on keybase.
* I have a public key ASA3qIOTbP5oK1XJ-hZ3aoQJpiBIzDpJWl0ufNNmPtOzcwo
To claim this, I am signing this object:
@aronisstav
aronisstav / 00-Supervision-tree-races.md
Last active September 10, 2018 08:41
Workers of a bottom supervisor may be left running when a top supervisor is shutdown

Workers of a bottom supervisor may be left running when a top supervisor is shutdown

This is an unexpected behaviour discovered by Concuerror.

Overview

Four modules are used:

  1. test.erl contains the configuration and entry point of the test.
  2. sup1.erl is the code of a top-level supervisor
  3. sup2.erl is the code of a bottom-level supervisor
  4. worker.erl is the code of a gen_server worker

Nicknames in Wijkmanska Blecket

Version: 1.0.1

Summary

Any three people with a nickname can suggest a nickname for anyone who wants a nickname. If the recipient agrees, the nickname can be announced immediately by the KK or someone appointed by the KK for this purpose. Once a nickname has been announced, a tag will also be awarded in due time.