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

              70 Listeners

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

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

              77 Listeners

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

              Не занесли

              56 Listeners

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

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

              34 Listeners

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

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

              121 Listeners

              ШоПоКо by Anton Pozdnyakov

              ШоПоКо

              149 Listeners

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

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

              356 Listeners

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

              Радио Медуза

              97 Listeners

              Два по цене одного by libo/libo

              Два по цене одного

              90 Listeners

              Зачем я это увидел? by Arzamas

              Зачем я это увидел?

              23 Listeners

              Запуск завтра by libo/libo

              Запуск завтра

              83 Listeners

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

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

              194 Listeners

              План Б by Т—Ж

              План Б

              17 Listeners

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

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

              107 Listeners

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

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

              31 Listeners