Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
abcde666777
9 days ago
|
parent
|
context
|
favorite
| on:
Further human + AI + proof assistant work on Knuth...
That just takes you back to the debate about the code being the spec.
help
986aignan
9 days ago
[–]
The code lets you shoot yourself in the foot in a lot more ways than a spec does, though. Few people would make specs that include buffer overflows or SQL injection.
reply
magicalist
9 days ago
|
parent
[–]
"and don't have any security vulnerabilities" isn't a spec though. As soon as you get specific you're right back in it.
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
