• Books for reference
• Writing: Resources for help in academic writing
• Papers: Jottings from papers that I have come across
• Today: Random stuff that I came across
• History: Some CS history timelines

• Coq stuff
• Haskell stuff
• OCaml stuff
• Python stuff
• LaTeX: Name of some LaTeX packages
• Electronic Design Automation stuff

• Useful unicode

• Software: Some nice software
• Open source hardware: Some open source hardware design tools

• Quotes: Few quotes related to academia
• Jokes: Some jokes and stuff that I collected
• Anecdotes: Stories possibly helpful for teaching PL concepts
• Puzzles
• Examples of ambiguous statements

• A list of PL-related conferences and journals