5538745 comment Comment Re:Thank goodness (Score 1) 517 by pjturpeau on Thursday August 13, 2009 @09:21AM (#29050773) Attached to: World's First Formally-Proven OS Kernel I think he used a kind of ironic structure in his sentence. And you should check your language too.
2779099 comment Comment Re:Now for the BIG decision (Score 1) 112 by pjturpeau on Saturday September 27, 2008 @11:26AM (#25177565) Attached to: California Sec. of State Wants Open Source E-Voting Systems None of them. I suspect that a single full-screen application that runs as the window manager by itself would be more secure and less error prone.