Note that in the same vein as Pele, Ronaldinho and Ronaldo, Joel has reach that Brazillian Soccer player level of stardom in the geek community and can pretty much go by just his first name. Admit it, you knew who I was referring to in the title. Admit it! Please indulge me in a brief moment of hubris. I was reading part 1 of Joel Spolsky’s talk at Yale that he gave on November 28 and came upon this quote on code provability... The problem, here, is very fundamental. In order to...
My friend (and former boss and business partner) Micah found this gem of a quote from Donald Knuth addressing code proofs. Beware of bugs in the above code; I have only proved it correct, not tried it. Micah writes more on the topic and reminds me of why I enjoyed working with him so much. He’s always been quite thoughtful in his approach to problems. And I’m not just saying that because he agrees with me. ;) On another note, several commenters pointed out that one thing I didn’t mention before, but should...