Есть пара новостей. Во-первых, 2 марта откроется новый семестр в Computer Science клубе! Выбирайте, пожалуйста, интересные вам курсы и приходите. И знакомых приводите. Вход в клуб по-прежнему открыт для всех желающих (регистрация не требуется)!
Сайт клуба compsciclub.ru
Во-вторых уже доступно видео лекции "Машинное обучение в Яндексе", которая прошла 16 февраля. https://compsciclub.ru/courses/csseminar/2019-spring/classes/4474/

В прошедший уикенд я читал лекции в CS-клубе при ПОМИ РАН по выводу типов в системе Хиндли-Милнера и компиляторе GHC (https://compsciclub.ru/courses/types/2019-spring/). Утром второго дня я получил от Amazon'а письмо, начинавшееся со слов «Hello Vitaly Bragilevsky,
Are you looking for something in our Computers & Technology Software Books department? If so, you might be interested in these items».

В теме письма при этом значилось «Types and Programming...», а в списке были настолько близкие к тематике курса книги, что я решил начать лекцию с зачитывания полученного списка. Честно говоря, я был удивлён качеством рекомендации. Разумеется, я все эти книги прекрасно знаю, но получить такую подборку от искусственного интеллекта было очень приятно. Чаще приходится месяцами наблюдать рекомендации относительно покупки чайника сразу после приобретения чайника, ведь всем известно, что люди всегда покупают по два чайника.

Один из слушателей попросил меня продублировать список здесь, что я с удовольствием и делаю.

1) Types and Programming Languages, Benjamin C. Pierce
Азбука нашего дела. Здорово, что есть (замечательный!) русский перевод (https://newstar.rinet.ru/~goga/tapl/), в котором мне в числе прочих выписана благодарность, которой я очень горжусь.

2) Purely Functional Data Structures, Chris Okasaki
Приятная книга, помогающая понять все сложности и интересности работы со структурами данных в чисто функциональном программировании. В книге примеры на ML, но есть приложение с реализациями на Haskell. Есть и русский перевод, я был его редактором: https://dmkpress.com/catalog/computer/programming/functional/978-5-97060-233-1/

3) Basic Category Theory for Computer Scientists, Benjamin C. Pierce
Как признаётся сам автор, ему захотелось изучить теорию категорий, поэтому он и написал эту книжку. Написана она почти 30 лет назад, Пирс тогда был совсем молодым. Книжка очень тонкая (всего 114 страниц), что очень приятно.

4) The Little Typer, Daniel P. Friedman, David Thrane Christiansen
Приятный (несколько игровой) способ изучить зависимые типы. Предисловие от Боба Харпера и послесловие от Коннора МакБрайда говорят сами за себя. Книжка новая, вышла в сентябре 2018 года.

5) Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman, Julie Sussman
Ну, тут всё ясно, классика. Есть русский перевод: https://newstar.rinet.ru/~goga/sicp/sicp.pdf. Кстати, у книг 1, 2, 5 есть один общий переводчик — замечательный Георгий Бронников, мы все должны быть ему благодарны.

6) Practical Foundations for Programming Languages, Robert Harper
Актуальная библия теории типов. Текст сложный: этой осенью я участвовал в семинаре, в рамках которого делались доклады по этой книге. Так вот студенты всячески пытались с неё свинтить, заменяя на более простые источники. Ну, действительно сложно.

7) The Art of Computer Programming, Volumes 1-4A, Donald E. Knuth
Тут искусственный интеллект немного лопухнулся, но книжка всё равно важная!

8) Type Theory and Formal Proof: An Introduction, Rob Nederpelt, Herman Geuvers
Неплохой современный учебник по теории типов (2014 год) от Cambridge University Press, достаточно высокий уровень, но написано относительно просто.

9) The Little Prover, Daniel P. Friedman, Carl Eastlund
Индуктивные доказательства во всей красе и снова в игровом стиле. Предисловие от Маттиаса Феллайзена, тоже не последний человек, зря рекомендовать книгу не будет.

