Pure Virtual Cast // Константин Владимиров // 27.01.2022
Вставка
- Опубліковано 21 вер 2024
- Подробнее о конференции C++ Russia: jrg.su/W8skjE
- -
Гость выпуска - Константин Владимиров. Константин работает в Intel, где руководит частью команды графического компилятора. В свободное время преподаёт информатику в МФТИ.
Всё о конференции C++ Russia: bit.ly/3DRCxvp
![Звуковые иллюзии, которые работают на всех (почти) [Veritasium]](http://i.ytimg.com/vi/8pCuUfbdheE/mqdefault.jpg)
Спасибо за интересный подкаст, конечно Константина надо просить еще приходить
Ух!! Замечательно зашло. Час пролетел незаметно. Жду продолжение.
Я рад
Интересный мужик. За все задачи из Кнута можно памятник ставить.
Спасибо!
Спасибо, было очень интересно
Спасибо за гостя
Спасибо за запись!
Лайк сразу за гостя!
Считаю невероятно непозволительным допущением, что в описании явно не указана ссылка на канал Константина. Благо канал легко гуглится. Прослушал интервью на одном дыхании, даже пожалел, что по физтеховской традиции смотрел в 2х(((
Ждём второй раз в гости!
👏
A+++
В ЛЭТИ никто до 3 курса не дает с++ потрогать) так же с Си и ассемблера начинают
А можно раскрыть комментарий про невозможность написать красно-черное дерево (36.50) на языках без указателей?
Что мешает написать RBT на функциональном языке? Почему это перестает быть true-RBT только из-за того, что есть промежуточное представление?
Мне кажется, это звучит как "если у вас нет ленты и головки, значит ваш язык не полный".
Хаскеллом очень в юности увлекался. Окасаки тоже читал. Знаете, а давайте вы попробуете решить простую задачу. Кнут предлагал в первом томе такую интересную оптимизацию деревьев как threaded trees -- "прошитые деревья", в которых дополнительно используются обычно простаивающие без дела конечные нулевые указатели. Это облегчает обход и т.п. Попробуйте на любом функциональном языке написать сбалансированное прошитое дерево. С правильной алгоритмической сложностью всех операций (включая, конечно, range-based queries). У меня в своё время на этой задаче закончилось увлечение функциональным программированием, т.к. в процессе её выполнения многое для себя понимаешь.
@@tilir я знаю про прошитые деревья и пробовал их реализовывать, но слабо разбираюсь в ФП и как то не тянет, не могли бы вы пояснить в чем там возникают проблемы?
Почему программисты не идут в преподавание? - а какой дурак пойдёт работать за 20 тысяч + 2 премии в год (во время экзаменов с определенным риском) 😂
Rust "не для людей" как верно было кем-то замечено, допустим. Но писать почти любой софт будут нейросети, а не производители багов. И языком для нейросетей будет именно Rust, просто потому что спроектирован правильно и с нуля... А имена и авторитеты к языку программирования - абсолютно ни к чему.
Почему бы нейросетям не писать сразу на SSA представлении? Ну типа в LLVM IR. Зачем им вообще языки высокого уровня?
@@tilir Это нужно будет для предоставления человеку понятных машинных доказательств, который сделал ИИ, контролируемый человеком. Но даже если ИИ будет спроектирован писать код в ином виде, высокоуровневые его представления будут предельно ясными для человека ввиду ясных математических нотаций лежащих в основе Rust. С++ же наоборот - болтает из стороны в сторону.
@@evgenytarasov2541 для представления доказательств есть специализированные языки, напр. Coq.
Хорошо ты курнул, дружок
Ты у нас, оказывается, главный производитель багов 😮