Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
stale2002
on Sept 21, 2016
|
parent
|
context
|
favorite
| on:
Hacker-Proof Code Confirmed
Well then the spec isn't just a spec. It is a programming language in and of itself.
And how do you prove that THAT spec is correct?
It is turtle specs all the way down.
Crespyl
on Sept 21, 2016
[–]
Sooner or later your spec language is just English and you have to get the lawyers involved. ;)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
And how do you prove that THAT spec is correct?
It is turtle specs all the way down.