bravit-about

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

Привет, это создатели письма айтишников против московского дела. Летом и осенью 2019 года мы стали свидетелями новой волны политических репрессий в России. И хотя машина репрессий немного замедлилась в начале осени, арестованные по политическим делам по прежнему находятся под стражей, продолжаются суды и задержания. Мы против того, чтобы люди подвергались репрессиям за свои убеждения, и мы хотим помочь политзаключённым. Если вы с нами согласны, то наверняка уже думали о том, как можете помочь оказавшимся в беде. В России осталось не так много легальных способов участвовать в жизни общества, поэтому мы призываем вас принять участие в первом онлайн-хакатоне в поддержку политических заключённых! Помогут любые проекты, которые покажут, что вам не все равно: обработка данных, бот в телеграме, дизайн сайта — все, что угодно. От шуточной игры в браузере до серьезных и помогающих конкретным организациям.

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

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

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

Сегодня очень важный день, я, конечно, радуюсь со всеми. И у меня всего два тезиса. Сейчас все говорят про несправедливости вокруг 228 статьи. Это действительно так, она безусловно репрессивная. Только мне кажется дело Голунова все же в первую очередь о фабрикации дела. А сфабриковать дело по наркотикам просто. Но дела фабрикуются и по другим статьям с не менее дикими сроками. Посмотрите что грозит Юрию Дмитриеву. А сколько получат организаторы террористического сообщества по Пензенскому делу, которых дико пытали? И второе. Все эти дни упыри писали: ой да вам есть только дело только до Голунова, он же ВАШ! О простых людях вы так не пишите, на простых людей вам наплевать! Вообще не думал, что какие-то тролли могут меня задеть. Но вот в данном случае, скажу честно, эти слова задевали. Потому что ты пять лет делаешь проект, где стараешься писать о простых людях, о фабрикации дел против них, о страшной судебной несправедливости. Я понимаю, что тролли. Но мне все равно неприятно и даже больно, ничего не могу с этим поделать И большое спасибо за поддержку Медиазоны, у нас за последние дни прибавилось 100 регулярных подписчиков. Надеюсь, что мы все не зря: https://donate.zona.media/?utm_source=smirnov&utm_campaign=first&utm_medium=telegram

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

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

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

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

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

Во вторник, 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 Для входа в здание понадобится паспорт — не забудьте его, пожалуйста. 

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

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 мин.), Марьина Роща, Новослободская резюме присылайте по адресу: alexoundos@ya.ru

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

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

Очень быстро появились видеозаписи моих лекций «Вывод типов от Хиндли — Милнера до 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/