Лекции по прикладной теории категорий в 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 какать.
Гений.
https://grin-compiler.github.io — бекэнд для компиляторов ленывых и энергичных функциональных языков программирования. Благодаря тому, что понимает семантику компилируемого языка, он может делать микрооптимизации, специфичные для этого конкретного языка (см. примеры: https://github.com/grin-compiler/grin#optimising-transformations). По-моему, выглядит достаточно многообещающе.
GRIN Compiler
Overview
whole program optimizer for lazy and strict functional languages
https://twitter.com/mortalezz/status/1196840867455229954 АААААААААА! (тред)
Twitter
Florida Man
Этот баг про то как покемоны уничтожали популярнейшие стриминговые коробочки Roku войдёт в историю как самый удивительный, невероятный баг в истории видеоигр и потребительской электроники вообще. Суть: поступают жалобы что при работе в одной сети Свитча
Через 5 минут начинаем традиционный ежедвухнедельный подкаст об основах ФП!
Ссылка на трансляцию: https://youtu.be/HLR8dAvW_Zk
Ссылка на трансляцию: https://youtu.be/HLR8dAvW_Zk
YouTube
ФП для чайника: эпизод 4. Конфиги без any
Четвертый эпизод подкаста о функциональном программировании.
Код к эпизоду: https://github.com/YBogomolov/fp-teapot
Код к эпизоду: https://github.com/YBogomolov/fp-teapot
Обсудили вчерашний стрим и вот что хочу вам сказать:
1. Менять запланированную тему на другую прямо перед стримом — так себе идея, даже если эта тема интересная. Договорились с Гришей, что делать так больше не будем. Хотя бы из уважения к вам, зрителям. Спасибо всем, кто смотрел и поддержал нас, вне зависимости от торможений и чтения доков. Это очень приятно и многое значит лично для меня. ❤️
2. Поскольку не доделали задачу, договорились не ждать две недели, а следующий стрим провести в ближайшую среду, чтобы доделать до конца. Приходите, ждём вас около половины восьмого вечера, как обычно.
Stay tuned!
1. Менять запланированную тему на другую прямо перед стримом — так себе идея, даже если эта тема интересная. Договорились с Гришей, что делать так больше не будем. Хотя бы из уважения к вам, зрителям. Спасибо всем, кто смотрел и поддержал нас, вне зависимости от торможений и чтения доков. Это очень приятно и многое значит лично для меня. ❤️
2. Поскольку не доделали задачу, договорились не ждать две недели, а следующий стрим провести в ближайшую среду, чтобы доделать до конца. Приходите, ждём вас около половины восьмого вечера, как обычно.
Stay tuned!
https://www.snoyman.com/blog/2019/11/boring-haskell-manifesto Снойберг набросил. Шах и мат, аметисты академики.
Michael Snoyman's homepage
Boring Haskell Manifesto
Haskell is revolutionary. But we're ignoring that. Instead: how to get Haskell into your organization, and how to make your organization more productive and profitable with better engineering
https://tech.fpcomplete.com/rust/pid1 — Майкл Снойман описывает реализацию https://github.com/fpco/pid1 на расте и сравнивает его с хаскелем.
GitHub
GitHub - fpco/pid1: Do signal handling and orphan reaping for Unix PID1 init processes
Do signal handling and orphan reaping for Unix PID1 init processes - fpco/pid1
Приходите через 15 минут на стрим подкаста «ФП для чайника»:
https://youtu.be/xRGgR0NVU1c
https://youtu.be/xRGgR0NVU1c
YouTube
ФП для чайника: эпизод 5. Разбор полётов
Пятый эпизод подкаста о функциональном программировании.
Код к эпизоду: https://github.com/YBogomolov/fp-teapot
Код к эпизоду: https://github.com/YBogomolov/fp-teapot