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

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

​​⚡️Заявление Инициативной группы МГУ о репрессиях и произволе спецслужб в Университете

«Больше года продолжалась борьба студентов и сотрудников МГУ за перенос фан-зоны Чемпионата Мира по футболу – 2018 с Воробьевых гор на более подходящую площадку. Эта ситуация, в которую Московский университет оказался втянут по воле чиновников и стоящих за ними коммерческих интересов, вскрыла множество противоречий, и в результате недопустимые практики, обычно скрытые от большинства студентов и сотрудников, стали достоянием всего коллектива университета. Мы почти не писали о них раньше, не желая отвлекаться от основной цели кампании, но сейчас самое время обратиться к этой теме.

Мы открыто заявляем: в МГУ уже давно имеет место ненормальное, вредное и опасное сращение административной верхушки, руководства местного отделения полиции и «прикомандированных» к МГУ, как называет их сам ректор В.А. Садовничий, сотрудников спецслужб.

Этот своеобразный симбиоз, основанный на переплетении корыстных и номенклатурных интересов, уже много лет вредит университету. Однако именно сейчас в противостоянии со студентами и сотрудниками эти люди столько раз переступили границы морали и закона, что мы считаем необходимым предать огласке многолетнюю историю их деятельности.

🔥Что нам известно?

📍 1. Отделение полиции МГУ исторически неформально и очень тесно связано с администрацией, и фактически его деятельность, включая задержания неугодных, в значительной степени определяется указаниями из ректората.

📍2. В МГУ постоянно присутствует значительное число «прикомандированных» сотрудников ФСБ и других спецслужб, или тесно связанных с ними людей. Формально они занимают разные административные должности — помощник ректора, заместитель начальника Управления общежитиями и другие.

📍3. В МГУ, как и в других вузах, для этих людей нет реальных дел, обычно они скучают, занимаются откровенной ерундой и время от времени принимают участие во внутриуниверситетских подковёрных схватках на стороне того или иного бюрократического клана. У них нет и не может быть «высокой миссии», которая бы оправдывала их постоянное присутствие в университете.

📍4. В силу специфики их деятельности у сотрудников спецслужб постоянно накапливается компромат на членов администрации МГУ, который они конвертируют в личное влияние на этих людей.

📍5. Университетские сотрудники спецслужб много лет воспроизводят практику вербовки стукачей и провокаторов из числа студентов и сотрудников.

📍6. В попытках противостоять масштабной кампании за перенос фан-зоны текущая административная верхушка не брезговала самыми грязными методами, среди которых заказные публикации, взломы аккаунтов активистов, анонимные угрозы, слежка, давление на родственников. Кроме того, задержание студентов филфака и уже, к счастью, закрытое уголовное дело за надпись «нет фан-зоне» на информационной тумбе также являются результатом работы этой репрессивной системы.

📍7. Мы убеждены, что вся эта ситуация ненормальна и сильно мешает развитию МГУ. Необходимы коллективные действия со стороны студентов, сотрудников и выпускников, чтобы прекратить разложение университета. Наши главные инструменты в этом — гласность и активная поддержка однокурсников и коллег.

Мы считаем своей задачей последовательно обнародовать все собранные нами факты, касающиеся давления и репрессий со стороны администрации и силовых структур, действующих как единая система, — этому будут посвящены наши посты.

Наша конечная цель — искоренить репрессивные практики, которые отравляют жизнь университета и мешают его развитию».

❗️Текст заявления: https://vk.com/wall-27917858_44170
❗️Рассказ «Новой газеты» о давлении и преследовании активистов: https://www.novayagazeta.ru/articles/2018/06/12/76773-fan-ili-propal

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

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

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

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

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

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

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

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

До Нью-Йорка полчаса, а я недоумеваю, как можно не донатить @mediazzzona...

​Это корреспондент Швец. Не хочу никого обидеть, но обрадоваться, оказавшись в Валуйках, можно только в том случае, только если вы до этого провели 16 часов в душном и пыльном купе с семейством, непрерывно поглощающим пахучую пищу, а в коридор выйти нельзя, потому что там воняет рыбой.

Чтобы все-таки никого не обидеть, я буду сейчас признаваться в собственном непрофессионализме — расскажу, как не смог написать полноценный репортаж. Короче, Валуйки — это районный центр в Белгородской области, там рядом поселок Уразово, где после убийства и изнасилования маленькой девочки, по слухам, были цыганские погромы (или что-то очень близкое к этому), и куда я приперся этим воскресным утром.

Значит, в полвосьмого утра на пустой площади одни менты, к ним выходит глава администрации. Я говорю, а покажите, где у вас дома горели? Он говорит, а покажите вашу пресс-карту и паспорты, вы не экстремист? Я такой: в смысле? Он такой: хуисле. Короче, пришлось отдать ему документы.

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