Внезапно оказалось, что я смотрел только часть письма, а внизу была ссылка на полный список рекомендаций. В полном списке также нашлись Type-driven Development in Idris от Эдвина Брейди (тоже с благодарностью мне!), Compilers: Principles, Techniques, and Tools от Ахо, Лэм, Сети и Ульмана, и почему-то Рефакторинг от Мартина Фаулера. Перестарался искусственный интеллект всё-таки, зря хвалил.

Единственная неизвестная мне книга из всего списка: A Programmer's Introduction to Mathematics Paperback – November 27, 2018 by Dr. Jeremy Kun. Какая-то самопально изданная книжка от сотрудника Гугла, получившего PhD от Университета Иллинойса в Чикаго. Не буду проверять, что там такое, и вам не рекомендую.

Очень быстро появились видеозаписи моих лекций «Вывод типов от Хиндли — Милнера до GHC 8.8» 2–3 марта в CS-клубе при ПОМИ РАН: https://www.youtube.com/playlist?list=PLvPsfYrGz3wuVAGhNf6-i7uafXg56oqM5. Спасибо Лекториуму (https://www.youtube.com/user/OpenLektorium)! Информация по курсу (в том числе слайды): https://compsciclub.ru/courses/types/2019-spring/about/

31 января я написал о том, что ухожу из ЮФУ. Теперь появились новости о продолжении моей карьеры: я получил предложение присоединиться к JetBrains Research, где смогу плотно заниматься Хаскелем, а заодно продолжу преподавательскую деятельность. Это всё будет уже в Петербурге. Очень рад, что так получилось, огромное спасибо всем причастным!

Отличная вакансия для начинающих хаскелистов!

Full time
Junior Haskell Разработчик
г. Москва, 40-80 тыс. руб., опыт работы не требуется

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

Мы наращиваем объёмы разработки и тестирования совместно с модернизацией и развитием собственных инструментов по обработке и анализу данных. Тщательно определяя технологии и принципы, лежащие в основе инструментов создания высоконадёжных систем. Разработка большинства компонент предполагается на Haskell и практически с нуля.

Если вы амбициозны, готовы расти и развиваться вместе с нами — мы ждём Вас в нашей команде!

от Вас мы ожидаем:
- наличие высшего образования (оконченное или обучение на дипломном курсе)
- опыт разработки на Haskell (или ином типизированном функциональном языке) — не менее 1 года
- владение Linux на уровне пользователя
- базовое владение Git

это будет плюсом:
- достаточное знание чистого C для Haskell FFI с ним
- опыт работы с базами данных и системами хранения данных
- владение Linux (Arch, NixOS) на уровне администратора
- базовое понимание HTTP

начальные задачи:
- изучение предметной области данных, с которыми предстоит работать
- разработка библиотек и приложений обработки и анализа данных (результаты математического и имитационного моделирования, телеметрическая информация)

долгосрочные цели:
- разработка комплекса web-ориентированных сервисов
- разработка системы централизованного управления тестированием

условия:
- гибкий график
- возможность экспериментировать и искать оптимальные подходы, открытость к вашим идеям
- рабочие станции Fujitsu Celsius (12 cores 64 GiB / 20 cores 32 GiB)
- ЗП полностью "белая" и точно в срок приходит на ваш счёт
- в пешей доступности от станций метро Достоевская (7 мин.), Марьина Роща, Новослободская

резюме присылайте по адресу: [email protected]

А вот информация для тех, кто думает, куда поступать. Мне кажется, что сейчас это лучшее место в России, как по математике, так и по CS и программированию.

Во вторник, 14 мая, приглашаем абитуриентов и их родителей на день открытых дверей, посвящённый трём бакалаврским образовательным программам в Санкт-Петербургском государственном университете:
* Математика (math-cs.spbu.ru/bsc-math/)
* Математика, алгоритмы и анализ данных (math-cs.spbu.ru/bsc-m-a-ds/)
* Современное программирование (math-cs.spbu.ru/bsc-mse/)

