Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Homotopy Type Theory (2012) [pdf]. Parent comment
I don't have any dog in this fight, but I also find it super interesting that this topic gets to the 1st page so often.
TBH I think answering that question is more interesting that litigating foundations.
There are no comments on this comment yet.
I don't have any dog in this fight, but I also find it super interesting that this topic gets to the 1st page so often.
TBH I think answering that question is more interesting that litigating foundations.