24 сентября 2026
Оригинал
Думал-гуглил идею валидации работы иишечки, получается такое: Полный перебор более-менее реального процесса взаимодействия даже двух акторов даст слишком большое количество состояний, даже для иишечки. Нужно ограничивать бизнес и тех исходы. Я попытался переизобрести формальную верификацию алгоритма. Причем для этого есть формальные языки типа TLA+, не только сети Петри. Безумно интересная, но дорогая (трудоемкая)…
409 просмотров
22 сентября 2026
Оригинал
#брокеры Подъехала запись стрима по Кафке. У нас были грандиозные планы, но в итоге едва добрались до работы кластера — настолько много интересных вопросов было. Как поломать работу, гарантии и порядок сообщений мы не дошли. Если хотите продожения с хадкорными…
789 просмотров
21 сентября 2026
Оригинал
#брокеры Подъехала запись стрима по Кафке . У нас были грандиозные планы, но в итоге едва добрались до работы кластера — настолько много интересных вопросов было. Как поломать работу, гарантии и порядок сообщений мы не дошли. Если хотите продожения с хадкорными вопросами, зажгите 51 огонь — 🔥 Если хотите пощупать симулятор и провести ревизию собственных знаний, то у меня есть для вас домашне задание . Как сделаете,…
899 просмотров
19 сентября 2026
Оригинал
Планируем вебинар с ребятами из Soft Skills Lab , кому интересно, помогите с выбором темы
994 просмотров
18 сентября 2026
Оригинал
Про формальную валидациюю иишечки Многие задачи проектирования можно свести к взаимодействию нескольких акторов: пользователь-интерфейс, сервис-сервис и т.д. Каждое взаимодействие имеет конечное количество исходов: успешная обработка, бизнес-ошибки, технические проблемы -- и может изменять состояние актора. При желании мы можем построить полный сценарий взаимодействия со всеми возможным вариантами взаимодействий…
1 240 просмотров
16 сентября 2026
Оригинал
Где-то внутри меня умирает стример, давайте спасать. В среду с Женей Янченко играем в симулятор Кафки. Буду задавать тупые вопросы про ее устройство, порядок и гарантии доставки, как все это можно сломать (дада, можно), и зачем вообще все это. Регайтесь…
1 260 просмотров
14 сентября 2026
Оригинал
Во мне давно живет желание сделать что-то (конфу / фест / клуб / пространство) про «мышление»: триз, теория ограничений, логика, системное мышление, критическое мышление, нейробиология и т.п. Чтобы в прикладном ключе, но не только для манагерства. Зачем — хз. Потому что. Кому-то интересно? Дайте знать в комментах , если уже участвуете в чем-то подобном
1 590 просмотров
