Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf]tromp.github.io·4 pts·teabee89·0
How to prevent disease, control nuclear reactions, encourage the spread of ideasmeltingasphalt.com·1 pts·teabee89·0
SPKI/SDSI: a powerful (but forgotten?) alternative to X.509 and PGPcrypto.stackexchange.com·1 pts·teabee89·0