Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lanstin
3 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.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: