https://chadkohalyk.com/2015/01/09/computing-in-north-korea/