04 апреля 2021
Формальный ко-ко-кок — Episode 0330
2

В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации?… Читать далее →
Плейлист
DevZen Podcast
Интервью с гостем о тестерах: нужны ли тестеры, почему тестеров не учат в институтах, как выгорают тестеры. Обсуждаем новый проект Cloudflare на расте: Pingora. Очередной ликбез по Swift-у, в этот раз...
18 сентября 2022
USB — проклят, Thunderbolt — проклят, компиляторы — прокляты, Javascript — проклят, но если писать на Golang и транспилировать, то можно жить! Akka и лицензии — прокляты. В Чёрной Книге есть много про...
11 сентября 2022
В этом выпуске: мотивация, обучение, Concurrency Control и шоколад. Шоуноты: [00:02:03] Чему мы научились за неделю PostgreSQL: Documentation: 14: CREATE VIEW PostgreSQL: Updatable Views and INSERT IN...
04 сентября 2022
В этом выпуске: рассказ про то, как выглядит работа Product Design’ера; интервьювирование в западные компании для дизайнеров; как дизайнеру добиться одобрения руководства, получить место за столом; ка...
29 августа 2022
В этом выпуске: Рассказ очевидца, как проходить проверку Jepsen-ом, как обсуждаются проблемы, как построен каждодневный процесс. Валера делится впечатлениями от использования TLA+ и PlusCal, обзор хор...
21 августа 2022
Ура ура! Подкасту 8 лет и он пошёл во второй класс. А Андрей и Павел пошли и сделали второй стартап, который помогает разработчикам игр. Гугл приоткрывает платёжный занавес, но дженерики в Go всё равн...
31 июля 2022
В этом выпуске: чему научились за неделю; обзор очередного видео: Index Concurrency Control; тонкости pg_stat_activity; подробный разбор пейпера про Amazon DynamoDB; темы и вопросы слушателей. Шоуноты...
24 июля 2022
В этом выпуске: чему научились за неделю; обзор очередного видео: Tree Indexes; вопросы слушателей. Шоуноты: [00:04:00] Чему мы научились за неделю Labels and Selectors | Kubernetes https://pgpedia.in...
17 июля 2022
В этом выпуске: много чему научились за неделю (час обсуждения, ого!), обзор очередного видео по БД и хэш таблицы, интересные вопросы слушателей, включая вопрос к 0383 (да, мы иногда отвечаем позже, н...
10 июля 2022
В этом выпуске: хостим Kubernetes сами и разбираемся как нам поможет Talos; держим два ssh сервера на одном порту и перебрасываем файлы с помощью Tailscale; используем или не используем CoPilot и разб...
03 июля 2022
В этом выпуске: интервью с гостем об OpenStack и почему людям нравятся облака поменьше, чем AWS; тотальная защита печенек от FF; уязвимости PACMAN и Hertzbleed; что лучше — продираться к GCC через тер...
19 июня 2022
В этом выпуске: нитрид галлия для зарядников, отзывы в амазоне и озоне, Rosetta2 для macOS Ventura, субъективность ошибок и изменение культуры, интересные находки из Intro to Database Systems, и вопро...
12 июня 2022
В этом выпуске: мы вообще не подготовили никаких тем, зато к нам пришел гость и интересно рассказал про обучение, а слушатели нас спросили про MANGA, в общем мы наговорили на час сорок. [00:02:57] Чем...
05 июня 2022
В этом выпуске: доводим код на Rust до сегфолта и проверяем доступность сайта подкаста; Посещаем PgCon unconference и меняем систему сборки на Meson; Предотвращаем (или нет) Spectre и переходим на M1...
29 мая 2022
Внимание! Выпуск был перезалит из-за проблем со звуком. Спасибо за обратную связь. В этом выпуске: картонные стены в Валенсии; локальные чаты в WhatsApp и борщевик; говорим много про CI/CD с гостем; у...
22 мая 2022
В этом выпуске: обсуждаем химию для 3D печати, как хранить и как использовать; новая SaaS база данных от Гугла; Как положить данные в озеро из Postgresql; Обсуждаем 5 уроков из мира разработки; много...
15 мая 2022
В этом выпуске: как MacOS менеджит ядра M1, прошлое настоящее и будущее I/O в PostgreSQL, пытаемся разобраться в Spectre (и не сильно в этом преуспеваем), а также что нового в FoundationDB 7.0, зачем...
08 мая 2022
В этом выпуске: наши гости обстоятельнейшим образом разбирают использование Rust и Tokio в разработке распределённой СУБД Neon. [00:06:34] Чему мы научились за неделю [00:15:01] RonDB: A Key-Value Sto...
01 мая 2022
В этом выпуске: говорим про типы EMов; разбираемся с Velox; такой идеально ровной АЧХ, а также темы слушателей и ответ на вопрос. [00:07:25] Чемы мы научились за неделю [00:21:10] 5 Engineering Manage...
25 апреля 2022
В этом выпуске: для разминки обсудим несколько новостей одной строкой и пару тем в закладки, вспомним и сравним B+-tree vs LSM-tree; разбор доклада про QuestDB; и напоследок gamezen («It takes two») и...
17 апреля 2022
В этом выпуске: что нового в Zenith, который сменил название на Neon, почему голос Светы теперь передается с такой идеально ровной АЧХ, что на самом деле делает HyperLogLog и причем тут желтые кирпичи...
10 апреля 2022
В этом выпуске: чему мы научились за неделю; Используем Property-Based тесты в Rust; Храним онтологии в самых передовых DBaaS; Храним телеметрию; Храним твиты и фоточки в Perkeep; Храним… [00:02:19] Ч...
04 апреля 2022
В этом выпуске: чему мы научились за неделю; обсуждаем вопрос слушателя к выпуску о менеджменте; разбираемся в Stardog; вопросы слушателей. [00:05:06] Чемы мы научились за неделю [00:19:24] [Неперенос...
27 марта 2022
В этом выпуске: невнятное бурчание про JSONB, Asahi Linux и Debezium. Новый релиз Go 1.18: генерики! физинг! воркспейсы! … wait, what? А также ваша любимая рубрика — книжный клуб. [00:01:34] Чему мы н...
20 марта 2022
В этом выпуске: заставили себя выйти, чтобы не загнулся подкаст; непереносимая тема про базу данных Orca; предпоследняя глава книжного клуба по книге «The manager’s path»; немного новостей одной строк...
13 марта 2022
В этом выпуске: смазываем Cherry MX Brown свитчи и используем SQL для работы с JSON; Гость помогает нам найти все необычные корреляции на проде и правильно инструментировать контейнерны; Непереносимая...
20 февраля 2022
В этом выпуске: довольно классический выпуск про базы данных: SpiceDB, PG; темы и вопросы слушателей. Шоуноты: [00:03:16] Чему мы научились за неделю [00:17:20] Intel’s strategy for outflanking Arm ta...
14 февраля 2022
В этом выпуске: MariaDB вышла на биржу, как выглядит ворон под кислотой и почему Ozon ушел с Flutter, Kubernetes как средство борьбы с когнитивной нагрузкой, новые приколы с интервью в условиях удален...
06 февраля 2022
В этом выпуске: ФинЗен, что такое FIRE, как можно откладывать и не выгореть, разбираем как упал Roblox и как его чинили, как не надо использовать mmap и немного GameZen напоследок Шоуноты: [00:04:14]...
30 января 2022
заМечательная Света и подгавкивающий Ваня. А так же снова о прохождении интервью и внутренностях PostgreSQL. Шоуноты: [00:02:35] Чему мы научились за неделю [00:03:27] Ray Tracing in One Weekend на Ru...
23 января 2022