to post messages and comments.

если ещё кто не в курсе Крис Аллен написал неплохой обзор ресурсов для обучения хацкелю — bitemyapp.com

мейер обещает курс по ТК для программеров, не так чтоб впечатлил его курс по ФП (а задания "на внимательность" скорей расстроили), но интересно будет посмотреть

любитель ярких футболок Мейер приглашает поботать Хацкель — edx.org

если кто не в курсе, есть слайды с весеннего хацкелекурса от bos-а (и не только) — scs.stanford.edu

таки будет мук по хацкелю — twitter.com ура, товарищи!

может быть ван Рой и неглупый чувак, но этот его моцарт какое-то мудацкое говно, которое хрен скомпиляешь, не говоря уже о юзабилити (плюнул и скачал бинарник в итоге)

Роберт Харпер в 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 ничего не мешает выдернуть со страницы.

прикольно, теперь ещё и бриташки задвигают муки — futurelearn.com

OPLSS 2013 доступен онлайн — cs.uoregon.edu а я ещё 2012 толком не начал смотреть (хотя вроде темы повторяются местами)

а вот и пост в жж у thedeemon про OPLSS'12:
thedeemon.livejournal.com
посмотрим, что там в комментах ещё напишут.
Но mp4-видео там, правда, тяжёлые.

я когда-то ссылку кидал на curriculum оттуда в #2148509
Да и в этом году будет много всего интересного:
cs.uoregon.edu

Вадлер выложил свои лекции 4-летней давности по ФП — groups.inf.ed.ac.uk (2 первых, правда не хватает)

какое замечательное мероприятие было этим летом
Oregon Programming Languages Summer School:
cs.uoregon.edu

Lecture Notes и тяжеловесные видео наличествуют.
Можно поглядеть на Пирса, Steve Awodey, Robert Harper, Xavier Leroy и John Hughes. И других товарищей из INRIA и CMU.

оказывается, Йорги тоже хацкель преподаёт — cis.upenn.edu

интересно, что за курсы будут в eduX...

а я ведь правильно понимаю, что онлайн-курсы все американские? как-то "однополярно"...

блин, они ещё 26 курсов выкатили — экспоненциальный рост чтоль?

о, надо же, Калтек разорился на выкладывание слайдов к лекциям, ну хоть что-то

да... чот с калтеком лажевато выходит — поток ustream периодически затыкается, слайдов не видать, об ускоренной перемотке даже не стоит упоминать, видимо... МИТ рулит по сравнению с ними (хотя ютюб тоже иногда выдумывает потупить, но для оффлайна это похрен)

чтот как-то Caltech несколько стремает — в форме регистрации нажал кнопку отправки формы — отобразило сообщение от ошибке на странице ("registration failed" вроде), но сабмит прошёл и показало "success". Интересно насколько курс будет лажать.

о, ещё и Калтек курс начинает — прям какая-то сильная движуха с этими онлайн-обучениями...

Жуйк! Какие есть варианты доступа из линукса к конференции, для обычного доступа к которой нужен клиент MS Live meeting?

Плагины какие-нибудь для хрома может, ещё что.

в курсе Брайана О'Салливана уже прочитана и появилась онлайн первая лекция (из 2 частей) — scs.stanford.edu — довольно интенсивно для основ имхо

«Computer Musings» видеолекции Дональда Кнута: scpd.stanford.edu

Я что-то уже не помню где я увидел эту ссылку, возможно и в жуйке, но таки запощу на всякий пожарный. Тут кто-то начал переводить sicp'овские видеолекции на русский -> ztarlitz.livejournal.com

Последние пару месяцев, я начал слушать/смотреть лекции на iTunesU. Делюсь ссылками, на лекции с видео записями:
Oxford: Quantum Physics – deimos3.apple.com
MIT: Classical Physics – deimos3.apple.com
MIT: Electricity and Magnetism – deimos3.apple.com
MIT: Blach Holes and General Relativity – deimos3.apple.com
MIT: Multicore Programming – deimos3.apple.com
MIT: Intoduction to Algorithms (ОЧЕНЬ РЕКОМЕНДУЮ!) – deimos3.apple.com

если все же пойду учить студентов пайтону — надо будет затариться футболками как у Гвидо: 23monkeys.com