what… argument? anyway, pretty sure larry is quite fluent with how mathematics i... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cmrx64 85 days ago \| parent \| context \| favorite \| on: Set theory with types what… argument? anyway, pretty sure larry is quite fluent with how mathematics is done.

epolanski 85 days ago [–]

Doesn't show in the premise.

TimorousBestie 85 days ago | [–]

That first sentence has very little to do with the content of the essay; you’re being pedantic. You understand very well what was meant.

epolanski 85 days ago | | [–]

You're probably right, that was a bit pointless of a comment.

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