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