from Hacker News

Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51

by iamjeff on 10/10/17, 1:42 AM with 4 comments

• by adamnemecek on 10/10/17, 2:50 AM

  I was somewhat sad when this wasn't covered by main stream media. So I'm glad they are fixing that.

• by 100ideas on 10/10/17, 2:55 AM

  Also check out John Baez 'In Memoriam' post https://johncarlosbaez.wordpress.com/2017/10/06/vladimir-voe...

• by sshine on 10/10/17, 9:18 AM

  > he changed the meaning of the equals sign.

  Into what?