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

2022-08-24 11:23:27 Я начинаю выкатывать первую итерацию блогпоста по истории ФП, надеюсь что у кого-нибудь будут какие-то замечания по первой главе
токо осторожно, там до первой главки по истории идет метаисторический выблев на пять экранов
https://gist.github.com/klapaucius/f0adec8a567b7bf000c8bcf99686a9bd Открыть/Комментировать

2022-07-31 10:05:53 https://www.learningtypescript.com/articles/extreme-explorations-of-typescripts-type-system Открыть/Комментировать

2022-07-29 12:02:09 Немного новостей.
1. Я наконец-то навсегда покинул Россию вместе с семьей. Сейчас мы в одном из крупных городов Испании, с нами всё хорошо. Впервые за многие годы я могу вздохнуть спокойно и чувствовать себя в безопасности.
2. Мои статьи на Хабре на русском более недоступны. Все материалы, которые я написал, доступны на английском языке на https://ybogomolov.me и будут только там.

И да, наконец-то я без страха могу написать то, что болело с начала войны:
Нет войне. Нет «русскому миру». Путин и его приближенные — военные преступники, которых должны судить в Гааге. Украïнцi, тримайтеся та борiться, за вами правда! Открыть/Комментировать

2022-07-02 11:17:51 Новая версия ресурса для изучения прувера TLA+: https://www.learntla.com
Пост автора о мотивации создания второй версии: https://www.hillelwayne.com/post/learntla Открыть/Комментировать

2022-06-29 17:28:38 В эту пятницу я буду участвовать в небольшом ивенте «TypeScript. Твой код в опасности» от коммьюнити Vue.js:
https://wearecommunity.io/events/typescript-tvoi-kod-v-opasnosti
Поговорим на тему того, насколько тайпскрипт как язык может гарантировать безопасность исполняемого кода, затронем извечную холиварную в мире JS тему «типы vs. тесты», обсудим различные подводные камни той или иной позиции. Приходите, будет интересно Открыть/Комментировать

2022-06-27 21:53:26 https://www.learningtypescript.com/articles/extreme-explorations-of-typescripts-type-system Открыть/Комментировать

2022-06-24 21:56:32 https://degoes.net/articles/zio-2.0 Открыть/Комментировать

2022-04-11 10:32:31 https://dev.to/matechs/the-case-for-ts-18b3 Открыть/Комментировать

2022-03-28 19:42:21 https://proofassistants.stackexchange.com/a/940/333

This answer is golden, it links to all of the best materials on Type Theory and related subjects. Открыть/Комментировать

2022-02-22 08:21:32 Перевел в текстовую форму свой доклад "Making Illegal States Unrepresentable in TypeScript": https://ybogomolov.me/making-illegal-states-unrepresentable
Сам доклад, если кто-то пропустил, можно найти здесь:

Открыть/Комментировать