User:Rcog

I

 * study computer science
 * find stoicism to be an appealing philosophy
 * am a non-revolutionary anarchist
 * practise Tai Chi (Yang) & a bit of Lok Hup
 * play piano (not as much as I would like, though)
 * am a starcraft addict

Music

 * Baroque Music
 * Beethoven and some romantic composers
 * electronic music: mostly industrial and electronica but it can go as far as Massive Attack and Kraftwerk

Books

 * Philip K. Dick
 * Frank Herbert
 * western cannon (contains great stuff)
 * existentialists (don't know too much about the philosophy, but the books are great)

TV

 * Star Trek (see my user page on Memory Alpha)

Tools

 * debian
 * firefox
 * emacs
 * ratpoison

Bookmarks

 * Portal: Literature
 * Portal: Mathematics

TODO

 * inverse method (automated reasoning)
 * Small Step Semantics
 * User:Chalst/watchlist

fr: Utilisateur:Rcog