Home | Blog | Wiki | About

• Books for reference
• Writing: Resources for help in academic writing
• Timeline of software
• Papers: Jottings from papers that I have come across
• Today: Random stuff that I came across

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

• Useful unicode
• Some questions
• Few vagaries of C

• 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