News for hackers. Stuff that matters.

A comment on Some stuff I found interesting about number theory research. Parent comment

Re:Some stuff I found interesting about number theory research by jkhdigital on Monday July 26, 2021 @07:20AM (#27958086)
This is an explicit goal of one of of the creators of homotopy type theory, Fields medalist Vladimir Voevodksy: https://www.ias.edu/ideas/2014/voevodsky-origins

Apparently he now uses Coq in his everyday work.

[ Parent | on HN ]
Re:Some stuff I found interesting about number theory research by alexilliamson on Monday July 26, 2021 @07:56AM (#27958336)
He's been dead for four years?
[ Parent | on HN ]
Re:Some stuff I found interesting about number theory research by jkhdigital on Monday July 26, 2021 @11:01AM (#27960235)
Oh snap, I had no idea that he died! Wow... that's a profound loss for the field of mathematics.
[ Parent | on HN ]
Re:Some stuff I found interesting about number theory research by dhosek on Monday July 26, 2021 @08:27AM (#27958556)
Apparently he didn’t shut down his computer before he died.
[ Parent | on HN ]
Re:Some stuff I found interesting about number theory research by queuebert on Monday July 26, 2021 @01:25PM (#27962241)
Dat uptime tho
[ Parent | on HN ]