Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование
(Качество звука и видео, к сожалению, потрадали из-за неверных настроек записи.)
Гость третьего выпуска: Дмитрий Волков. Дмитрий работает в лаборатории Касперского, организует выездные школы по формальной верификации, помогал на выездных воркшопах Кочерги, поёт, играет, учится на психолога и дайвинг-инструктора.
Ведущий: Вячеслав Матюхин, сооснователь Кочерги.
Среди тем, которые обсуждались:
делегирование дел за деньги
самопрезентация, сигналинг, эстетика
летняя школа Лялямбда (https://lalambda.school/)
полезность формальной верификации для мира и борьбы с рисками сильного ИИ
Анонс встречи: https://kocherga-club.ru/events/aoowk...
Про подкаст: https://kocherga-club/projects/podcast
Кочерга: https://kocherga-club.ru
Watch video Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование online without registration, duration hours minute second in high quality. This video was added by user Кочерга 15 June 2021, don't forget to share it with your friends and acquaintances, it has been viewed on our site 493 once and liked it 12 people.