22 Nov
2011
22 Nov
'11
12:27 a.m.
On Tue, 22 Nov 2011 07:11:43 +0200, Jussi Peltola said:
Anybody who has seen what kind of bizarre malfunctions failed electrolytics cause in consumer electronics will probably not feel very comfortable trusting traffic lights whose safety relies on software that is proven correct.
Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth :)