to post messages and comments.

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@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:

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

@qrilka:

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

@yurlin:

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

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

@qrilka:

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

@yurlin:

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

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@qrilka:

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

@folex:

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

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

@qrilka:

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

@dk:

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

@civil696:

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

@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:

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