If Silicon Valley’s unicorn bubble bursts, what legacy will it leave?theguardian.com·3 pts·theaeolist·0
'Human brain' supercomputer with 1M processors switched on for first timemanchester.ac.uk·93 pts·theaeolist·117
Functional Bits: Lambda-calculus based algorithmic information theory [pdf]tromp.github.io·122 pts·theaeolist·17
Logitext – An educational proof assistant for first-order classical logiclogitext.mit.edu·38 pts·theaeolist·3