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

✊🏻

19 сентября я буду выступать на JS-митапе, организованном агентством Spice IT. Буду говорить на тему программирования на уровне типов на TypeScript. Поговорим о том, для чего это может быть нужно как бизнесу, так и программисту; слегка затронем тему изоморфизма Карри-Ховарда-Ламбека и посмотрим, какие выразительные средства для тайплевела вообще есть в TS.

Приходите! 🙂

Ссылки на событие:
https://www.facebook.com/events/690840634767559/
https://spice-agency.timepad.ru/event/1058346

Опубликовал kleisli-ts 1.0.0: https://github.com/YBogomolov/kleisli-ts/releases/tag/1.0.0
Наконец-то завершил миграцию на fp-ts@2, в связи с чем поднял мажорную версию пакета.

#музыкальная_пауза

Ходил вчера на концерт Beast In Black в клуб RED. Море удовльствия — вживую парни просто пышут энергией и позитивом, при этом играют и поют так же круто, как на студийных записях. Единственное, что смазало удовольствие от концерта — начало задержали на полтора (!) часа. Такое себе не позволяют даже более именитые коллективы.

Записал исполнение одной из моих любимых их песен — драйвовой «Crazy, Mad, Insane»: https://youtu.be/EEacwG6Q9uk

Для обсуждения моделирования мира, онтологики и взаимосвязи всего этого с теорией типов и теорией категорий был создан чат «Типы в языках программирования, моделирования, представления знаний и жизни». Если вам интересны эти темы — присоединяйтесь: https://t.me/typeslife

Ладно, время возвращаться к программированию и инженерии.

Недавно открыл для себя просто потрясающую книгу по системному мышлению от Анатолия Левенчука: https://ridero.ru/books/sistemnoe_myshlenie/
Она же в виде курса на Курсере: https://ru.coursera.org/learn/system-thinking

По моему убеждению, инженер-программист (акцент на слове «инженер») просто обязан обладать рациональным, логичным, последовательным мышлением для того, чтобы моделировать окружающий мир и выражать эти модели и их взаимосвязи в своей работе. Вещи, о которых говорит Анатолий в своих трудах, как раз позволяют выработать навыки системного мышления. Эти навыки будут только усиливаться, если параллельно заниматься изучением теории типов и теории категорий. Их тоже можно рассматривать как инструменты моделирования реальности, а чем больше таких инструментов будет в вашем арсенале, тем точнее вы сможете доносить свои идеи.

P.S. Кстати, у Анатолия очень крутой блог в ЖЖ: https://ailev.livejournal.com, советую внести в закладки, как минимум.

К слову, подобные драмы что в скала-сообществе, что в хаскель-сообществе отталкивают меня всё сильнее и сильнее от обоих.
Почему инженеры не могут просто писать код и делиться кодом с другими? Почему обязательно нужно ворошить грязное белье 2017 года? Почему то, что у тебя в штанах и какие gender pronouns ты предпочитаешь слышать, стало важнее, чем идеи, которые выражаются в коде?
Много вопросов, мало ответов.

Я/МЫ
JOHN
A. DE GOES

JE SUIS JOHN 🅰️ DE GOES

ААААААААААААААААА

Открыточка <3

<3

Пока скачивал изображение, обратил внимание, что хром отображает alt-атрибут при скачивании. Важная штука для скринридеров, кстати. Приятно видеть, что люди не забывают о доступности.

Психотерапевт: котокоровы не существует, она не может тебе навредить.
Я:
Котокорова:

Книга «Structure and Interpretation of Computer Programs» (SICP) в HTML/EPUB для чтения на мобильных устройствах:
https://github.com/sarabander/sicp
Она же, но в PDF, сгенерированном из LaTeX, — для эстетствующих господ:
https://github.com/sarabander/sicp-pdf

Вах!

Нужна ещё аптечная сеть под названием «Магнит биполярный».