Epistemology
From APIDesign
Line 1: | Line 1: | ||
- | When I wrote [[TheAPIBook]] I concentrated a lot on the concept of [[cluelessness]]. To be honest, I derived that observation from two sources. The original [[Media:RinardOOPSLA06.pdf|Martin Rinard]] presentation and a book by Petr [[Vopěnka]] analysing why we believe | + | When I wrote [[TheAPIBook]] I concentrated a lot on the concept of [[cluelessness]]. To be honest, I derived that observation from two sources. The original [[Media:RinardOOPSLA06.pdf|Martin Rinard]] presentation and a book by Petr [[Vopěnka]] analysing why we believe our geometry is correct. Of course with such preparations, I watched with a great enthusiasm following ''Nathan Marz'' presentation discussing ''why we believe our software is correct''. It is the best keynote I have ever seen I and recommend it to everyone who wants to develop [[good]] software: |
{{#ev:youtube|_7Lp66By6-o}} | {{#ev:youtube|_7Lp66By6-o}} |
Current revision
When I wrote TheAPIBook I concentrated a lot on the concept of cluelessness. To be honest, I derived that observation from two sources. The original Martin Rinard presentation and a book by Petr Vopěnka analysing why we believe our geometry is correct. Of course with such preparations, I watched with a great enthusiasm following Nathan Marz presentation discussing why we believe our software is correct. It is the best keynote I have ever seen I and recommend it to everyone who wants to develop good software:
I believe Nathan's conclusions are similar to mine. Especially the Chapter 11's path of a warrior leads to the same conclusions. The only certainty about a software we produce is the part that we (automatically) test. The more certainty we want, the more (automatic) tests we shall produce. So much about truth...