В этом выпуске: Говорим про облака: AWS, Яндекс.Cloud, Azure, GCP; кому и зачем нужен Terraform: сравниваем его в Ansible, Puppet, Chef; говорим о будущем Golang; Ваня завершает поиск работы; GameZen; вопросы слушателей. Читать далее →

Предлагайте в комментариях темы к выпуску и голосуйте за чужие темы. Если тема наберет много голосов, мы ее обязательно обсудим. Если не наберет, то все равно обсудим, если тема покажется нам интересной. Также приходите слушать и комментировать прямой эфир. Только в прямом эфире вы получаете уникальный контент из пре- и послешоу.

В этом выпуске: обсуждаем разработку IDE с Никитой, какой она должна быть, какие они были за последние 50 лет, отзывчивость UI, тренды и идеи; ИнтервьюЗен — заметки Ивана об интервью в разные компании; трэш при распознавании нашего подкаста; еще несколько более мелких тем, и вопросы слушателей Читать далее →

Друзья, не забывайте формально верифицировать ваш интерес к подкасту добавляя свои темы и голосуя за чужие.

Встретимся в прямом эфире!

В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации?
На закуску мы традиционно побурчим на SaaS’ы и починим валерин HDMI.
Читать далее →