bravit-about

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

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

Слайды лекции в Петербурге в лектории компании Биокад

О моих лекциях в Петербурге передают телеграфом: http://telegra.ph/Gastroli-Vitaliya-Nikolaevicha-Bragilevskogo-v-Pitere-03-26 (делал не я!).

Наступает горячая пора публичных выступлений (обещанный год поспокойнее не удался). В связи с этим публикую анонсы: 1) 17 марта в офисе компании Гэндальф расскажу ростовским школьникам о карьерных перспективах в ИТ, о том, чему и как нужно учиться, чтобы добиться успеха, не забуду о горячих темах темах современной CS, а также поговорю о вечном, теории языков программирования. 2) 30 марта в офисе компании BIOCAD (Санкт-Петербург) поговорю о месте функционального программирования в теоретической информатике — тема ещё точно не утверждена, но будет что-то вокруг этого. 3) 31 марта и 1 апреля лекции в CS-клубе при ПОМИ РАН (Санкт-Петербург) — тут всё ясно, «Компилятор GHC языка Haskell: теория языков программирования в работе», https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/ 4) 6 апреля уже в Ростове на митапе в офисе компании TradingView сделаю доклад о «функциональности» языков программирования, то есть о той мере, в которой можно и нужно использовать функциональный стиль программирования при работе с разными языками программирования, от C++, Java и Scala до OCaml и Haskell. 5) 3 июня у меня 6-часов лекций на LambdaConf (Боулдер, Колорадо) на тему «The Type Theory Behind The Glasgow Haskell Compiler Internals» — близко по тематике к лекциям в CS-клубе, но с немного большим упором на теорию типов.

Итоги года: часть 2. Я, пожалуй, как никто заинтересован в нормализации или уж во всяком случае неухудшении наших отношений с США. И это тоже итоги года. Во-первых, я сейчас работаю над книгой Haskell in Depth для Manning Publications, не очень бы хотелось нарваться на какие-нибудь очередные антисанкции. Весь следующий год уйдёт на книгу, работы очень много. Во-вторых, с мая я участвовал в фулбрайтовском конкурсе для преподавателей вузов: много документов, несколько эссе, рекомендации от уважаемых людей, собеседование с фулбрайтовской комиссией, экзамен TOEFL — и в ноябре стал известен результат, я выиграл и теперь должен провести 5 месяцев следующей осенью и зимой в одном из американских университетов на деньги госдепа. В принципе, это ещё не точно: сначала администрацией Трампа должно быть выделено финансирование, потом меня должен согласиться принять какой-нибудь университет, после этого нужно будет получать визу. По идее, это формальные вещи, но всё может быть. Посмотрим. Вот такие два итога, переходящие в новый год.

Итоги года: часть 1. Люблю читать лекции: сначала интересно что-то узнавать, потом столь же интересно выстраивать материал в логичную последовательность, что-то выбрасывать, что-то добавлять, фантастически приятен сам процесс лекции, когда на тебя смотрит пара десятков глаз (ну или человек пять, мне обычно и этого хватает), а ты перед ними актёрствуешь. Самое главное: никакой ответственности, поняли, не поняли — вообще неважно! Чтением лекций у меня прошедший год и ознаменовался: 10 лекций курса по Idris в Петербурге в CS-клубе при ПОМИ РАН, 13 лекций по теории категорий на ростовском мехмате для слушателей замечательной @mmcs_math, 4 лекции на летней школе «Современная математика» в Дубне, снова курс по Idris из 10 лекций, уже на ФКН ВШЭ. Все эти курсы есть в записи, можно смотреть: https://www.youtube.com/user/bravit111. Были и обычные университетские курсы по теории алгоритмов (21 лекция), теории языков программирования (15 лекций), функциональному программированию (22 лекции) и визуализации данных (9 лекций), от них следов меньше. В целом, неплохо поработал. Приходящий год должен быть поспокойнее: ожидаются маленькое домашнее функциональное программирование на 7 лекций, большая домашняя теория алгоритмов лекций на 15 и 5 лекций по компилятору GHC снова в Петербурге, куда я напросился во второй раз. Очень уж мне там понравилось. Больше ничего не планируется, и это счастье.

