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