https://twitter.com/YuriyBogomolov/status/1366615473475969025 Кому надо 20% скидка на джетбрейнсовские продукты, пишите в личку/комменты/твиттер/почту/мелом на заборе.

Открыточка для @ebanatics: композиция по понятиям, ёпта. Ну и отделение продолжений/continuations от монад это тоже хорошо, да.

Еще один отличный доклад от Александра Иоффе о рефлексии, макросах, механизме наследования тайпклассов и производительности всего этого добра в Scala 3:
https://youtu.be/E9L1-rkYPng

Как человек, выросший в семье лингвистов, я испытал острую боль, спасибо большое:
https://twitter.com/bengrue/status/1366920752721657861

Сайт Мартина Фаулера — это кладезь энциклопедических знаний по разработке ПО. Помимо вещей, касающихся непосредственно программирования, у него формализованы подходы к 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 — пошаговые инструкции по выделению микросервисов из монолита.

В следующий четверг 11 марта начнётся курс Антона Трунова (Zilliqa Research) "Введение в формальную верификацию программ".
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/

Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.

Вастрик, как обычно, написал охуенный пост — на этот раз про квантовые компьютеры. Очень рекомендую!

🔥 Квантовый Компьютер. Как устроен? Как программировать? Уже?

Сегодня будущее заглянет в наш в дом так глубоко, что в конце поста мы даже напишем свой первый квантовый Hello World и запустим его на настоящем квантовом компьютере.

Кажется, пост получился очень логически красивым и объясняет тему чуть лучше обычных статей в интернете (научрук поста подтверждает!)

Порепостите, пожалуйста. Вдруг кому-то такое всё еще интереснее комнат в клабхаусе :D

https://vas3k.ru/blog/quantum_computing/

Открытка для @datstuff

В соседнем канале серия постов про ошибки в работе с реляционными БД, и это прямо ценно

https://www.tgoop.com/nosingularity/737
https://www.tgoop.com/nosingularity/738
https://www.tgoop.com/nosingularity/739

Всем привет! Мы хотим организовать неформальную летнюю школу по формальным методам и всяким родственным штукам (см. WIP сайт школы https://лялямбда.рус).
Планируются мини-курсы/воркшопы/доклады/нетворкинг/развлечения.
Темы курсов и воркшопов ещё пока только определяются (предложите свою!) и простираются от рандомизированного тестирования/фаззинга и модел-чекинга, до кубических (и не только) пруверов, логики некорректности, верифицированных компиляторов и слабых моделей памяти. Мы приветствуем участников с любым уровнем знаний — планируются несколько треков, чтобы каждый мог выбрать себе тему по своему бэкграунду.

Чтобы понять больше о наших потенциальных участниках и о том, какой формат школы выбрать, нам нужна ваша помощь: если бы вы хотели поехать, заполните, пожалуйста, небольшую форму https://docs.google.com/forms/d/e/1FAIpQLScfJ3tguxHNgxwHX_XpsWOiABTwB2R74sKh6OXEmcpYCCQqOQ/viewform.

Примерно так, да.

Написал следующую статью о функциональном программировании на TS: https://habr.com/ru/post/548622
В этот раз я рассказываю о ленивой замене промисам — задачам (tasks), и плавно подвожу читателя к концепции алгебраических эффектов, о которых мы поговорим в следующий раз.

Алексис Кинг написала большую и очень классную статью про тайплевел-программирование на хаскеле:

https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/

#музыкальная_пауза
Enjoy: https://www.youtube.com/watch?v=k44M_brCdjY
P.S. Если вдруг знаете группы, схожие по стилю с King 810, — кидайте в бота/чатег/личку/почту :3