интересно, что в местной образовательной системе не дается специальное время для подготовки к экзамену. есть у тебя выходные, чтобы освежить пройденное за время курса, в них и можно пробежаться по пройденному материалу, а в остальном подразумевается, что ты читал-успевал за время модуля. таким образом, в следующий вторник у меня первый экзамен, а всю эту неделю идут пары, на которых еще задают новое домашнее задание (признаться честно, не по предмету с экзаменом во вторник, но все же) у бакалавров еще веселее: экзамены могут проходить и в середине курса (то есть по прошествии месяца от его начала), и просто с перерывом в две недели в течение семестра, в зависимости от направления и читаемых предметов. в этом блоке у меня два экзамена, оба так называемые “open-book”, то есть можно брать с собой книжки и свои лекции, но нельзя ноутбуки и телефоны. так как списывание здесь вообще не в чести, то мне даже интересно, будут ли они как-то это проверять. но вообще говоря, судя по образцам экзаменов прошлых лет, книги и заметки помогут только подсмотреть формулу-определение, если точно знаешь, где их искать, потому что заданий много (20-30 вопросов с вариантами ответов и пара открытых), и они не сформулированы прямо, а проверяют понимание материала. многие откровенно рассчитывают, сколько вопросов нужно ответить, чтобы хоть как-то сдать этот курс, но никто почему-то не жалуется, что нагрузка слишком велика экзамены здесь проверяют не сразу, а в течение 15 рабочих дней. иногда это вполне оправдано - проверить открытые вопросы по курсу, который слушали 100 человек не так уж просто, а так как обычно даже домашние работы здесь сопровождаются подробным фидбэком, то, наверное, и к экзаменационным отношение серьезное. с другой стороны, экзамены, организованные в формате multiple choice не требуют такого пристального внимания, и иногда проверяются быстрее, особенно если используется автоматический сканер ответов пересдачи, кстати, организованы не слишком удобно: каждый предмет можно пересдать только один раз (по крайней мере, как написано в инструкции), а ближайшая пересдача проходит… в следующую сессию (то есть в конце января - начале февраля). то есть и позабыть все успеешь, и следующим экзаменам помешает, кому понравится…

Идеальная система приёма экзаменов!

Послушайте этот шедевр чтецкого мастерства!

день 9-10-11 очень быстро летят дни, и опять случился перерыв в моих записях. но теперь я хотя бы могу успокаивать себя, что это не я ленивая, а это у меня дел много. на самом деле, нет. то есть дел, конечно, стало намного больше, но на все остальное мне времени хватило же…. итак, какие же они, мои учебные будни: - пары классные! ну вот прям как на мехмате классные у заинтересованных преподавателей, только тут пока все такие были. часто на один предмет 2 лектора + 2-3 ассистента по практике + гостевые лекции от специалистов из других университетов. - пары как будто приближены к жизни. уже в первом домашнем задании по natural language processing анализируем датасет твитов и составляем автомат Мили для преобразования сокращений в полноценные слова. - на парах реально подразумевается, что ты прочел ту литературу, которую посоветовали, и преподаватель спокойно апеллирует к тому, что написано в книге, но не было упомянуто на лекции. - каждый семестр разделен на 2 блока, курс обычно длится 1, реже 2 блока. после каждого блока сдаются экзамены (или не сдаются, на усмотрение преподавателей) - многие студенты очень боятся всего математического. прослыла экспертом в области математики, потому что знала, как провести прямую через 2 точки и посчитать матрицу ковариации…. а уж когда дело дошло до нормы….. - отговорка, кстати, очень знакомая: “ну мы больше программисты, чем математики…. а ты же бакалавр прикладной математики все-таки…” - супер непривычно делать домашнее задание в группе. во-первых, тратится в полтора раза больше времени точно, потому что постоянно что-то приходится объяснять (успокаивает только мысль, что так лучше сама начинаю разбираться). с другой стороны, всегда есть у кого спросить. во-вторых, завтра утром поеду к 9 в универ делать домашнее задание (к слову, мой напарник приедет делать ее в универ фактически из другой страны) - зато кампус специально оборудован под всю эту совместную работу, да и вообще ужасно прикольный и удобный, очень много места для внеклассных студенческих занятий, везде принтеры, розетки и кофейные автоматы - вообще весь этот machine learning в местной студенческой среде считается супер математичной наукой, а от того невозможно сложной. им бы сейчас немного уравнений теплопроводности, да функций грина, а лучше всего алгебры или теории категорий, а то страдать от аппроксимаций функций даже как-то несолидно

Инсайды из университета Твенте (Нидерланды).

