JS
Тут, мне кажется, надо уточнять, что ВШЭ в Питере. Или в Москве тоже?
я про московскую ВШЭ, в частности, я на ФКН веду факультатив по практическому Хаскелю, а Степан Кузнецов — основной курс с теоркатом
Size: a a a
2020 December 07
JS
Тут, мне кажется, надо уточнять, что ВШЭ в Питере. Или в Москве тоже?
а в Питере что?
AP
я про московскую ВШЭ, в частности, я на ФКН веду факультатив по практическому Хаскелю, а Степан Кузнецов — основной курс с теоркатом
Денис Москвин там, мне казалось
AP
Вроде бы, да
JS
Уже 4 года как нет.
а вы где-то преподаёте?
AP
а вы где-то преподаёте?
Я к сожалению не преподаю в общем. У меня аспирантура в Northeastern University (Boston)
AP
Логово рэкетиров (от слова Racket), которые люто ненавидят Х в частности
AP
В принципе, интересный культурный опыт в этом плане
AT
В ЮФУ на мехмате не уверен, что остался Х. Зато там большой курс по Coq/SSReflect сейчас есть :-)
Здорово! Не знал, что у нас ещё где-то SSReflect преподают
AP
Здорово! Не знал, что у нас ещё где-то SSReflect преподают
Да, там один талантливый студент Брагилвевского в аспирантуре, и после его (Б.) ухода надо было затыкать дыры... ;-) Нет гарантии, что это долго продержится.
OS
И по семантике языков тоже курс есть на Coq
R
Я знаю рейты некоторых индивидуальных хаскеллистов, но приводить их не стану. Но там много
так а ты рейты приведи, а имен не называй (пардон за оффтоп)
АГ
так а ты рейты приведи, а имен не называй (пардон за оффтоп)
Не. Лучше не надо
JS
так а ты рейты приведи, а имен не называй (пардон за оффтоп)
вполне онтоп
R
Не. Лучше не надо
что ж там за рейты такие? Больше 150$/h? Хоть диапазон укажи, а то заинтриговал
АГ
что ж там за рейты такие? Больше 150$/h? Хоть диапазон укажи, а то заинтриговал
Больше тоже есть, да
АГ
А еще вон, товарищи из растовских блокчейнов просят минимум 100
АГ
(И получают)