Stuff that is cool :

• Deep Inference

• Mars

Miscellaneous Miscellanea

Among all the things I do to avoid actually doing any meaningful work, I quite enjoy reading, and sometimes writing, poetry.