Domain Theory and General Relativity, rel="nofollow">cs.mcgill.ca
Paul Chiusano, The Future of Programming: pchiusano.blogspot.com (мой перевод: habrahabr.ru )
Rob Pike, Esmeralda's Imaination: commandcenter.blogspot.com
список вкусного от fogus, пока не прочитано, но должно быть хорошее, blog.fogus.me
cstheory.stackexchange.com В linked есть интересное продолжение с разъяснениями cstheory.stackexchange.com
Андрей Бауэр рассказывает о разнице между лямбда-исчислением и машиной Тьюринга. From another perspective, what you get exposed to early will seem simple and what you get exposed to later will seem more complex. i've made it a point to expose youngsters to theoretical computing and abstract mathematics and have had excellent results. i've taught 13 yrs olds both Milner's π-calculus and the lambda calculus. i've taught 4th and 5th graders the essence of Conway Games. Just last spring i had a little 4th grade girl go up to the board and do calculations with infinitary games. They don't come with preconceptions that it's "hard" or "advanced" and i don't tell them that it is and they find their way in — because wonder at the beauty of the order of the world and desire to engage it is our birthright. » (c) Gregory Meredith
yosefk.com
предупреждение: тл;др этой статьи не сводится к фанатскому "форт это клево, давайте все переделаем на нем"; не сводится он и к обратному. Статья ведет в края более дальние.
прекрасная статья за жизнь: предупреждение: тл;др этой статьи не сводится к фанатскому "форт это клево, давайте все переделаем на нем"; не сводится он и к обратному. Статья ведет в края более дальние.
CiteULike? Zotero? Еще что-то?