На встрече преподаватели и организаторы, включая представителей компаний JetBrains и Яндекс, расскажут о преимуществах и особенностях поступления и обучения и ответят на все вопросы. В частности, мы осветим такие моменты, как:
* уровень абитуриентов, информацию по наборам прошлых лет
* отличия от аналогичных образовательных программ по математике и программированию в других вузах
* проектах от компаний-партнёров: ГазПромНефть, Яндекс, JetBrains
* успехи студентов в олимпиадах по математике и программированию
* логистику: места проведения занятий, общежития
* исследования в области математики, теоретической информатики, анализа данных
* стипендии от компаний-партнёров

Для тех, кто не сможет приехать, мы опубликуем слайды и список часто задаваемых вопросов и ответов на них по результатам мероприятия.

Если вы хотите принять участие в дне открытых дверей или хотите получать информацию о бакалаврских программах по имейлу, пожалуйста, зарегистрируйтесь: https://forms.gle/2qcMHkL6wkury88G7

Адрес: Санкт-Петербург, 14-я линия Васильевского острова, дом 29, ауд. 301
Время: 14 мая, вторник, 18:00
Для входа в здание понадобится паспорт — не забудьте его, пожалуйста. 

Напоминаю, что завтра можно посетить мехмат ЮФУ и послушать познавательное про подтипирование в языках программирования

Сделали трансляцию доклада о подтипировании. Подключайтесь!
https://www.twitch.tv/ulysses4ever?sr=a

Поговорил с Вадимом Челышовым о своей жизни и работе: https://habr.com/ru/company/provectus/blog/452246/. Пожалуй, самое полный и откровенный текст обо мне. Почитайте! Мне кажется, получилось интересно.

Активность в интернете приносит свои плоды. Выпросил себе премиум-подписку на приложение App in the Air, которым пользуюсь уже давно для хранения информации о перелётах (и генерации замечательных картинок с картами перелётов!). Заодно получил ссылку на пять бесплатных активаций (то есть на уведомления в приложении по пяти перелётам) для всех желающих: https://links.appintheair.mobi/haskell. Очень рекомендую попробовать. Приложение мобильное, поэтому вот вам заодно ссылка на мой недавний доклад на конференции мобильных разработчиков #AppsConf2019: https://www.youtube.com/watch?v=mmvHC3UgYmg, поговорил там про то, как функциональное программирование влияло и продолжает влиять на промышленные языки программирования (которые уже давно императивными и назвать-то нельзя!).

Начал, в общем, работать в JetBrains. Такие дела.

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

Сейчас все говорят про несправедливости вокруг 228 статьи. Это действительно так, она безусловно репрессивная. Только мне кажется дело Голунова все же в первую очередь о фабрикации дела. А сфабриковать дело по наркотикам просто. Но дела фабрикуются и по другим статьям с не менее дикими сроками. Посмотрите что грозит Юрию Дмитриеву. А сколько получат организаторы террористического сообщества по Пензенскому делу, которых дико пытали?

И второе. Все эти дни упыри писали: ой да вам есть только дело только до Голунова, он же ВАШ! О простых людях вы так не пишите, на простых людей вам наплевать! Вообще не думал, что какие-то тролли могут меня задеть. Но вот в данном случае, скажу честно, эти слова задевали. Потому что ты пять лет делаешь проект, где стараешься писать о простых людях, о фабрикации дел против них, о страшной судебной несправедливости. Я понимаю, что тролли. Но мне все равно неприятно и даже больно, ничего не могу с этим поделать

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

Кстати, кто-нибудь поступает (или знает кого-нибудь, кто поступает) на STEM (математика, computer science, engineering, etc etc) Ph.D. в США в этом году? При желании, могу помочь советом.

Яндекс опубликовал программу «большой технологической конференции», «главного события года для разработчиков». Предлагает обмениваться «экспертизой, мнениями, знаниями и, конечно, контактами». В программе из 16 докладчиков только одна женщина. Отличное такое формируется представление об отрасли от её лидера, ничего не скажешь. ИТ — занятие для настоящих мужчин, да, Яндекс? https://yandex.ru/promo/events/yatalks-moscow

Мой доклад на #SaintAppsConf2019 о выборе первого языка программирования: https://www.youtube.com/watch?v=OtcKHgkPiyk. Слайды для тех, кто хочет побыстрее: https://bit.ly/first-lang