dd if=/dev/stuff of=/dev/tg – Telegram
dd if=/dev/stuff of=/dev/tg
2.59K subscribers
348 photos
5 videos
7 files
563 links
Музыка: @randommusicilike

18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Download Telegram
Спасибо, Яндекс, в жопу такие подарки
С наступающим, котаны и котанессы. Спасибо, что читаете и остаетесь со мной, спасибо, что пишете в личку и в бота — это важно и помогает мне держаться на плаву. 2020 был ппц какой адский лично для меня, и я рад, что он формально заканчивается. Только под конец года я начал приходить в себя, и задумался о смене стека с задолбавшего TS на что-то более интересное. Может, через какое-то время снова найдутся силы пилить обучающий контент :)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 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
Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.
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
В следующий четверг, 4 февраля, Дэвид Спивак будет рассказывать про практические аспекты категории полиномиальных функторов одной переменной Poly:
https://topos.site/seminars
Во-первых, это просто хорошая визуализация данных.
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213
https://silenthill.com ААААААААААААААА
(простите)
Forwarded from PONV Daily (Danila Matveev)
#scala #tf

Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.

Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.

https://www.youtube.com/watch?v=ZNK57IXgr3M
Честно спижжено у @nikitonsky из твиттера
Forwarded from PONV Daily (Sergey Kucherenko)
123.pdf
175.2 KB
"It's Easy As 1, 2, 3" by Gharam Hutton.

Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.