Offline dengan aplikasi Player FM !
50 оттенков Jepsen — Episode 0392
Manage episode 338491054 series 2105533
В этом выпуске: Рассказ очевидца, как проходить проверку Jepsen-ом, как обсуждаются проблемы, как построен каждодневный процесс. Валера делится впечатлениями от использования TLA+ и PlusCal, обзор хорошей лекции от Саши про БД, немного новостей одной строкой, и вопросы слушателей.
Шоуноты:
- [00:04:24] Чему мы научились за три недели
- [00:18:41] Интервью с гостем
- [01:41:03] Используем TLA+ и PlusCal чтобы доказать поведение кэша
- [02:03:54] Join Algorithms (CMU Intro to Database Systems) ::: хорошая лекция но особо нечего пересказывать
- [02:04:22] Query Execution I && II (CMU Intro to Database Systems / Fall 2021)
- [02:16:19] [В закладки] Use One Big Server
- [02:31:24] [Одной строкой] HaveIBeenPWNed: Twitter
- [02:32:18] Стрёмные истории: в Нидерландах пытаются осудить разработчика Tornado, который не являлся бенефициаром DAO.
- [02:38:32] Темы и вопросы слушателей для 0392
Лог чата в Telegram
Голоса выпуска: Саша, Света, Валера, Иван и Денис.
Фоновая музыка: Plastic3 — Corporate Rock Motivation Loop 4
КДПВ нарисовал Денис, шлите ему лучи уважения и одобрения!
301 episode
Manage episode 338491054 series 2105533
В этом выпуске: Рассказ очевидца, как проходить проверку Jepsen-ом, как обсуждаются проблемы, как построен каждодневный процесс. Валера делится впечатлениями от использования TLA+ и PlusCal, обзор хорошей лекции от Саши про БД, немного новостей одной строкой, и вопросы слушателей.
Шоуноты:
- [00:04:24] Чему мы научились за три недели
- [00:18:41] Интервью с гостем
- [01:41:03] Используем TLA+ и PlusCal чтобы доказать поведение кэша
- [02:03:54] Join Algorithms (CMU Intro to Database Systems) ::: хорошая лекция но особо нечего пересказывать
- [02:04:22] Query Execution I && II (CMU Intro to Database Systems / Fall 2021)
- [02:16:19] [В закладки] Use One Big Server
- [02:31:24] [Одной строкой] HaveIBeenPWNed: Twitter
- [02:32:18] Стрёмные истории: в Нидерландах пытаются осудить разработчика Tornado, который не являлся бенефициаром DAO.
- [02:38:32] Темы и вопросы слушателей для 0392
Лог чата в Telegram
Голоса выпуска: Саша, Света, Валера, Иван и Денис.
Фоновая музыка: Plastic3 — Corporate Rock Motivation Loop 4
КДПВ нарисовал Денис, шлите ему лучи уважения и одобрения!
301 episode
Semua episode
×Selamat datang di Player FM!
Player FM memindai web untuk mencari podcast berkualitas tinggi untuk Anda nikmati saat ini. Ini adalah aplikasi podcast terbaik dan bekerja untuk Android, iPhone, dan web. Daftar untuk menyinkronkan langganan di seluruh perangkat.