Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование.

(Качество звука и видео, к сожалению, потрадали из-за неверных настроек записи.) Гость третьего выпуска: Дмитрий Волков. Дмитрий работает в лаборатории Касперского, организует выездные школы по формальной верификации, помогал на выездных воркшопах Кочерги, поёт, играет, учится на психолога и дайвинг-инструктора. Ведущий: Вячеслав Матюхин, сооснователь Кочерги. Среди тем, которые обсуждались: - делегирование дел за деньги - самопрезентация, сигналинг, эстетика - летняя школа Лялямбда () - полезность формальной верификации для мира и борьбы с рисками сильного ИИ Анонс встречи: Про подкаст: https://kocherga-club/projects/podcast Кочерга: