DevZen Podcast

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

Listen Later

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

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

              ...more
              View all episodesView all episodes
              Download on the App Store
              DevZen PodcastBy DevZen Podcast
              • 4.8
              • 4.8
              • 4.8
              • 4.8
              • 4.8

              4.8

              24 ratings

              More shows like DevZen Podcast

              View all
              Hobby Talks by Auralien, Domnin

              Hobby Talks

              73 Listeners

              Завтракаст (Zavtracast) by Завтракаст (Zavtracast)

              Завтракаст (Zavtracast)

              124 Listeners

              Лекции Arzamas by Arzamas / Арзамас

              Лекции Arzamas

              154 Listeners

              Не занесли by Максим Иванов, Павел Пивоваров, Артемий Леонов

              Не занесли

              61 Listeners

              Отвратительные мужики by Disgusting Men

              Отвратительные мужики

              78 Listeners

              Животные в Студии by Animals in the Studio

              Животные в Студии

              38 Listeners

              Что случилось by Медуза / Meduza

              Что случилось

              356 Listeners

              Podlodka Podcast by Егор Толстой, Стас Цыганов, Екатерина Петрова и Евгений Кателла

              Podlodka Podcast

              46 Listeners

              Радио Медуза by Медуза / Meduza

              Радио Медуза

              96 Listeners

              КритМышь by Александр Головин

              КритМышь

              41 Listeners

              kuji podcast by kuji podcast

              kuji podcast

              132 Listeners

              Закат империи by libo/libo

              Закат империи

              219 Listeners

              На пенсию в 35 лет! by Babaykin

              На пенсию в 35 лет!

              12 Listeners

              Почему мы еще живы by libo/libo

              Почему мы еще живы

              116 Listeners

              Горящий бензовоз by Вадим Елистратов, Иван Талачев

              Горящий бензовоз

              39 Listeners