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