50 оттенков Jepsen — Episode 0392

В этом выпуске: Рассказ очевидца, как проходить проверку Jepsen-ом, как обсуждаются проблемы, как построен каждодневный процесс. Валера делится впечатлениями от использования TLA+ и PlusCal, обзор хорошей лекции от Саши про БД, немного новостей одной строкой, и вопросы слушателей. Шоуноты: [00:04:24] Чему мы научились за три недели Before you continue to YouTube https://rationalanswer.club/post/679/ [00:18:41] Интервью с гостем Jepsen: Redpanda 21.10.1 Лэмпорт на грядке — Episode 0190 « DevZen Podcast Paxos и Blockchain — Episode 0110 « DevZen Podcast Global Game Jam и Akumuli — Episode 0078 « DevZen Podcast [01:41:03] Используем TLA+ и PlusCal чтобы доказать поведение кэша Learn TLA+ — Learn TLA+ GitHub - tlaplus/vscode-tlaplus: TLA+ language support for Visual Studio Code Document promscale_specs/cache.tla at main · timescale/promscale_specs · GitHub [02:03:54] Join Algorithms (CMU Intro to Database Systems) ::: хорошая лекция но особо нечего пересказывать [02:04:22] Query Execution I && II (CMU Intro to Database Systems / Fall 2021) 11 - Query Execution I (CMU Intro to Database Systems / Fall 2021) - YouTube 12 - Query Execution II (CMU Intro to Database Systems / Fall 2021) - YouTube [02:16:19] [В закладки] Use One Big Server Use One Big Server - Speculative Branches AWS Marketplace: AWS Nitro Enclaves Developer AMI [02:31:24] [Одной строкой] HaveIBeenPWNed: Twitter [02:32:18] Стрёмные истории: в Нидерландах пытаются осудить разработчика Tornado, который не являлся бенефициаром DAO. [02:38:32] Темы и вопросы слушателей для 0392 Лог чата в Telegram Голоса выпуска: Саша, Света, Валера, Иван и Денис. Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4 КДПВ нарисовал Денис, шлите ему лучи уважения и одобрения!