Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sabujp
on Dec 5, 2017
|
parent
|
context
|
favorite
| on:
Barliman – real-time program synthesis to make the...
As a TDD, I really don't care too much about the implementation as long as my tests pass. Performance however is another issue, but that's something that can be optimized and re-written into something like this depending on the language.
adamsea
on Dec 5, 2017
[–]
But how do you know you have sufficiently full tests which assess program correctness, to paraphrase the parent?
jononor
on Dec 6, 2017
|
parent
|
next
[–]
Property-based testing, preferably with with heavy use of design-by-contracts style pre/post/invariants checking. Ideally also mutation testing.
rexpop
on Dec 5, 2017
|
parent
|
prev
[–]
That is a skill requiring study and practice.
I call it "being a good programmer."
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
