yurlin
math HoTT logic lectures Роберт Харпер в CMU проводит семинар по Homotopy Type Theory (HoTT, homotopytypetheory.org ) — cs.cmu.edu [15-819 Advanced Topics in Programming Languages, Fall 2013]

Утверждается, что курс self-contained, в доп.литературу вынесено только "Programming in Martin-Löf's Type Theory" [ cse.chalmers.se ]

Имеются также и видеозаписи с Харпером у доски, но там "Silverlight is required to use the Panopto viewer". Худо-бедно показывает, mp4 ничего не мешает выдернуть со страницы.
yurlin
sml OCaml compilers reading Россыпь ссылок в блоге Yin Zhu (прилетело ретвиттом):
"A reading list on F# and other ML languages"
fdatamining.blogspot.hk

Пост обновлялся в декабре 2012, часть pdf находится на CiteSeer, а значит не пропадёт в ближайшее время. В последней секции Courses and tutorials присутствуют любопытные ссылки на следующие курсы (2011, '12, '13):

Cornell CS3110. Data Structures and Functional Programming. (uses OCaml)
cs.cornell.edu

Harvard CS51. Introduction to Computer Science II: Abstraction and Design. (uses OCaml)
cs51.seas.harvard.edu

IT University of Copenhagen. Programs as data. (uses F#)
itu.dk

Yale CS421. Compilers and Interpreters. (uses SML)
flint.cs.yale.edu

Resources и Lecture Notes наличествуют. В комментариях ещё moar ссылок накидали!

И чтобы два раза не вставать, подкинули также

Andrew W. Appel "A Runtime System" (1990)
citeseerx.ist.psu.edu

David Tarditi et al. "No Assembly Required: Compiling Standard ML to C" (1990)
citeseer.ist.psu.edu
yurlin
лекции СПб дс-2 Пусть и здесь повисит.
27 марта, 18:00
Роджер Пенроуз в СПбГУ:
«Нужна ли новая физика, чтобы понять мозг? Почему я не верю, что можно создать мозг на основе существующих теорий искусственного интеллекта»
("Is New Physics Needed to Understand the Mind? Why I do not believe a Mind will be built on the basis of current theories of Artificial Intelligence.")

Язык лекции: английский

"СПбГУ, Факультет свободных искусств и наук, Дворец Бобринских, ул. Галерная 58-60, ауд. 223 — Кинозал. Просьба к гостям факультета иметь при себе паспорт и заранее отправить короткое сообщение на andrei@philomatica.org, указав в качестве темы сообщения “лекция Пенроуза”.

анонс — artesliberales.spbu.ru
и на сайте Физматклуба ПОМИ — club.pdmi.ras.ru
yurlin
Scheme compilers Вот это я понимаю название для проекта:

Stalin brutally optimizing Scheme compiler.
Stalin — a STAtic Language ImplementatioN
Finally, a Lisp compiler that does what it should...
github.com

Впрочем, если пройти по ссылкам оттуда на университетскую страницу товарища Jeffrey Mark Siskind из Purdue University, то можно увидеть там Screamer и Abigail (ничего не могу поделать, навевает мысли о персонажах фильмов Лючио Фульчи).

Есть однако и Stalingrad (записывается как Stalin и оператор градиента):

bcl.hamilton.ie
функциональный фреймворк, что представляет reverse-mode AD (automatic differentiation) как first-class function в ФЯ, а потом они и до HOF добираются. Wiki говорит, что AD, дескать, не symbolic differentiation и не numerical differentiation, свободно от проблем этих методов со сложностью по времени и ошибками округления. Сам я pdf просмотрел по диагонали, на 18й наткнулся на Church encoding, когда они true, false, if-then-else, car, cdr и прочее перемололи на лямбде, и читать по диагонали стало сложнее.
yurlin
Scheme compilers Lisp Всё это уже кому-то на глаза попадалось, но пусть будет и здесь.

"Scheme 9 from Empty Space: A Guide to Implementing Scheme in C, 2nd ed"
t3x.org

Free pdf of the 1st ed of "Scheme 9 From Empty Space"
bcl.hamilton.ie

"Logic Programming in Scheme" (zip w/ pdf)
[this work has been greatly influenced by the book "The Reasoned Schemer" by Daniel P. Friedman, et al.]
bcl.hamilton.ie

Montreal Scheme/Lisp User Group
"The 90 Minute Scheme to C compiler by Marc Feeley"
iro.umontreal.ca

и чтобы два раза не вставать Advanced Compilers Reading Lists из Univ. of California, San Diego [UCSD]
keywords: Compiler Correctness, Pointer Analysis, Error Detection [... for C-level Langs], Concurrency
преимущественно статьи c POPL и PLDI с 1999 по 2011 год
cseweb.ucsd.edu
yurlin
lectures добро monads URL какое замечательное мероприятие было этим летом
Oregon Programming Languages Summer School:
cs.uoregon.edu

Lecture Notes и тяжеловесные видео наличествуют.
Можно поглядеть на Пирса, Steve Awodey, Robert Harper, Xavier Leroy и John Hughes. И других товарищей из INRIA и CMU.
yurlin
parallel_programming добро freebooks От CompSciFact опять же: Norm Matloff "Programming on Parallel Machines; GPU, Multicore, Clusters and More" — heather.cs.ucdavis.edu

Профессор вроде как подходит с practical viewpoint: "[...] There is very little theoretical analysis of parallel algorithms, such as O() analysis [...] Starts with real parallel code right away in Chapter 1, with examples from pthreads, OpenMP and MPI"

Небезынтересно в любом случае, keywords: OpenMP, CUDA, MPI. В оглавлении есть даже 'Introduction to Parallel R'.
yurlin
добро data_mining freebooks Из твиттора ‏CompSciFact: Anand Rajaraman, Jure Leskovec and Jeff Ullman "Mining of Massive Datasets" — i.stanford.edu

Слова Map-Reduce, Large-Scale File Systems, Link Analysis, Mining Social-Network Graphs в наименованиях глав присутствуют, можно скачать как целиком, так и по главам. Спасибо Cambridge University Press за это.