Третий выпуск нашего подкаста. Качество звука и видео, к сожал | Кочерга

Третий выпуск нашего подкаста. Качество звука и видео, к сожалению, сильно пострадали от сжатия на стороне Zoom'а (в следующий раз будем писать хотя бы звук локально).

Гость третьего выпуска: Дмитрий Волков. Дмитрий работает в лаборатории Касперского, организует выездные школы по формальной верификации, помогал на выездных воркшопах Кочерги, поёт, играет, учится на психолога и дайвинг-инструктора.

Среди тем, которые обсуждались:
- делегирование дел за деньги
- самопрезентация, сигналинг, эстетика
- летняя школа Лялямбда (https://lalambda.school/)
- полезность формальной верификации для мира и борьбы с рисками сильного ИИ

Как всегда, будем благодарны за помощь с таймкодами :) (их можно скидывать в личку @berekuk)