Academics:

• Career advice
• Experimentation skills: Systems benchmarking crimes | How not to lie with statistics
• Video seminars: NSF Watch | Chalmers | Purdue CERIAS | Columbia | Harvard
• Security conferences | Security conferences 2 | PL conferences | SE conferences | PL Great Works | Good papers | PL Weblog
• IT news: Slashdot | Security Focus
• Genealogy Project

Writing:

• Grammar: Articles | Articles, determiners, and quantifiers
• Writing skills: Elements of Style | The Science of Scientific Writing | A Chinese article on writing

• Dictionary: OneLook | Medical Dictionary | Quotes
• Encyclopedia: Hyperdictionary | Mathworld | Wikipedia

• Static-analysis infrastructure: CIL | Frama-C | CompCert | Why | LLVM | CLang | Soot | Wala | Phoenix | Javalib
• Tool-of-choice award: OpenOffice Draw | SLocCount | GNU Global | Beamer

• Latex: Wikibook | Tex Resources | Symbols | Tables | Proofs
• Visualization tools: Python ggplot
• Java: Cheatsheet | Spec. | Java2 API | Java Generics | Java Swing
• C: Spec. | C Book
• HTML: 4.01 Spec | Summary
• Python: Quick ref | Standard library
• OCaml
• R: Tutorial | R formulas

• BASH | gdb | Emacs: Manual | RPM
• Docker: Tutorial | mount

• Free Graphics: Open Clipart | CSS templates | EOS | Index
• Find a person

Mottoes