Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
Proof Theory as an Alternative to Model Theory
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.