Thanks, I'll copy this to my tablet so I can carry it around with me. Looking fo... | Hacker News

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

login

codedrome on July 12, 2019 | parent | context | favorite | on: Constructive mathematics and computer programming ...

Thanks, I'll copy this to my tablet so I can carry it around with me.

Looking forward to being impressed (hopefully) that it is still relevant today.

AnthonBerg on July 12, 2019 [–]

That paper is still the future, it looks like to me.

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