Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование
(Качество звука и видео, к сожалению, потрадали из-за неверных настроек записи.)
Гость третьего выпуска: Дмитрий Волков. Дмитрий работает в лаборатории Касперского, организует выездные школы по формальной верификации, помогал на выездных воркшопах Кочерги, поёт, играет, учится на психолога и дайвинг-инструктора.
Ведущий: Вячеслав Матюхин, сооснователь Кочерги.
Среди тем, которые обсуждались:
делегирование дел за деньги
самопрезентация, сигналинг, эстетика
летняя школа Лялямбда (https://lalambda.school/)
полезность формальной верификации для мира и борьбы с рисками сильного ИИ
Анонс встречи: https://kocherga-club.ru/events/aoowk...
Про подкаст: https://kocherga-club/projects/podcast
Кочерга: https://kocherga-club.ru
Watch video Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование online, duration hours minute second in high quality that is uploaded to the channel Кочерга 15 June 2021. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 493 times and liked it 12 visitors.
