5 Aug 2026, 23:13 UTC90 views5 reactionsread 7 August 2026 Photo
[практика] Сигнатура, которая форсит архитектуру ч2
Уникальность случайности не выразима
Энтропия здесь тоже скорее возможность (а не гарантия типами), ведь из сигнатуры невозможно узнать, была ли у этого вызова свежая случайность: повторный запуск с тем же rng, ретрай на уровне вызывающего, переиспользование билдера - всё это является свойством кода снаружи, невидимые самому протоколу.
Неизбежность tracer
А даль…
👍5
3 Aug 2026, 17:31 UTC132 views4 reactionsread 7 August 2026 Photo
[практика] Сигнатура, которая форсит архитектуру
Я в своей жизни читал много кода и в какой-то момент понял, что такое красивая и хорошо написанная функция, и как понять, что работа сделана профессионалом. Почти всегда можно это понять по сигнатуре функции, но я к этому буду ещё возвращаться.
Давайте сегодня разберём вот эту функцию https://github.com/LFDT-Lockness/cggmp21/blob/b870883a1b7a59ff7142071162da5bec3b7f0…
🔥4
31 Jul 2026, 04:46 UTC194 viewsread 7 August 2026 Photo
[рамка] Онтологический импеданс: KubeVirt
Давайте введём понятие "плохое" архитектурное решение, одним из признаков которого в этом блоге будем считать ситуацию, когда сущность одной онтологии погружается в среду с другой онтологией, которая полностью или частично конфликтует с онтологией изначального объекта. Если на человеческом, то это подтип "не используйте технологию для того, для чего она не предназначена".
Д…
29 Jul 2026, 21:35 UTC197 views5 reactionsread 7 August 2026 Photo
[рамка] Kubernetes как язык индустрии
Фраза "у Deployment три реплики, а Service выбирает их по метке" более-менее однозначно определяет целую архитектурную схему: сколько экземпляров приложения должно работать, каким способом они обновляются, где проходит стабильная точка доступа и как система поведёт себя после отказа. Для инженеров из разных компаний эта фраза звучит одинаково, потому что кубер дал индустрии общи…
💯5
28 Jul 2026, 15:09 UTC199 views11 reactionsread 7 August 2026 Photo
[рамка] Хорошее объяснение - это управляемая потеря информации
В этом посте хочется начать отвечать на вопрос, заданный мне полтора месяца назад, а чем хороший пейпер/презентация/док отличается от не оч хорошего.
Наблюдение первое: любое объяснение теряет информацию, а полное описание системы совпадает с самой системой. Поэтому, имхо, одно из главных умений при составлении документации или презентации - умение прав…
👍8💯2🔥1
22 Jul 2026, 21:49 UTC312 views11 reactionsread 7 August 2026 [мысли] Менеджмент R&D как накопление знания
У исследовательских задач странное отношение к прогрессу, вполне может случиться ситуация, когда в условный понедельник у команды может быть четыре правдоподобных способа решить задачу, а к пятнице остаётся два. При этом оба прототипа отправились в архив, зато команда теперь понимает, в чём состоит реальный трейдофф. Иногда такая неделя экономит несколько месяцев разработ…
👍5🔥4❤2
21 Jul 2026, 16:30 UTC287 views8 reactionsread 7 August 2026 Photo
[рамка] HSM vs MPC vs MPC+HSM
Последние несколько недель периодически отвечаю на вопрос, чем отличается хранение секретного ключа в HSM от MPC и MPC+HSM. Короткий и бесполезный ответ на этот вопрос: моделью траста. А про полезный ниже.
Самый распространённый вариант кастодиальной системы - это когда ключ находится физически в софте. Он лежит файлом на диске или в бд, потом появляется в памяти процесса и при этом по…
🔥6💯2
30 Jun 2026, 16:47 UTC398 views9 reactionsread 7 August 2026 Photo
[вторник] Голый король и два генерала
Предыдущий вторник: https://t.me/types_and_archetypes/74
Стандартная загадка: на неком острове у части жителей голубые глаза. Каждый видит цвет глаз всех остальных, но не свой и кто понял, что у него голубые глаза, на следующее утро уезжает. Голубоглазых ровно k и k >= 2, значит, каждый из них и так видит вокруг другие голубые глаза. Все знают, что голубоглазые есть, но годами …
👍9
27 Jun 2026, 22:13 UTC367 views15 reactionsread 7 August 2026 Photo
[рамка] право на имя
В истории человечества был пример двух людей, которые независимо друг от друга пришли к своему понимаю того, как именно оперировать с непрерывным изменением. Ньютон и Лейбниц получили, по сути, одну и ту же теорию, но записали её по-разному. Ньютон ставил точки над переменными, флюксии, а Лейбниц придумал dy/dx и знак интеграла как вытянутую S (сумма).
И вот здесь начинается самое интересное с …
❤6👍5🔥4
27 Jun 2026, 15:12 UTC335 views5 reactionsread 7 August 2026 [быстрые мысли] код ревью за llm
За последние 3 дня мне по разным причинам довелось посмотреть на два весьма серьёзных проекта, связанных с криптографией. И оба были навайбкожены на 101%, причём видно это было сразу. Я всё пытался понять, а почему оно так бросается в глаза.
Первое, за что цепляешься, это слишком ровный код и структура папок. Казалось бы, наоборот, всё красиво и идеально. Но дело даже не в самой ров…
❤5
24 Jun 2026, 02:14 UTC354 views9 reactionsread 7 August 2026 Photo
[мысли] А и Б сидели на трубе
"А и Б сидели на трубе. А упало, Б пропало - что осталось на трубе?" Помню, что мне задали этот вопрос в 4 или 5 лет, когда мы шли в деревне на речку. И я тогда после продолжительного размышления ответил, что ответ - любая буква.
И, конечно, не смог тогда доказать "старшакам", что они не точны.
Но, конечно, у этой загадки нет одного правильного ответа. Потому что там не сказано главно…
❤7🤔2
13 Jun 2026, 10:00 UTC386 views3 reactionsread 7 August 2026 Photo
[рамка] escrow - это legal state machine
До этого я писал про игру Готику как пример social state machine (https://t.me/types_and_archetypes/56), а недавно прочитал историю появления escrow паттерна и хочется тоже посмотреть на него в разрезе конечных автоматов.
Escrow классически объясняют через такой сценарий: покупатель помещает деньги у третьего лица, продавец выполняет условие, затем деньги уходят продавцу. Эт…
👍2🍓1
Showing the 12 most recent of 20 posts we hold for @types_and_archetypes. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.