bravit-about

Пишу этот пост, пролетая над Атлантикой, благодаря сервису Дельты с бесплатным доступом к мессенджерам во время полёта. Лечу я в Нью-Йорк, откуда через несколько дней отправлюсь в Юджин, в университет Орегона, где будет проходить моя пятимесячная стажировка по гранту Фулбрайта. Формальная цель стажировки — разработка курса формальной верификации программного обеспечения. Что будет по факту узнаем попозже. Согласно условиям гранта после возвращения я должен буду читать разработанный курс в России, всячески распространяя полученные в США знания. За время пребывания в США постараюсь также плотно поработать над книгой, потому что после возвращения домой меня ожидает спрессованная в один семестр годовая нагрузка. Спасибо, ЮФУ.

Надеюсь, многие смогут посетить семинар на Мехмате ЮФУ в пятницу, в 16:00: http://forum.mmcs.sfedu.ru/t/seminar-po-yazykam-programmirovaniya-i-kompilyatoram/938/92?u=ulysses В программе — мы с @bravit_about!

А ещё мы постараемся сделать прямую трансляцию на ютуб-канале https://www.youtube.com/bravit111

А у Manning «Deal of the Day»: можно прикупить одновременно Get Programming with Haskell и Haskell in Depth с промокодом dotd070918au!

О, и промокод на 50%-ную скидку к запуску подкатили: mlbragilevsky https://www.manning.com/books/haskell-in-depth

Manning Publications наконец-то запустили программу раннего доступа (MEAP) к моей книге Haskell in Depth: https://www.manning.com/books/haskell-in-depth. Это означает, что книга пока в черновике, она будет постепенно дополняться и обновляться. Главное, что процесс пошёл. Издатель предполагает завершить работу над книгой к осени 2019 года, хотя я надеюсь, что получится гораздо раньше.

Медуза очень точно рассказывает о том, что такое аккредитация вузов в России: https://meduza.io/feature/2018/06/25/pochemu-rosobrnadzor-zakryvaet-horoshie-universitety-kto-imenno-ih-proveryaet-stoit-li-za-etim-korruptsiya

Горячая тема в образовательной среде сегодня — лишение аккредитации Шанинки, Московской высшей школы социальных и экономических наук. Обоснование имеется в заключении комиссии: http://www.obrnadzor.gov.ru/common/upload/doc_list/Zakluchenie_oano_vo_Moskovskaya_vysshaya_shkola_sotsialnykh_i_ekonomicheskikh_nauk.pdf. Его чтение показывает, что проблемы по большей части в оформлении документов. Чаще всего встречается претензия, что некоторая дисциплина/практика «не формирует компетенции» — видимо, это следует читать как «в программе дисциплины/практики не указано, какие компетенции она формирует». Кое-где в качестве причины стоит анекдотическое несответствие данных в учебных планах и программах дисциплин (14 часов лекций по плану vs 12 часов практических занятий по программе). Есть претензии по квалификации заведующих кафедрами — они там не расшифровываются, но думаю, что это скорее всего непрофильное образование (например, завкафедрой историк по образованию, а кафедра ведёт направление по экономике). В общем, ясно, что претензии не имеют ничего общего с анализом качества обучения. Эта задача нынешней аккредитационной процедурой не ставится, её цель — найти несоответствия в содержании документов. Проблема при подготовке корректной документации — её оглушающий, превосходящий границы разумного объём. Люди ошибаются, а проверить все эти десятки тысяч листов (и это не преувеличение) никому не под силу. В итоге получается, что лишить аккредитации можно кого-угодно. А можно и не лишить, «не заметив» неточностей. Всё зависит от задачи, поставленной перед аккредитационной комиссией.

