Joined 11/1/2012, 6:39:54 PM has 340 karma
[ my public key: https://keybase.io/tiborvass; my proof: https://keybase.io/tiborvass/sigs/NmK8ZV2yaqEvwQYG6jS80ihzs3OzHuveJB4QC0GIcTg ]
A Mathematician's Lament (2011) [pdf]
Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf]