Во-первых, это просто хорошая визуализация данных.
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213
Quanta Magazine
The Map of Mathematics | Quanta Magazine
Explore our surprisingly simple, absurdly ambitious and necessarily incomplete guide to the boundless mathematical universe.
Forwarded from PONV Daily (Danila Matveev)
#scala #tf
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
YouTube
Tofu club. Что такое tagless final?
Что такое TF на самом деле? Когда он нужен, а когда нет?
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…
Forwarded from PONV Daily (Sergey Kucherenko)
123.pdf
175.2 KB
"It's Easy As 1, 2, 3" by Gharam Hutton.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Экспрессивный доклад о макросах в Scala 3 от автора Quill:
https://youtu.be/SmBpGkIsJIU
https://youtu.be/SmBpGkIsJIU
YouTube
Quill, Dotty, And The Awesome Power of 'Inline' by Alexander Ioffe
Scala 3 is arriving, and with it comes incredible new power for library authors. In this presentation, Alexander Ioffe, a contributor to Quill (a LINQ-like persistence layer for Scala), will show how using Scala 3 Macros, Quill is being rebuilt to be better…
dd if=/dev/stuff of=/dev/tg
Photo
Подписчик напомнил о прекрасной картинке, стоящей на поставленном на паузу @nohomofp. Надо бы оживить, кстати, — не только одними смехуёчками жить же надо 🙃
Продолжение цикла статей про функциональный TS:
https://habr.com/ru/post/544636
https://habr.com/ru/post/544636
Хабр
Функциональное программирование на TypeScript: Option и Either
Предыдущие статьи цикла: Полиморфизм родов высших порядков Паттерн «класс типов» В предыдущей статье мы рассмотрели понятие класса типов (type class) и бегло...
Forwarded from Denis Gabidullin
Выложили запись:
https://www.youtube.com/watch?v=_6HHhMftEAc
https://www.youtube.com/watch?v=_6HHhMftEAc
YouTube
Quantitative Type Theory: теория и применение [REUPLOAD]
📽 Слайды: https://github.com/buzden/slides-of-lectures/blob/master/2021.02.03-qtt.undef-space.pdf 📽
⌨️ Код со слайдов: https://github.com/buzden/code-for-lectures/tree/master/2021.02.03-to-qtt-lecture ⌨️
🌌 undefspace https://undef.club 🌌
QTT — это расширение…
⌨️ Код со слайдов: https://github.com/buzden/code-for-lectures/tree/master/2021.02.03-to-qtt-lecture ⌨️
🌌 undefspace https://undef.club 🌌
QTT — это расширение…
Обеими руками за. Компьютеры и их дьявольская наука были ошибкой.
https://twitter.com/strife212/status/1365756219923853314?s=21
https://twitter.com/strife212/status/1365756219923853314?s=21
Twitter
Strife
STOP DOING COMPUTER SCIENCE
https://twitter.com/YuriyBogomolov/status/1366615473475969025 Кому надо 20% скидка на джетбрейнсовские продукты, пишите в личку/комменты/твиттер/почту/мелом на заборе.
Twitter
Yuriy Bogomolov
I've got a 20% off for an All-Product Pack from @JetBrains for attending amazing @scala_love conference. I already have a DataGrip subnoscription for myself, so I want to give away this coupon till today's EOD. Please DM me and answer: which Scala 3 features…
Открыточка для @ebanatics: композиция по понятиям, ёпта. Ну и отделение продолжений/continuations от монад это тоже хорошо, да.
Еще один отличный доклад от Александра Иоффе о рефлексии, макросах, механизме наследования тайпклассов и производительности всего этого добра в Scala 3:
https://youtu.be/E9L1-rkYPng
https://youtu.be/E9L1-rkYPng
YouTube
Generic Derivation is the New Reflection by Alexander Ioffe
Subject: Generic Derivation is the New Reflection
Abstract: Using Scala 3 TypeClass derivation is a great way to write performant Json Encoders but that is only the beginning of the story. If we look deeper into Dotty Mirrors and inline, we discover an incredibly…
Abstract: Using Scala 3 TypeClass derivation is a great way to write performant Json Encoders but that is only the beginning of the story. If we look deeper into Dotty Mirrors and inline, we discover an incredibly…
Как человек, выросший в семье лингвистов, я испытал острую боль, спасибо большое:
https://twitter.com/bengrue/status/1366920752721657861
https://twitter.com/bengrue/status/1366920752721657861
Forwarded from Lil Functor
Сайт Мартина Фаулера — это кладезь энциклопедических знаний по разработке ПО. Помимо вещей, касающихся непосредственно программирования, у него формализованы подходы к IT «с высоты»: структура организаций, паттерны распределённых систем, процессы.
Continuous Delivery и Continuous Integration — короткие и понятные определения CI/CD, ключевые критерии, построение процессов;
Data Mesh Principles and Logical Architecture — управление большими аналитическими данными в децентрализованных организациях;
DevOpsCulture — просто нормальное определение DevOps;
Patterns of Distributed Systems — сборник паттернов вокруг консенсуса узлов распределённой системы;
How to break a Monolith into Microservices и How to extract a data-rich service from a monolith — пошаговые инструкции по выделению микросервисов из монолита.
Continuous Delivery и Continuous Integration — короткие и понятные определения CI/CD, ключевые критерии, построение процессов;
Data Mesh Principles and Logical Architecture — управление большими аналитическими данными в децентрализованных организациях;
DevOpsCulture — просто нормальное определение DevOps;
Patterns of Distributed Systems — сборник паттернов вокруг консенсуса узлов распределённой системы;
How to break a Monolith into Microservices и How to extract a data-rich service from a monolith — пошаговые инструкции по выделению микросервисов из монолита.
Forwarded from Computer Science клуб (Alexander Smal)
В следующий четверг 11 марта начнётся курс Антона Трунова (Zilliqa Research) "Введение в формальную верификацию программ".
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/
Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/
Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.