Skip to content

Instantly share code, notes, and snippets.

Stavros Aronis aronisstav

Block or report user

Report or block aronisstav

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@aronisstav
aronisstav / 00-Supervision-tree-races.md
Last active Sep 10, 2018
Workers of a bottom supervisor may be left running when a top supervisor is shutdown
View 00-Supervision-tree-races.md

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
View gist:601d266d9d0556719af8fae04febb5e9
### 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 / 18.erl
Last active Dec 18, 2017
Solution of Advent Of Code 2017, Day 18, using Erlang and Concuerror
View 18.erl
%% 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]).
@aronisstav
aronisstav / musescore_practice_tips.md
Last active Feb 28, 2018
MuseScore Practice Tips!
View musescore_practice_tips.md

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 / lab1.md
Created Nov 2, 2015
Erlang Lab for AFP 2015 in IT.UU
View lab1.md

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.

You can’t perform that action at this time.