Причем остальные местные со мной разговаривать не хотят совсем, хотя я даже пытался шокать и говорить с фрикативным «гэ»; даже не знаю, что выдавало во мне чужака. Я надеялся найти какого-нибудь забулдыгу, чтобы он мне все рассказал за бутылку водки. Тогда можно было бы написать предупреждение: корреспонденту «Медиазоны» пришлось отплатить за услуги гида бутылкой водки. Но я не нашел ни одного забулдыги, это даже странно — в какой-то момент даже начинает походить на фильм Hot Fuzz (он же «Типа крутые легавые»), там тоже про такую пасторальную деревню, в которой ВСЕ НЕ ТАК ПРОСТО.

Короче, в какой-то момент я просто-напросто заметил за собой слежку («для вашей же безопасности») и попросил этих шпионов довезти меня до райцентра. Там мы с ними попили пива, они мне так и сказали: «Димон, ты ебанутый». А потом говорят, что раз уж я в Валуйках, то мне обязательно надо купить что-нибудь производства местного ликеро-водочного завода. Ладно, дошли до магазина, продавщица посоветовала клюквенную настойку «Железная леди». Только я оплатил, она говорит: с «Железной леди» вы, конечно, зря, она уже не та, надо было водку брать.

Клянусь перед всеми читателями «Медиазоны»: еще раз окажусь в Валуйках — только водка. «Железную леди» я не пил и не знаю, буду ли.

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

#Ростов друзья, организаторы пишут, что успех этого события важен для продолжения их дела. Мне хочется, чтобы проект k-ino.ru жил в Ростове. Приходите посмотреть на Сэма Клебанова и фильм Такеши Китано
https://www.facebook.com/100000432952509/posts/2252681578089585/

Не писал давно про сбор денег для Медиазоны. Наш издатель уже две недели в больнице с отравлением, так себе повод форсить наш краудфандинг (или я просто не умею и стесняюсь). Хотя когда Верзилов придет в себя окончательно, он конечно спросит: ну сколько донатов собрали?

А нисколько за две недели не собрали, отрицательный рост. Было 894 тысячи, стало 893 тысячи. У кого-то карта кончилась, у кого-то на ней нет денег. Мы продолжаем работать в обычном режиме, несмотря на отравление. Ведем онлайны с суда в Барнауле и с очередного ареста Навального, пишем заметки про ментов, которые пытают и которых пытают.

И нам очень нужна ваша помощь, подписывайтесь на Медиазону. Очень хочется хотя бы до 900 тысяч ежемесячных платежей дойти в сентябре. Спасибо всем, кто помогает: https://donate.zona.media/?utm_source=smirnov&utm_campaign=first&utm_medium=telegram

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

Самое моё любимое: видосики. И тут могут быть совершенно разные видосики, даже научпоп на ютубе про что-то связанное с вашей научной областью. Ещё можно смотреть видео с курсов разных университетов, например, Стэнфорда, либо с научных школ и конференций. Да и про Coursera, Stepik и мой любимый Лекториум тоже прошу не забывать. И не обязательно смотреть лекции по темам, неизвестным для вас. Я, например, периодически пересматриваю по пятому разу какие-то лекции, потому что часто забываю какие-то идеи напрочь. С тем, что повторение это мать учения, я более чем согласна.

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

Дополнительно к этому в бложиках учёных, в их твиттерах часто можно встретить посты поддержки, советы, да просто истории из жизни, про то, как у них что-то не получалось, как они падали лицом в грязь. Мне это даёт надежду, ведь я знаю, что в итоге у этих людей всё хорошо. Когда я узнала этим летом, что студенты из MIT совершенно обычные люди, их не тошнит радугой и они не генерируют постоянно доказательства, я была в шоке. Когда узнаёшь, что успешные (по общепринятым меркам) люди совершенно такие же как и ты — тоже ленятся, тоже частенько фейлят — то это очень успокаивает (может зря). А то всё время кажется, что вот у кого у кого, а у того великого учёного точно никогда не было проблем в карьере. Но на деле оказывается, что дно жизни видали в каком-то виде все.

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

Ну и самый лайтовый вид рабочей прокрастинации для меня: уборка рабочего пространства. Тут можно и разобраться, какие вкладки в браузере закрыть, от какой рассылки на почту наконец отписаться, какие опросы нужно было сто лет назад пройти, но я не прошла. Куча мелких дел. Жизнь учёных непроста, и лишний ежедневный поток неинтересных новостей, некрасивых фотографий, скучных твитов, лично меня, люто утомляет. Поэтому такой вид отдыха я отдельно рекомендую даже когда мозг готов работать на полную.

Прочитал очень длинный текст сегодня, очень устал

В издательстве Manning Publications отличная Deal of the Day с тремя книжками: Haskell in Depth, Get Programming with Haskell и Type-driven Development with Idris. Можно воспользоваться 50%-й скидкой по промокоду DOTD101718 на все три книжки. В двух не своих я, кстати, упомянут в благодарностях, а в Get programming был ещё и technical proofer. Очень их рекомендую.

Вот ещё отличная книжка!