​​⚡️Заявление Инициативной группы МГУ о репрессиях и произволе спецслужб в Университете «Больше года продолжалась борьба студентов и сотрудников МГУ за перенос фан-зоны Чемпионата Мира по футболу – 2018 с Воробьевых гор на более подходящую площадку. Эта ситуация, в которую Московский университет оказался втянут по воле чиновников и стоящих за ними коммерческих интересов, вскрыла множество противоречий, и в результате недопустимые практики, обычно скрытые от большинства студентов и сотрудников, стали достоянием всего коллектива университета. Мы почти не писали о них раньше, не желая отвлекаться от основной цели кампании, но сейчас самое время обратиться к этой теме. Мы открыто заявляем: в МГУ уже давно имеет место ненормальное, вредное и опасное сращение административной верхушки, руководства местного отделения полиции и «прикомандированных» к МГУ, как называет их сам ректор В.А. Садовничий, сотрудников спецслужб. Этот своеобразный симбиоз, основанный на переплетении корыстных и номенклатурных интересов, уже много лет вредит университету. Однако именно сейчас в противостоянии со студентами и сотрудниками эти люди столько раз переступили границы морали и закона, что мы считаем необходимым предать огласке многолетнюю историю их деятельности. 🔥Что нам известно? 📍 1. Отделение полиции МГУ исторически неформально и очень тесно связано с администрацией, и фактически его деятельность, включая задержания неугодных, в значительной степени определяется указаниями из ректората. 📍2. В МГУ постоянно присутствует значительное число «прикомандированных» сотрудников ФСБ и других спецслужб, или тесно связанных с ними людей. Формально они занимают разные административные должности — помощник ректора, заместитель начальника Управления общежитиями и другие. 📍3. В МГУ, как и в других вузах, для этих людей нет реальных дел, обычно они скучают, занимаются откровенной ерундой и время от времени принимают участие во внутриуниверситетских подковёрных схватках на стороне того или иного бюрократического клана. У них нет и не может быть «высокой миссии», которая бы оправдывала их постоянное присутствие в университете. 📍4. В силу специфики их деятельности у сотрудников спецслужб постоянно накапливается компромат на членов администрации МГУ, который они конвертируют в личное влияние на этих людей. 📍5. Университетские сотрудники спецслужб много лет воспроизводят практику вербовки стукачей и провокаторов из числа студентов и сотрудников. 📍6. В попытках противостоять масштабной кампании за перенос фан-зоны текущая административная верхушка не брезговала самыми грязными методами, среди которых заказные публикации, взломы аккаунтов активистов, анонимные угрозы, слежка, давление на родственников. Кроме того, задержание студентов филфака и уже, к счастью, закрытое уголовное дело за надпись «нет фан-зоне» на информационной тумбе также являются результатом работы этой репрессивной системы. 📍7. Мы убеждены, что вся эта ситуация ненормальна и сильно мешает развитию МГУ. Необходимы коллективные действия со стороны студентов, сотрудников и выпускников, чтобы прекратить разложение университета. Наши главные инструменты в этом — гласность и активная поддержка однокурсников и коллег. Мы считаем своей задачей последовательно обнародовать все собранные нами факты, касающиеся давления и репрессий со стороны администрации и силовых структур, действующих как единая система, — этому будут посвящены наши посты. Наша конечная цель — искоренить репрессивные практики, которые отравляют жизнь университета и мешают его развитию». ❗️Текст заявления: http://vk.com/wall-27917858_44170 ❗️Рассказ «Новой газеты» о давлении и преследовании активистов: https://www.novayagazeta.ru/articles/2018/06/12/76773-fan-ili-propal

Митч Уонд https://scholar.google.cz/citations?user=Y0E0lsgAAAAJ уходит на пернсию. Большой человек в мире PL… На прощание прочтёт курс по техническому письму для старших аспирантов: https://course.ccs.neu.edu/cs7976f18/ Кстати, есть у нас в России курсы по письму для аспирантов? Полезная штука ведь: иначе каждый руководитель как умеет объясняет своим…

Печальные новости приходят из российского фулбрайтовского офиса: в этом году отменили традиционный приём грантополучателей фулбрайтовских программ в Посольстве США в Москве. Видимо, из-за чемпионата мира по футболу оказалось невозможным разместить всех участников в московских гостиницах на пару дней.

Всё-таки приятно видеть, что преподавательские шутки вполне интернациональны! И здорово, что у нас есть @arpel, позволяющий заглянуть на ту сторону!

Что интересно, я знаком с достаточным количеством сравнительно молодых (30-) [недо-]образованных людей, в основном технарей, которые мыслят совершенно идентично авторам изложенных в статье взглядов. Люди не понимают a) какой век на дворе, б) структуру и механизм научного образования и знания в современном мире, в) сопутствующих технологий. Всё затмевает милитаризм и паранойя. Воистину, Лубянская народная республика.

По поводу чудовищной статьи в Парламентской газете https://www.pnp.ru/social/rossiya-ne-dolzhna-byt-kuznicey-kadrov-dlya-drugikh-stran.html

Так, а у Сергея @smirnovmz Смирнова сегодня день рождения. Редкий случай, когда я точно знаю, что подарить: оформить регулярное пожертвование на Медиазону Сам сделал и вам всячески советую.

С интересом наблюдаю за развитием российско-американских отношений и уже морально готовлюсь к тому, что ни по какому фулбрайтовскому гранту никуда не поеду. Неразумно ведь поддерживать высшее образование в стране вероятного противника.

Курс в CS-клубе завершён, слайды лекций опубликованы: https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/. Видео записано, но появится позже. Последняя лекция получилась совсем короткой, время закончилось.

Кстати, департамент вычислительной биологии компании Биокад — фантастическое место, там программируют на Хаскеле сложную химию и биологию, используя при этом сложные (и очень актуальные!) численные методы. Отличное место работы для сильных и, самое главное, хорошо обучаемых специалистов.