TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов
46:17
Внедрение SRE. Итоги 5 лет опыта / Павел Притчин
3:26:51
Воркшоп: TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов
47:43
Как воспитать себе помощника: применение локального ИИ для разработки / Алексей Цветков
1:02:56
Доклад: Проектируем Event Driven-систему с DDD и Event Storming / Кирилл Ветчинкин (microarch.ru)
1:26:00
TFTDS 9. Формальные методы. TLA+
19:57
Можно ли выучить английский с ChatGPT | Онлайн-школа «Инглекс»
48:07
Как мы шли к 5000 RPS на запись / Ян Силов (Ozon)
1:13:35