У меня спрашивают, где бы найти кошерных видеолекций по функциональщине, алгоритмам, и по computer science в целом, а я не знаю (потому что не понимаю, как можно всё это смотреть и слушать, не мой формат). Подскажете человеку?

(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226

"ЗаяцШЩ, M, T, стрелка и отбивная монада с горошком" [nivanych]

Накидайте пазязя вводного материала и обзоров методов/алгоритмов в области новомодного (уже несколько лет) machine learning. Интересна сама Суть. Текст ок, видеоматериалы не ок, слайды норм. (статью в википедии прочитал, её не надо накидывать.)

"Coordination Avoidance in Database Systems" [ http://wizzard0.livejournal.com/470021.html ] Если чо, сам пока не читал. Как почитаю -- отпишу впечатления в каменты к этому посту.