Do you understand the irony in posting this on a comment chain ostensibly reject... | Hacker News

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

		ux266478 22 days ago \| parent \| context \| favorite \| on: “Why not just use Lean?” Do you understand the irony in posting this on a comment chain ostensibly rejecting foundational objectivism?

Revanche1367 21 days ago [–]

Not everyone has to subscribe to your philosophy, weird I know.

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