Hacker News Reader

I'm reading this and just realized one author is the famous Field medalist, Shing-Tung Yau :-)

Sorta like when David Mumford got interested in computer vision, I guess.

you' kiddin?

Tim Gowers is interested in automated theorem proving too!

Surprising. Voeovdski also.

Also positioned as not anti proof assistants I meant.