Любопытные новости: Formality теперь реализована на самой себе, т.е. язык стал самодостаточным!
https://github.com/moonad/Formality/blob/master/blog/0-goodbye-javanoscript.md
https://github.com/moonad/Formality/blob/master/blog/0-goodbye-javanoscript.md
Алсо, если у кого возникли вопросы, почему в канале стало меньше контента как по ФП, так и в целом — админ лечит жестокую депру, жрет колёса горстями и пытается просто как-то функционировать, так что если нужен хороший ФП- и PL-контент, то подпишитесь на PONV Daily и Lil Functor, у них преступно мало подписчиков.
Telegram
PONV Daily
Best crap from the dumpster
Прекрасная статья в журнале Quanta о том, что пингвины кучкуютя по законам организованного хаоса, с не менее прекрасной цитатой оттуда:
— “We tried to think of a better way [penguins could huddle], but it always involved an omniscient being who would tell them where to go,” Blanchette said.
Пингвинье божество, указывающий им, как лучше сбиваться в кучу. Мозг начинает рисовать много разных картин.
https://www.quantamagazine.org/math-of-the-penguins-20200817
— “We tried to think of a better way [penguins could huddle], but it always involved an omniscient being who would tell them where to go,” Blanchette said.
Пингвинье божество, указывающий им, как лучше сбиваться в кучу. Мозг начинает рисовать много разных картин.
https://www.quantamagazine.org/math-of-the-penguins-20200817
Quanta Magazine
Math of the Penguins
Emperor penguins display rigorously geometric spacing and mathematical efficiency when they huddle together for warmth, which may reveal secrets to their overall health.
На канале HoTT-Lectures абсолютно внезапно через 5 лет после последнего ролика появилась серия лекций по HoTT. Начало здесь.
YouTube
Семинар по HoTT. Введение
Семинар по гомотопической теории типов. Вводная лекция.
dd if=/dev/stuff of=/dev/tg
#фп_на_ts Написал немного букв на Хабр: https://habr.com/ru/post/526024 Попробовал объяснить эмуляцию полиморфизма родов высших порядков на тайпскрипте с помощью техники дефункционализации, которая применяется в fp-ts. В последние месяцы я понемногу начал…
Хабр
Функциональное программирование на TypeScript: паттерн «класс типов»
Предыдущие статьи цикла: Полиморфизм родов высших порядков В предыдущей статье я рассказал, как можно в TypeScript эмулировать полиморфизм родов высшего поряд...
Izumi круто. Чтобы и дальше так было, можно купить парням чашечку кофе: https://www.buymeacoffee.com/7mind
Buy Me a Coffee
7mind
We make nice stuff for Scala, like:A powerful Module System with a Solver and Garbage Collection (or you may call it a Dependency Injection Mechanism),Zero-effort Structured Logging framework,etc, etc
Forwarded from PONV Daily (Danila Matveev)
YouTube
Izumi 1.0: Your Next Scala Stack by Pavel Shirshov and Kai
Frameworks are bulky, quirky, and non-compositional, which has led to a rejection of Spring and similar frameworks in the Scala ecosystem. Yet, despite their drawbacks, frameworks have been used to boost team productivity in many large companies. In this…
С наступающим, котаны и котанессы. Спасибо, что читаете и остаетесь со мной, спасибо, что пишете в личку и в бота — это важно и помогает мне держаться на плаву. 2020 был ппц какой адский лично для меня, и я рад, что он формально заканчивается. Только под конец года я начал приходить в себя, и задумался о смене стека с задолбавшего TS на что-то более интересное. Может, через какое-то время снова найдутся силы пилить обучающий контент :)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)
Период кринжовых шуток «ты этот пулл-реквест с прошлого года ревьювишь» объявляется открытым.
Forwarded from PONV Daily (Sergey Kucherenko)
Олег Киселёв рассказывает про прошедший семинар, посвященный "Programming and Reasoning with Algebraic Effects and Effect Handlers"
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.
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.