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

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

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

К ноль-три-три-ноль
Темы принести изволь.
Ноль-четыре ноль-четыре
Встретимся в прямом эфире!

В этом выпуске: передовые технологии от ведущего игрока на рынке, поиск работы через LinkedIn и интересные находки на собеседованиях, как по Crunchbase и другим публичным источникам понять, в какую компанию вы идете, ставим на биос апдейт для удвоения печали, сравнение алгоритмов сжатия PGLZ и LZ4, а еще в чем кайф любительского радио и другие темы. Читать далее →

Оставляйте свои темы для следующего выпуска!

Голосуйте за темы других слушателей!