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

В этом выпуске: Рассказ очевидца, как проходить проверку Jepsen-ом, как обсуждаются проблемы, как построен каждодневный процесс. Валера делится впечатлениями от использования TLA+ и PlusCal, обзор хорошей лекции от Саши про БД, немного новостей одной строкой, и вопросы слушателей Шоуноты: [00:04:24] Чему мы научились за три недели Before you continue to YouTube https://rationalanswer.club/post/679/ [00:18:41] Интервью с… Читать далее →

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

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