Что нужно знать про formal verification methods, и какие актуальные сегодня проблемы они решают
Доклад отозван
Тезисы
Доклад в двух частях: первая про проблемы текущих процессорных архитектур и как это влияет на жизнь простых разработчиков, вторая — про возможные способы их решений и их применение в повседневной жизни.
Писал код, обрабатывающий 700 Гб/с трафика одной огромной компании, до этого немного разрабатывал БД. По ночам пишет что-то ✨неведомое✨ на Rust'е.
Пишет firmware для серверов.