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

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

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

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

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

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

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

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

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

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

https://t.me/nosingularity/737
https://t.me/nosingularity/738
https://t.me/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

В качестве упражнения с макросами накодякал библиотечку, которая генерит конструкторы для кейс-классов с зарефайненными полями.

https://github.com/poslegm/brief

Зачем это нужно:

1. Типобезопасно провалидированные поля кейс-классов;
2. Вместо fail-fast валидации аккумулировать ошибки по всем полям;
3. В сообщениях об ошибках видеть названия проблемных полей и что пошло не так;
4. При этом не писать тонны бойлерплейта.

В планах устранение ограничений (не поддерживаются классы с тайп-параметрами и тайп-алиасы для полей) и миграция на Scala 3. Зависимость только на refined.

Скорее всего аналогичные библиотеки уже существуют, но они очевидно имеют фатальный недостаток. Возможно, и моё поделие будет кому-нибудь полезно.

До начала работы над этой либой макросы устрашали, а оказалось, что нехитрая кодогенерация на них делается без особых сложностей.

Топологическая карта мира (via)

Офигенный репозиторий с описанием процесса моделирования предметной области по DDD: https://github.com/ddd-crew/ddd-starter-modelling-process
Если вы хотели начать работать над проектом по DDD, но не знали, с чего начать, то определенно стоит взглянуть.

Марк Симанн разразился очень хорошим постом про опенсорс, неоплачиваему работу и менторство: https://blog.ploeh.dk/2021/03/22/the-dispassionate-developer

Моё мнение — он очень хорошо подметил болевые точки работы в современном айти, когда без наличия портфолио, записей публичных выступлений, контрибьюта в два-три популярные проекта и зелёную стену коммитов на гитхабе крупные компании не захотят с вами даже разговаривать. Да чего уж там скрывать, я сам участвую в этой гонке за место под солнцем — статьями на хабре, видосами, активностью в твиттере, даже вот этим вот каналом. И, признаться честно, это достаточно сильно подзаебало — хочется просто следовать идеологии «пиши код, блять», а не служить айти-тамадой, который и лекцию прочтет, и менторством займется, и библиотеку опубликует, и при этом еще про work-life balance забывать не станет (всем же нужны здоровые довольные работники, а не выгоревшие задохлики, верно?). Отчасти эта внутренняя усталость стала причиной того, что в этом канале стало меньше личных мыслей, а больше мЕмЕсОв и ссылок на другие ресурсы, к слову.

В своём блоге Марк Симанн говорит, что у него нет ответа на вопрос, что со всем этим делать, и ровно так же не знаю и я. Года полтора назад я похихикивал про себя над парнем, который работал в моей текущей компании больше 15 лет, и бóльшую часть этого времени был просто разработчиком, а не рвался в архитекторы и выше. Сейчас мне уже не так смешно. Возможно, он уже тогда знал что-то, чего не знал я.