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

              71 Listeners

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

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

              78 Listeners

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

              Не занесли

              58 Listeners

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

              Лекции Arzamas

              151 Listeners

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

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

              37 Listeners

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

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

              121 Listeners

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

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

              361 Listeners

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

              Podlodka Podcast

              45 Listeners

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

              Радио Медуза

              96 Listeners

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

              КритМышь

              42 Listeners

              kuji podcast by kuji podcast

              kuji podcast

              131 Listeners

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

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

              194 Listeners

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

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

              12 Listeners

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

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

              116 Listeners

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

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

              31 Listeners