These are various links that I've come across in my travels through the tubes of the interwebs. Research Languages: Jif | Flow Caml | Polyglot | Twelf Organizations: Systems and Internet Infrastructure Lab | UPenn PL Club General Resources: Logical Frameworks Technical Fun Languages: Unlambda | Lazy K | Malbolge Not-Fun Languages: Caml | SML/NJ | Lambda the Ultimate | Portland Pattern Repository's Wiki Funny: Funny Paper Titles | Johnny's Algorithms Homework Literature My Best Friends: Sammy | Ginny | Jimmy | Gabo | Franz | Hunter | Marcy | Billy | Tom | Tommy | Vlad Texts: Prufrock | Clarissa | Godot | Riders | Sisyphus | Finnegan | Prince | Lorax | Canterbury Tales Compiler Frameworks Cil: C compiler framework WALA: Watson Libraries for Analysis (Java bytecode compiler framework) Polyglot: Extensible Compiler Framework for Java extensions phc: PHP compiler framework More Misc Technical Links Quantifier Elimination in OCaml -- This is pretty cool. Complexity Zoo -- I am very happy that I didn't study complexity theory in graduate school. Why We Can't Afford export -- back when all I did was program C++ using STL templates I used to think that export would be a great thing. how young and foolish I was. Little did I suspect that the language was fundamentally insane. Clarifying Misinformation on TCPA -- Trusted Computing and the TPM are not the same thing as Palladium/mandatory DRM for all content on your machine. General Links Upside Down Maps Mass Extinctions What Killed the Dinosaurs? (together with the previous link, a glimpse into a completely different, but fascinating, area of science) Exit Mundi UCMP Time Machine Central PA Roads