Коллега @covalue начинает серию заметок о формальных методах н | Микола Канян

Коллега @covalue начинает серию заметок о формальных методах на железнодорожном транспорте. Молодежи, ищущей профориентации, будет полезно к ним присмотреться. Составление еврорегуляций, в том числе, на допустимые радиусы кривизны огурцов, это, в данный момент, тяжелый ручной труд, ждущий своих механизаторов.

Некоторым неясно, почему подобный сугубо технический контент всплывает на анонимных конспирологических телеграм-каналах. Так где же еще? Вспомните, как было 15 лет назад: "— Это канал про аниме? Подскажите, как пропатчить KDE под FreeBSD."

Евросоюз — это есть масонская власть плюс строгая типизация континуума!