По просьбе администраторов программы Фулбрайта в России написал небольшой отчёт и решил, что вполне можно выложить его и здесь. Публикую заодно и свои слайды с заключительного семинара в Нью-Йорке (их можно смотреть параллельно тексту, потому что именно так я его и писал!): https://bit.ly/bravit-fulbright. Особенно сильно это всё должно смотреться после вчерашнего заявления. Пожалуй, некоторая связь действительно есть!
==================
Мне кажется, что я ещё долго буду осознавать результаты и подводить итоги моего пятимесячного пребывания в США по Программе Фулбрайта. Я был распределён в Университет Орегона, который расположен в небольшом городке Юджин (Eugene, ударение на второй слог!), однако США не ограничились для меня только этим городком. За это время я успел побывать в Портленде, Сан-Франциско, Сиэтле, Солт-Лейк-Сити, Лос-Анджелесе, Лас-Вегасе, Бостоне и Нью-Йорке, а также посетил Йеллоустоунский национальный парк и насладился потрясающими видами Большого Каньона. Удивительно, насколько удобно путешествовать по Штатам, ведь все эти поездки легко уложились в праздничные и выходные дни.
Я считаю чрезвычайно важным и то, что мне удалось стать частью семьи в доме, где я снимал комнату: я участвовал в традиционной забаве вырезания по тыкве и рождественской раздаче подарков, обсуждал массу интереснейших вопросов от еды до политики, от истории до общественных отношений. Я открыл для себя потрясающее разнообразие кухонь (что касается еды, то в США очень легко найти вообще всё). Я купался в культуре коротких разговоров (small talks), общаясь с водителями и кассирами, студентами и преподавателями, просто случайными людьми на улицах. Наконец, я впервые услышал и постарался запомнить неимоверное количество английских слов и выражений.
Разумеется, самой важной составляющей моего пребывания в США было профессиональное развитие: как работает американский университет, как разрабатываются учебные планы, как набираются студенты, как профессора готовят курсы, как читаются лекции, как ведутся лабораторные и практические занятия — моё любопытство во всех этих вопросах удовлетворялось практически ежедневно. Мой научный руководитель — профессор Зена Ариола — была постоянно на связи, рекомендуя мне людей и курсы, которые могли бы быть мне полезны. Я занимался разработкой курса по теории языков программирования (интересно, что мои первоначальные цели и планы существенно изменились под влиянием курсов, читаемых в Университете Орегона). Ещё находясь в США, я подал заявку на чтение курса в рамках Летней школы по информатике, которая будет проходить в конце июня 2019 года в Новосибирске — заявка оказалась успешной и именно там мои наработки по программе Фулбрайта будут впервые представлены слушателям Школы.
Ещё одним очень важным результатом Программы Фулбрайта — результатом вводного и заключительного семинаров в Нью-Йорке — оказалось то, что я научился писать силлабусы курсов. Силлабус, в отличие от разного рода рабочих программ дисциплин, которые так любят у нас в России, — это документ, чрезвычайно полезный как преподавателю, так и студентам. Это действительно рабочий документ, который содержит только самую необходимую информацию, он помогает планировать и реализовывать курс, он отвечает на существенные вопросы и позволяет быстро понять, что этот курс собой представляет. К сожалению, нашей системе образования пока очень далеко до понимания важности такого рода описаний курсов, мы стремимся к чему-то совсем другому.
Я очень благодарен Программе Фулбрайта и всем её сотрудникам в России и США. Пожалуй, её влияние на мою жизнь мало с чем сравнимо, и мне ещё предстоит его оценить.
==================
==================
Мне кажется, что я ещё долго буду осознавать результаты и подводить итоги моего пятимесячного пребывания в США по Программе Фулбрайта. Я был распределён в Университет Орегона, который расположен в небольшом городке Юджин (Eugene, ударение на второй слог!), однако США не ограничились для меня только этим городком. За это время я успел побывать в Портленде, Сан-Франциско, Сиэтле, Солт-Лейк-Сити, Лос-Анджелесе, Лас-Вегасе, Бостоне и Нью-Йорке, а также посетил Йеллоустоунский национальный парк и насладился потрясающими видами Большого Каньона. Удивительно, насколько удобно путешествовать по Штатам, ведь все эти поездки легко уложились в праздничные и выходные дни.
Я считаю чрезвычайно важным и то, что мне удалось стать частью семьи в доме, где я снимал комнату: я участвовал в традиционной забаве вырезания по тыкве и рождественской раздаче подарков, обсуждал массу интереснейших вопросов от еды до политики, от истории до общественных отношений. Я открыл для себя потрясающее разнообразие кухонь (что касается еды, то в США очень легко найти вообще всё). Я купался в культуре коротких разговоров (small talks), общаясь с водителями и кассирами, студентами и преподавателями, просто случайными людьми на улицах. Наконец, я впервые услышал и постарался запомнить неимоверное количество английских слов и выражений.
Разумеется, самой важной составляющей моего пребывания в США было профессиональное развитие: как работает американский университет, как разрабатываются учебные планы, как набираются студенты, как профессора готовят курсы, как читаются лекции, как ведутся лабораторные и практические занятия — моё любопытство во всех этих вопросах удовлетворялось практически ежедневно. Мой научный руководитель — профессор Зена Ариола — была постоянно на связи, рекомендуя мне людей и курсы, которые могли бы быть мне полезны. Я занимался разработкой курса по теории языков программирования (интересно, что мои первоначальные цели и планы существенно изменились под влиянием курсов, читаемых в Университете Орегона). Ещё находясь в США, я подал заявку на чтение курса в рамках Летней школы по информатике, которая будет проходить в конце июня 2019 года в Новосибирске — заявка оказалась успешной и именно там мои наработки по программе Фулбрайта будут впервые представлены слушателям Школы.
Ещё одним очень важным результатом Программы Фулбрайта — результатом вводного и заключительного семинаров в Нью-Йорке — оказалось то, что я научился писать силлабусы курсов. Силлабус, в отличие от разного рода рабочих программ дисциплин, которые так любят у нас в России, — это документ, чрезвычайно полезный как преподавателю, так и студентам. Это действительно рабочий документ, который содержит только самую необходимую информацию, он помогает планировать и реализовывать курс, он отвечает на существенные вопросы и позволяет быстро понять, что этот курс собой представляет. К сожалению, нашей системе образования пока очень далеко до понимания важности такого рода описаний курсов, мы стремимся к чему-то совсем другому.
Я очень благодарен Программе Фулбрайта и всем её сотрудникам в России и США. Пожалуй, её влияние на мою жизнь мало с чем сравнимо, и мне ещё предстоит его оценить.
==================
Уже в третий раз еду читать курс в Computer Science клубе при ПОМИ РАН, очень уж мне там нравится. В этот раз 2-3 марта буду рассказывать про вывод типов вообще и в компиляторе GHC в частности: https://bit.ly/spb-type-inference.
👏1
Forwarded from Как стать учёным, если ты дно
Приближение лета особенно ярко чувствуется с приближением дедлайнов для подачи на разные летние школы. Вот здесь большой список школ в разных областях Computer Science: https://goo.gl/dG12d4
Среди них есть две классные школы в России с кучей селебрити:
• Russian Workshop on Complexity and Model Theory (https://mipt.ru/education/chairs/dm/conferences/workshop-june-9-11-moscow-2019.php)
• Computer Science Summer in Russia (CSSR) (https://cssr.nsu.ru/school/)
Ещё очень рекомендую эту школу в Швеции:
• Swedish Summer School in Computer Science (S3CS)(https://s3cs.eecs.kth.se/).
Я ездила на S3CS пару лет назад и осталась очень довольной: есть гранты, организация отличная, лекторы супер-топовые. Ну и лекции проходят в загородном спа-отеле с басиком, сауной, бесплатным питанием. Если вы терзаете себя вопросом: «Да что хорошего в карьере учёного?!», то в Швеции недельку вы себя терзать не будете.
Среди них есть две классные школы в России с кучей селебрити:
• Russian Workshop on Complexity and Model Theory (https://mipt.ru/education/chairs/dm/conferences/workshop-june-9-11-moscow-2019.php)
• Computer Science Summer in Russia (CSSR) (https://cssr.nsu.ru/school/)
Ещё очень рекомендую эту школу в Швеции:
• Swedish Summer School in Computer Science (S3CS)(https://s3cs.eecs.kth.se/).
Я ездила на S3CS пару лет назад и осталась очень довольной: есть гранты, организация отличная, лекторы супер-топовые. Ну и лекции проходят в загородном спа-отеле с басиком, сауной, бесплатным питанием. Если вы терзаете себя вопросом: «Да что хорошего в карьере учёного?!», то в Швеции недельку вы себя терзать не будете.
Thiago Serra
Summer 2019 schools on data analytics, discrete math, machine learning, networks, optimization, and other relevant topics in operations…
This post covers relevant schools happening between April and September of 2019. If you know of other schools that are not listed here, please reach out to me. Like in previous semesters, I will ke…
Forwarded from Computer Science клуб (Ivan Bliznets)
Есть пара новостей. Во-первых, 2 марта откроется новый семестр в Computer Science клубе! Выбирайте, пожалуйста, интересные вам курсы и приходите. И знакомых приводите. Вход в клуб по-прежнему открыт для всех желающих (регистрация не требуется)!
Сайт клуба compsciclub.ru
Во-вторых уже доступно видео лекции "Машинное обучение в Яндексе", которая прошла 16 февраля. https://compsciclub.ru/courses/csseminar/2019-spring/classes/4474/
Сайт клуба 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 от Ахо, Лэм, Сети и Ульмана, и почему-то Рефакторинг от Мартина Фаулера. Перестарался искусственный интеллект всё-таки, зря хвалил.
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/
YouTube
Вывод типов от Хиндли — Милнера до GHC 8.8
Share your videos with friends, family, and the world
31 января я написал о том, что ухожу из ЮФУ. Теперь появились новости о продолжении моей карьеры: я получил предложение присоединиться к JetBrains Research, где смогу плотно заниматься Хаскелем, а заодно продолжу преподавательскую деятельность. Это всё будет уже в Петербурге. Очень рад, что так получилось, огромное спасибо всем причастным!
Forwarded from Haskell Jobs
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]
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 и программированию.
Forwarded from Computer Science Center
Во вторник, 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
Для входа в здание понадобится паспорт — не забудьте его, пожалуйста.
* Математика (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
Для входа в здание понадобится паспорт — не забудьте его, пожалуйста.
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Напоминаю, что завтра можно посетить мехмат ЮФУ и послушать познавательное про подтипирование в языках программирования
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Twitter
Виталий Брагилевский
Ревнивый до чужого юмора Брагилевский зарубил отличное авторское название доклада «Семантическое подтипирование не для снобов или типовые теги спешат на помощь» от @julbinb, но вы всё равно приходите! Среда, 15 мая, 15:50, а. 311 ростовского мехмата! #mmcs…
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Сделали трансляцию доклада о подтипировании. Подключайтесь!
https://www.twitch.tv/ulysses4ever?sr=a
https://www.twitch.tv/ulysses4ever?sr=a
Twitch
ulysses4ever - Twitch
MSc in CS/AM
Поговорил с Вадимом Челышовым о своей жизни и работе: https://habr.com/ru/company/provectus/blog/452246/. Пожалуй, самое полный и откровенный текст обо мне. Почитайте! Мне кажется, получилось интересно.
Хабр
Интервью с Виталием Брагилевским: «Мир, в котором все будут программировать на Haskell — это вряд ли хороший мир»
Виталий Брагилевский ( @_bravit ) пока что еще преподает в ЮФУ курсы по Haskell и теории алгоритмов. Также, дает выездные курсы в других городах, является редактором и переводчиком множества книг о...
Активность в интернете приносит свои плоды. Выпросил себе премиум-подписку на приложение App in the Air, которым пользуюсь уже давно для хранения информации о перелётах (и генерации замечательных картинок с картами перелётов!). Заодно получил ссылку на пять бесплатных активаций (то есть на уведомления в приложении по пяти перелётам) для всех желающих: https://links.appintheair.mobi/haskell. Очень рекомендую попробовать. Приложение мобильное, поэтому вот вам заодно ссылка на мой недавний доклад на конференции мобильных разработчиков #AppsConf2019: https://www.youtube.com/watch?v=mmvHC3UgYmg, поговорил там про то, как функциональное программирование влияло и продолжает влиять на промышленные языки программирования (которые уже давно императивными и назвать-то нельзя!).