https://www.maxpagani.org/2018/02/12/lambda-world-2017-lambda-core-hardcore/