Чтобы добавлять сообщения и комментарии, .

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@yurlin:
yurlin

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@yurlin:
yurlin

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

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

@qrilka:
qrilka

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

@yurlin:
yurlin

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

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@qrilka:
qrilka

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

@folex:
folex

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

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

@qrilka:
qrilka

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

@dk:
dk

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

@civil696:
civil696

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

@nirthfurzahad:
nirthfurzahad

Последние пару месяцев, я начал слушать/смотреть лекции на 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

@kekssw:
kekssw

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