Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование.
(Качество звука и видео, к сожалению, потрадали из-за неверных настроек записи.)
Гость третьего выпуска: Дмитрий Волков. Дмитрий работает в лаборатории Касперского, организует выездные школы по формальной верификации, помогал на выездных воркшопах Кочерги, поёт, играет, учится на психолога и дайвинг-инструктора.
Ведущий: Вячеслав Матюхин, сооснователь Кочерги.
Среди тем, которые обсуждались:
- делегирование дел за деньги
- самопрезентация, сигналинг, эстетика
- летняя школа Лялямбда ()
- полезность формальной верификации для мира и борьбы с рисками сильного ИИ
Анонс встречи:
Про подкаст: https://kocherga-club/projects/podcast
Кочерга:
11 views
1666
703
5 months ago 01:28:32 1
Лицензия на убийство, вино и скейтбординг. Евгений Шамов о переезде в Крым.
1 year ago 00:02:05 2
ЖИВАЯ КРАСНАЯ | Александр Батраков «У дороги возле леса»
3 years ago 00:37:19 2
Витгенштейн – один против бессмысленности
3 years ago 01:49:34 18
Подкаст Кочерги #9. Андрей Крутиков. Спонсорство Кочерги, буддизм и разработка ИИ
3 years ago 01:56:20 7
Подкаст Кочерги #8. Антон Желтоухов. Рационалистские проекты, ИИ и эзотерика
3 years ago 00:08:40 7
Бен Шапиро l Реакция на ТикТокеров!
3 years ago 02:13:24 26
Подкаст Кочерги #4. Антон Чайников, математика, цеттелькастен, Anki, модели и коммуникация
3 years ago 02:12:45 11
Подкаст Кочерги #3. Дмитрий Волков, формальная верификация, эстетика и делегирование.
4 years ago 01:35:28 37
Подкаст Кочерги #2. Слава Меритон, математика, выигрывание и сектантство
4 years ago 01:35:30 40
Подкаст Кочерги #1. Андрей Ведерников, ситхские техники, математика и Ауманн
4 years ago 01:17:16 1
Вячеслав Матюхин — Рациональность: как принимать лучшие решения [RationalAnswer]