Archive for January, 2017

Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification

Sunday, January 29th, 2017

Player Piano

Sunday, January 22nd, 2017

Let's find out why most educational institutions yield graduates that make dumb (or otherwise unknowledgeable) people

Tuesday, January 3rd, 2017