Наверное, большинство людей с этого форума читает LtU, но всёж хотелось поделиться по-моему интересной последней новостью оттуда про проект LambdaCan — лямбда-вычисление сделанное на микроэлектронике.
P.S. Интересно, увидим ли мы возвращение чего-нибудь наподобие лисп-машин?