ishtu's comments

ishtu | 9 years ago | on: The tragedy of 100% code coverage (2016)

>Testing is usually regarded as an important stage of the software development cycle. Testing will never be a substitute for reasoning. Testing may not be used as evidence of correctness for any but the most trivial of programs. Software engineers some times refer to "exhaustive" testing when in fact they mean "exhausting" testing. Tests are almost never exhaustive. Having lots of tests which give the right results may be reassuring but it can never be convincing. Rather than relying on testing we should be relying in reasoning. We should be relying on arguments which can convince the reader using logic. http://www.soc.napier.ac.uk/course-notes/sml/introfp.htm

ishtu | 9 years ago | on: MSSQL on Linux – the details

user space version of the NT kernel (known as NTUM - "user mode NT")

This is pretty neat. Wonder if people could use it to run other Windows stuff on Linux

Edit: formatting

page 2