Хочу поделиться небольшой подборкой видео, которые регулярно напоминают мне, в чём красота математики и зачем я вообще этим всем занимаюсь:
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.
Forwarded from PONV Daily (Sergey Kucherenko)
#effects #tagless_final
"Effects Without Monads: Non-determinism. Back to the Meta Language", Oleg Kiselyov
http://okmij.org/ftp/tagless-final/nondet-effect.html
"Effects Without Monads: Non-determinism. Back to the Meta Language", Oleg Kiselyov
http://okmij.org/ftp/tagless-final/nondet-effect.html
www.okmij.org
Effects Without Monads: Non-determinism
An illustration of the tagless-final style to define an embedded, non-monadic, non-deterministic DSL. The demonstration of several implementations, including abstract interpretation and code generation.
Двенадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1145705040327467011
Сегодня кратко поговорим о примитиве для асинхронных отложенных вычислений под названием Future.
Сегодня кратко поговорим о примитиве для асинхронных отложенных вычислений под названием Future.
Twitter
Yuriy Bogomolov
Welcome to twelfth episode of #monadicmonday! Today I want to talk about a Future – a concept of asynchronous lazy task, which is a far better replacement for an eager Promise.
Forwarded from Oleg ℕižnik
28 сентября в Москве мы проведем первую крупномасштабную встречу Scala Russia.
Специальный гость — John De Goes. Джон выступит с докладом и проведет воркшоп.
Нас ждет:
🔹 2 потока,
🔹 7 докладов,
🔹 2 воркшопа.
Комфортная атмосфера нетворкинга. Еда. Бомбическое афтерпати
Участие — бесплатное.
Регистрация откроется чуть позже.
Открываем прием заявок на доклады.
Программный комитет: @odomontois, @oli_kitty, @eld0727, @fomkin, @nikitamelnikov (пополняется...)
Идеи докладов смело кидайте в личку @eld0727.
Следите за обновлениями!
Специальный гость — John De Goes. Джон выступит с докладом и проведет воркшоп.
Нас ждет:
🔹 2 потока,
🔹 7 докладов,
🔹 2 воркшопа.
Комфортная атмосфера нетворкинга. Еда. Бомбическое афтерпати
Участие — бесплатное.
Регистрация откроется чуть позже.
Открываем прием заявок на доклады.
Программный комитет: @odomontois, @oli_kitty, @eld0727, @fomkin, @nikitamelnikov (пополняется...)
Идеи докладов смело кидайте в личку @eld0727.
Следите за обновлениями!
Компиляция #monadicmonday за июнь на площадке dev.to:
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h
Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h
Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.
DEV Community
#MonadicMonday compilation: June
Recently I started a small activity in Twitter called #monadicmonday – each Monday I post a thread ab...
Тринадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1148153780443189248
Сегодня я рассказываю о крутейшей библиотеке для property-based тестирования — fast-check.
Сегодня я рассказываю о крутейшей библиотеке для property-based тестирования — fast-check.
Twitter
Yuriy Bogomolov
Welcome to thirteenth episode of #monadicmonday! Today we'll talk a bit about property-based testing using the awesome library `fast-check`.
The Implementation of Functional Programming Languages - Microsoft Research
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
Microsoft Research
The Implementation of Functional Programming Languages - Microsoft Research
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate…
#музыкальная_пауза
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
YouTube
DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall)
DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall). Taken from the DVD "Devin Townsend Presents: Ziltoid Live at the Royal Albert Hall). Inside Out Music 2015.
Четырнадцатый, и последний, эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1150654389092311040
Всего хорошего, и спасибо за рыбу!
Всего хорошего, и спасибо за рыбу!
Twitter
Yuriy Bogomolov
Welcome to fourteenth episode of #monadicmonday! Today's episode will be very short, as I decided to finish the series for now.