So your nitpick is just that you'd describe the mistake differently? Ok. The con... | Hacker News

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

		tialaramex on Sept 14, 2023 \| parent \| context \| favorite \| on: Bug in macOS 14 Sonoma prevents our app from worki... So your nitpick is just that you'd describe the mistake differently? Ok. The consequences are exactly the same. Once you express what the humans actually thought they were getting the proof engine says "No".

pritambaral on Sept 14, 2023 [–]

> Once you express what the humans actually thought ...

>> I'm not arguing that mathematical proofs are infallible to modeling inaccuracies, or that ...

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