I guess that explains why my comment that mentioned C. A. R. Hoare on a programming blog that uses Disqus never showed up...