dd if=/dev/stuff of=/dev/tg

Во-первых, это красиво.
https://github.com/berewt/acme-haskellee

Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode:
http://counterexamples.org

Наслаждайтесь!

https://github.com/lampepfl/dotty/releases/tag/3.0.0 🎉

Новая книжка про верифицированные на Isabelle/HOL функциональные алгоритмы и структуры данных:
http://functional-algorithms-verified.org

https://twitter.com/frobunnius/status/1388945487584243714 чот ору

— Satan, why it’s so little space in Hell?
— *silently shows Chia coin farms*

https://github.com/travisbrown/cancel-culture ‼️

Окончательный без тегов язык писать мужчина глянцевость

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

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

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

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

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