But yes, this is (partly) a programming language where the uptake will depend on... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

auggierose on Dec 15, 2013 | parent | context | favorite | on: Voevodsky’s Mathematical Revolution

But yes, this is (partly) a programming language where the uptake will depend on how easy it is to understand.

By the way, I don't have a PhD in mathematics, but I do have a PhD in interactive theorem proving.

fedvasu on Dec 15, 2013 [–]

my point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact