Technical

Literature

Research Links

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 -- The C++ language is 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.
• Wikipedia Page about C++0x Standard -- If you have a favorite programming language feature I'm sure that it's in C++0x!

General Links

• Upside Down Maps
• Mass Extinctions
• What Killed the Dinosaurs? (a glimpse into a completely different, but fascinating, area of science)
• Exit Mundi
• UCMP Time Machine
• Central PA Roads