Sunday May 1st

Friday April 29th

Thursday April 28th

Wednesday April 27th

3 Kicks

"Correctness Provability" Should be the Goal, not Testability

"So in short: automated tests can show you you broke something which did work before. So they can prove your code ISN'T correct. They can't prove your code IS correct. That's a big difference and often overlooked."


Commenting on Stories is limited for now and will open up to those recommended by the community. Learn how
Loading DotNetKicks...
brought to you by the Kicks Network