Был в воскресенье на работе! Чтобы послушать rehearsal talk нашего профессора перед завтрашним выступлением на какой-то третьесортной восточно-европейской конференции «по информатике и искусственному интеллекту» тут, в Праге. Его попросил кто-то, а он ради фана любит рассказывать про data science и как R завоюет мир. Не помню, кстати, чтобы профессора в России тренировали выступления (не только на третьесортных конференциях, но и на второсортных; на первосортных их, к сожалению, обычно нет).

Я не пойму, почему у Ловца в небе мало читателей? Интересно же!

Меня теперь можно читать на медиуме: там пока только рецензии на книги, но, возможно, будет что-то ещё. https://medium.com/@_bravit

Сделал канал со своими лекциями, подписывайтесь!

В этом году я неожиданно для себя понял, что я крутой. Поэтому вполне можно подвести итоги года, как делают все приличные люди. Новый год я встретил в Лондоне. После возвращения пришлось заниматься завершением работы по написанию самоотчёта по мехматовским образовательным программам для международной аккредитации. Потом, в апреле, был визит группы экспертов из Германии, в сентябре мы получили известие об успешной аккредитации, а уже в декабре пришли сами сертификаты. За проделанную работу я получил Почётную грамоту от ректора. В конце января мы получили класс маков, закупкой которых я занимался — они красивые! В весеннем семестре я, мне кажется, нащупал наиболее удачный подход к изложению теории алгоритмов. Я стартовал с моделей вычислений: рассказывал машину Тьюринга, лямбда-исчисление и машины с неограниченными регистрами (URM), а от них уже сделал переход в теорию вычислимости. Это позволило хорошо поработать с теорией рекурсивных функций и почти дойти до доказательства теоремы Гёделя. В конце я уже традиционно рассказывал введение в теорию сложности на машинах Тьюринга. Первые три недели мая провёл в университете Твенте — читал курс по языку Idris. Слушатели там подобрались замечательные, с ними удалось обсудить массу интересных вещей. Множество выходных позволили очень плотно познакомиться с Нидерландами, а особенно с системой железных дорог (могу консультировать по пересадкам!). В конце апреля пришла фантастическая новость: я попал в комитет по стандартизации Haskell 2020. Правда, сейчас я настроен скорее скептически относительно перспектив нового стандарта, мои соображения я изложил на прекрасной конференции FPCONF, которая проходила в начале декабря в Москве (https://youtu.be/GV-6ODoT6oo). В конце июля путешествовал на машине по Западу США: Лос-Анджелес, Лас Вегас, Большой каньон, Долина смерти, Йосемити, Сан-Франциско и снова Лос-Анджелес, почти 4000 км. Везде останавливался на чуть-чуть, основное время занимала дорога. Люблю дорогу. В конце августа поработал на международной междисциплинарной летней школе в Геленджике — очень необычный опыт, но мне очень понравилось. Я вообще обожаю наших университетских гуманитариев, а по этой школе я сотрудничал с Кореневским, Джумайло, Ротко и другими прекрасными сотрудниками университета. Спасибо начальнику международного управления Елене Игоревне Федотовой за то, что пригласила меня туда! Как сейчас помню её первый звонок на эту тему: я сразу подумал, что будет полный бред, но отказываться почему-то не стал. И не зря! В сентябре представлял университет на выставке по интернационализации образование EAIE в Ливерпуле и спел в хоре! При большом желании меня даже можно рассмотреть https://youtu.be/r3h-Ysl3fyc. Кстати, я пою басом. Почему у нас на мехмате куча танцоров, а хора нет? Непорядок. В осеннем семестре читал, как обычно, Haskell, и начал делать новый курс по визуализации данных (Python и Javascript). Постараюсь ко второму разу в следующем году сделать что-нибудь приличное, пока, конечно, получилась полная дребедень. В середине семестра много занимался проведением анкетирования студентов «Преподаватель глазами студентов» и по его результатам сам неплохо смотрюсь — но публиковать итоги нельзя, директор пока не одобрил. В течение всего года плотно рецензировал книги от Manning: в будущем году нас ждут замечательные книжки по Haskell (Learn Haskell) и Idris. Также получил в подарок от Cambridge University Press книжку Programming in Haskell Хаттона (второе издание). Она, правда, не очень. А ещё я много писал в твиттер и постил фоточки в инстаграм. Ну да это всё и так видели.