Wiki

Ever-evolving pages.

Computer science books: CS books for reference
Proverbs: A collection of proverbs
Quotes: Interesting quotes
Poems: Poems that I found interesting
Words: A collection of words and their meanings
Questions: Does anyone know the answers? Am looking for them.
Today: Random info
Coq: Stuff related to the Coq proof assistant
Miscellaneous: Other stuff