Proofs (both results and techniques) are a mathematician's ammo. It is not good ... | Hacker News

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

		deredede on March 21, 2023 \| parent \| context \| favorite \| on: Surprise computer science proof in combinatorics Proofs (both results and techniques) are a mathematician's ammo. It is not good strategy to wait for a war to start before building ammo.

riku_iki on March 21, 2023 [–]

And then you open ammo storage when you need it and see it is polluted by 99.9% of irrelevant garbage.

Math is like code: technical debt makes moving forward much harder.

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