I remember reading some sci-fi involving a treaty so complicated it had to be ma... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

JabavuAdams on Jan 14, 2010 | parent | context | favorite | on: When can a comma cost you $2 million?

I remember reading some sci-fi involving a treaty so complicated it had to be machine-verified.

Too bad about that Gödel guy, though.

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