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

DevZen Podcast

В этом выпуске: Рассказ очевидца, как проходить проверку 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

КДПВ нарисовал Денис, шлите ему лучи уважения и одобрения!