How long before superintelligence? (1997)(nickbostrom.com)42 points by jxmorris12 1 year ago | 33 comments
Modelling Agent Systems with Erlang (2004) [pdf](erlang.org)8 points by todsacerdoti 11 months ago | 0 comments
Checking that functions are constant time with Valgrind (2010)(imperialviolet.org)8 points by g0xA52A2A 1 year ago | 3 comments