"It is hard to reason about an arbitrary chunk of code specifically because you
cannot tell what it does not do. Developers voluntarily impose constraints on the
system in order to amplify their reasoning abilities."
Somehow, it just seems like the kind of thing a Greek and Latin graduate student with free lance experience in web development would do. It began as a pet project of Tim's to catalog his own books, and those of his book-loving friends. And so began the first social book cataloging site. LibraryThing.com launched on…