“Attempting to prove any nontrivial theorem about your program will expose lots of bugs: The particular choice makes little difference!”
miniblog.
Related Posts
Google partly penetrated, perpetrators attempting to access gmail accounts of Chinese human rights activists.