Единственная неизвестная мне книга из всего списка: 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

Привет, это создатели письма айтишников против московского дела. Летом и осенью 2019 года мы стали свидетелями новой волны политических репрессий в России. И хотя машина репрессий немного замедлилась в начале осени, арестованные по политическим делам по прежнему находятся под стражей, продолжаются суды и задержания.

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

В России осталось не так много легальных способов участвовать в жизни общества, поэтому мы призываем вас принять участие в первом онлайн-хакатоне в поддержку политических заключённых!

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

Акция с моей книжкой на сайте Маннинга — отличный повод вспомнить про свой канал в телеграме. Если кому-то надо, то по коду dotd020220au дают скидку 50% на Haskell in Depth и заодно на великолепные Get Programming with Haskell и Type-driven development with Idris. https://www.manning.com/dotd