Саймон Пейтон Джонс, Саймон Марлоу и Сатнам Сингх получили престижную награду Most Influential ICFP Paper за статью 2009 года Runtime Support for Multicore Haskell. Эта награда присуждается за работы, которые оказали существенное влияние на индустрию за последние 10 лет.
#музыкальная_пауза
Напоминаю про величайший альбом этого десятилетия, да.
https://www.youtube.com/watch?v=-4e5Jw9T5Zk
Напоминаю про величайший альбом этого десятилетия, да.
https://www.youtube.com/watch?v=-4e5Jw9T5Zk
YouTube
Vektor - Charging the Void (Official Audio)
Get the album 'Terminal Redux' now:
CD/Vinyl (USA) - http://uswebstore.earache.com/vektor
CD/Vinyl (Europe) - http://webstore.earache.com/vektor
Spotify: https://spoti.fi/2O5gXHT
Apple: https://apple.co/2JbNr4t
Deezer: https://bit.ly/2FceCIg
#vektor #terminalredux…
CD/Vinyl (USA) - http://uswebstore.earache.com/vektor
CD/Vinyl (Europe) - http://webstore.earache.com/vektor
Spotify: https://spoti.fi/2O5gXHT
Apple: https://apple.co/2JbNr4t
Deezer: https://bit.ly/2FceCIg
#vektor #terminalredux…
Доклад о написании драйвера для сетевой платы на 10 языках — от C и Rust до Haskell, Swift и JavaScript:
https://media.ccc.de/v/35c3-9670-safe_and_secure_drivers_in_high-level_languages
И репозиторий с бенчмарками и ссылками на реализации:
https://github.com/ixy-languages/ixy-languages
https://media.ccc.de/v/35c3-9670-safe_and_secure_drivers_in_high-level_languages
И репозиторий с бенчмарками и ссылками на реализации:
https://github.com/ixy-languages/ixy-languages
media.ccc.de
Safe and Secure Drivers in High-Level Languages
Drivers are usually written in C for historical reasons, this can be bad if you want your driver to be safe and secure. We show that it i...
Поговорил сегодня на #ITSubbotnik про тайплевел-программирование на TypeScript (насколько оно вообще возможно на этом языке).
Слайды и примеры из доклада доступны тут: https://github.com/YBogomolov/talk-typelevel-ts.
Запись будет позже.
Слайды и примеры из доклада доступны тут: https://github.com/YBogomolov/talk-typelevel-ts.
Запись будет позже.
GitHub
GitHub - YBogomolov/talk-typelevel-ts: Code samples for my talk “Type-level programming in TypeScript”
Code samples for my talk “Type-level programming in TypeScript” - YBogomolov/talk-typelevel-ts
Блиц-опрос! Сегодня должен быть стрим «ФП для чайника», но по техническим причинам мы с Гришей собраться не можем, так что я планирую сделать небольшой одиночный выпуск.
Голосуйте за темы:
Голосуйте за темы:
На какую тему провести стрим?
anonymous poll
Функциональная оптика (monocle-ts) – 66
👍👍👍👍👍👍👍 57%
Схемы рекурсии (recursion-schemes-ts) – 31
👍👍👍 27%
Ask Me Anything – 13
👍 11%
Демо библиотеки kleisli-ts – 5
👍 4%
👥 115 people voted so far. Poll closed.
anonymous poll
Функциональная оптика (monocle-ts) – 66
👍👍👍👍👍👍👍 57%
Схемы рекурсии (recursion-schemes-ts) – 31
👍👍👍 27%
Ask Me Anything – 13
👍 11%
Демо библиотеки kleisli-ts – 5
👍 4%
👥 115 people voted so far. Poll closed.
#музыкальная_пауза
Я тут давеча узнал, что Нергал (да-да, тот самый, из Behemoth) в 2017 году сделал сайд-проект, в котором он исполняет дарк блюз! И это звучит и выглядит просто невероятно круто.
https://www.youtube.com/watch?v=gPsvPve7nNU
Я тут давеча узнал, что Нергал (да-да, тот самый, из Behemoth) в 2017 году сделал сайд-проект, в котором он исполняет дарк блюз! И это звучит и выглядит просто невероятно круто.
https://www.youtube.com/watch?v=gPsvPve7nNU
Интересная инициатива: альманах, отражающий состояние веба в разрезе года. За этим проектом стоят ребята из HTTP Archive, так что есть надежда на поддержку проекта в течении длительного срока.
https://almanac.httparchive.org/en/2019/
https://almanac.httparchive.org/en/2019/
almanac.httparchive.org
The 2019 Web Almanac
The Web Almanac is an annual state of the web report combining the expertise of the web community with the data and trends of the HTTP Archive.
Лекции по прикладной теории категорий в MIT от Дэвида Спивака и Брендана Фонга:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.
(да, вы подписались на кринжовый юмор, среди прочего. Не одними же гомотопиями заниматься и CSS-шкурки натягивать)
Приходите послушать про то, как мы катаморфизмы с анаморфизмами применяли. Математика — это красиво.
Forwarded from MoscowJS
Следующий доклад на MoscowJS 46 расскажет Юрий Богомолов (EPAM)
Схемы рекурсии, или как мы решали задачу управления фронтом с бэка
"В своём расскажу о том, как я и моя команда подходила к решению задачи, поставленной заказчиком — отображению динамических данных с непредсказуемыми взаимосвязями компонентов, получаемых с бэкенда. Для решения этой задачи были применены так называемые «схемы рекурсии» — высоко абстрактные алгоритмы, освоение которых стало испытанием для команды. Сделаю небольшое введение в эту тему и расскажу, как высшая алгебра позволила достаточно просто решить поставленную задачу, попутно получив некоторые весомые преимущества."
Следующая встреча MoscowJS пройдёт в офисе Tinkoff 5 декабря.
Ждем всех на MoscowJS 46.
Регистрация открыта по ссылке
А также следите за нашими новыми анонсами в
telegram, twitter, facebook, instagram, добавляйте в календарь с timepad.
#moscowjs46
Следующая волна регистрации откроется с новым анонсом. Следите за анонсами.
Схемы рекурсии, или как мы решали задачу управления фронтом с бэка
"В своём расскажу о том, как я и моя команда подходила к решению задачи, поставленной заказчиком — отображению динамических данных с непредсказуемыми взаимосвязями компонентов, получаемых с бэкенда. Для решения этой задачи были применены так называемые «схемы рекурсии» — высоко абстрактные алгоритмы, освоение которых стало испытанием для команды. Сделаю небольшое введение в эту тему и расскажу, как высшая алгебра позволила достаточно просто решить поставленную задачу, попутно получив некоторые весомые преимущества."
Следующая встреча MoscowJS пройдёт в офисе Tinkoff 5 декабря.
Ждем всех на MoscowJS 46.
Регистрация открыта по ссылке
А также следите за нашими новыми анонсами в
telegram, twitter, facebook, instagram, добавляйте в календарь с timepad.
#moscowjs46
Следующая волна регистрации откроется с новым анонсом. Следите за анонсами.
Кодзима в игре дал ответ на вопрос «а как какать».
Press ╳ to какать.
Гений.
Press ╳ to какать.
Гений.