TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов
3:26:51
Воркшоп: TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов
46:17
Внедрение SRE. Итоги 5 лет опыта / Павел Притчин
38:40
Точки отказа в хайлоад-системах. Backend / Константин Козловский (Газпромбанк.Тех)
1:02:56
Доклад: Проектируем Event Driven-систему с DDD и Event Storming / Кирилл Ветчинкин (microarch.ru)
1:40:10
Основы программирования микроконтроллеров. Лекция в МИРЭА
59:46
∫ A playlist when math starts to get serious ∫
1:03:43
Cómo hablar
2:03:01