Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lanstin
28 days ago
|
parent
|
context
|
favorite
| on:
Why formalize mathematics – more than catching err...
Lawyers (here on HN) have said that contracts that specify everything are too expensive to come up with. Better to cover the most common cases and have enough ambiguity so that weird eventuality end up litigated.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: