Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.
Forwarded from PONV Daily (Anton Trunov)
https://www.pls-lab.org — вики теории языков программирования, отчасти похожая по стилю на nLab
Forwarded from Lil Functor
Sam Halliday интересно рассказал о потенциальных уязвимостях в библиотеках для парсинга JSON. А ещё о том, как боролся с ними в своей библиотеке
Красивая фраза в описании доклада: «Scala has more JSON libraries than Go has language features!»
https://youtu.be/3Cz6D8JLSSA
Красивая фраза в описании доклада: «Scala has more JSON libraries than Go has language features!»
https://youtu.be/3Cz6D8JLSSA
В следующий четверг, 4 февраля, Дэвид Спивак будет рассказывать про практические аспекты категории полиномиальных функторов одной переменной Poly:
https://topos.site/seminars
https://topos.site/seminars
Во-первых, это просто хорошая визуализация данных.
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
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