Подкаст о программировании, IT и смежных темах (16+)
В этом выпуске: говорим про компанию Mad Devs, ее историю и процессы; говорим про Terraform и бойлер, коротко про сервис AWS EKS и почему возникла идея сделать этот проект; состояние PostgreSQL и комьюнити на 2021; делимся тем, что мы узнали за неделю; третья скала и новый Erlang.
В этом выпуске: как записывать подкаст с планшета, как довести всех в компании до белого каления, чтобы многие разбежались, как postgresql не прошел бы Jepsen тест, и почему; как взломать golang приложение через взлом ядра и NFS-сервера, и многие другие темы, включая вопрос (один!) слушателя
В этом выпуске вы узнаете куда ставить ClickHouse, а куда лучше не стоит; когда к ClikHouse можно будет делать расширения и как это будет работать; как эффективно исполнять запросы и как JIT сделает всё ещё лучше; чем заменить ZooKeeper и какие глупые заблуждения были у Валеры, невнимательно читавшего документацию :)
В этом выпуске: как стать архитектором и чтобы машина делала за тебя всю работу, новая работа Саши, как понять, что SIP в MacOS ломает ваши тесты, новая книжка от Michael W Lucas, а также полюбившиеся многим рубрики ИнтервьюЗен, SaaSZen, и темы наших слушателей.
В этом выпуске: Говорим про облака: AWS, Яндекс.Cloud, Azure, GCP; кому и зачем нужен Terraform: сравниваем его в Ansible, Puppet, Chef; говорим о будущем Golang; Ваня завершает поиск работы; GameZen; вопросы слушателей.
В этом выпуске: обсуждаем разработку IDE с Никитой, какой она должна быть, какие они были за последние 50 лет, отзывчивость UI, тренды и идеи; ИнтервьюЗен — заметки Ивана об интервью в разные компании; трэш при распознавании нашего подкаста; еще несколько более мелких тем, и вопросы слушателей
В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации? На закуску мы традиционно побурчим на SaaS’ы и починим валерин HDMI.
В этом выпуске: передовые технологии от ведущего игрока на рынке, поиск работы через LinkedIn и интересные находки на собеседованиях, как по Crunchbase и другим публичным источникам понять, в какую компанию вы идете, ставим на биос апдейт для удвоения печали, сравнение алгоритмов сжатия PGLZ и LZ4, а еще в чем кайф любительского радио и другие темы.
В этом выпуске: Печем блины вместе с Валерой и рисуем на доске вмете с Miro; Пытаемся разобраться в актуаторах и сенсорах вместе с гостем и его IOT платформой; проводим Свете новый интернет; Вопросы слушателей и немного GameZen под занавес
В этом выпуске: окончательно перешли на телеграм, отвод тепла от плат и от датацентров; MIPS переходит на RISC-V; обсуждаем пост Амазона об очередях и асинхронных системах; рассуждаем про Helios.