Academics:

• Seminars: Princeton | UPenn | Columbia | NYU
• Video seminars: Purdue CERIAS | Columbia | Harvard | AT&T
• Security conferences | Security conferences 2 | PL conferences | SE conferences | PL Great Works | Good papers | PL Weblog
• IT news: Slashdot | Security Focus
• Genealogy Project

Research links:

• 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: Help with Latex | Wikibook | Tex FAQ | Tex Resources | Math | Symbols | AMS Math | Tables
• Java: Cheatsheet | Spec. | Java2 API | Java Generics | Java Swing
• C: Spec. | C Book
• HTML: 4.01 Spec | Summary
• Python: Quick ref | Standard library
• OCaml

• Dictionary: OneLook | Bartleby | Medical Dictionary | Quotes
• Encyclopedia: Hyperdictionary | Mathworld | Wikipedia
• Grammar: Book of Eng Usage | Articles | Quantifiers, Determiners | Synonyms | Punctuation Marks
• Writing: Elements of Style | The Science of Scientific Writing | A Chinese article on writing

• BASH | gdb
• Intro to X
• Gimp
• Emacs: Manual | Programming in Emacs Lisp
• Font Howto | RPM

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

Mottoes