Алсо, смотрите, какая чудесная инициатива от Гугла по мотивам этого комикса XKCD!
Вот тут собраны топ-10 важных проектов на C, плюсах, JS и пайтоне: https://twitter.com/mboehme_/status/1337170474174857217
Хаскеля (пока) нет. Наверное, десять раз писать PanDoc просто уже не смешно ¯\_(ツ)_/¯

Как иллюстрация к тексту.

Hello from the other side
I must've called a thousand times
(via)

Напоминаю, что буква S в аббревиатуре IoT означает «security».
(via)

Когда меня спрашивают, почему у меня практически на автомате вылетает «поптикс пидары» или «ТАТ пидары», когда я встречаю их контент, я привожу подобные примеры. Для них это «азаза рофлянка», а для кого-то совсем не смешная ситуация — даже когда речь идет о вроде бы тупых и банальных вещах из серии «я полчаса рисовал мем, а его поптикс спиздили». Особенно если речь идет о помощи себе или другим — например, когда человек заводит канал в терапевтических целях.
В пизду таких мудаков, короче.

Любопытные новости: Formality теперь реализована на самой себе, т.е. язык стал самодостаточным!
https://github.com/moonad/Formality/blob/master/blog/0-goodbye-javanoscript.md

#музыкальная_пауза
Доброе утро.
https://www.youtube.com/watch?v=noo_OXw6TbI

Алсо, если у кого возникли вопросы, почему в канале стало меньше контента как по ФП, так и в целом — админ лечит жестокую депру, жрет колёса горстями и пытается просто как-то функционировать, так что если нужен хороший ФП- и PL-контент, то подпишитесь на PONV Daily и Lil Functor, у них преступно мало подписчиков.

Прекрасная статья в журнале 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

На канале HoTT-Lectures абсолютно внезапно через 5 лет после последнего ролика появилась серия лекций по HoTT. Начало здесь.

#фп_на_ts
Написал еще одну статью про паттерн тайпкласса: https://habr.com/ru/post/534998

Спасибо, Яндекс, в жопу такие подарки

Izumi круто. Чтобы и дальше так было, можно купить парням чашечку кофе: https://www.buymeacoffee.com/7mind

С наступающим, котаны и котанессы. Спасибо, что читаете и остаетесь со мной, спасибо, что пишете в личку и в бота — это важно и помогает мне держаться на плаву. 2020 был ппц какой адский лично для меня, и я рад, что он формально заканчивается. Только под конец года я начал приходить в себя, и задумался о смене стека с задолбавшего TS на что-то более интересное. Может, через какое-то время снова найдутся силы пилить обучающий контент :)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)

Период кринжовых шуток «ты этот пулл-реквест с прошлого года ревьювишь» объявляется открытым.

Олег Киселёв рассказывает про прошедший семинар, посвященный "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

Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.