Vladimir Voevodsky has died · HackerTrans