I'm studying for a Discrete Mathematics test tomorrow. Aaah!! I'm learning Predicate Calculus in that class though so that's exciting. It's fun to finally be a bit more versed in all that. It also helps that I listened to Faith, Evolution, and Programming Languages yesterday and feel like I have a better understanding of Type Systems Theory thanks to that.
Other stuff: Thinking too much, as usual. Mostly about computers but also had good discussions with Teresa and Bria about the notion of progress and whether or not we are in a state of decline. More on that soon hopefully. I need to get some of those thoughts down after the discussions have fleshed out a bit more. Anyone else have thoughts to contribute or want in on the discussion?
I really want to write something about why Computer Science as a field is provocative and unique to me. I've also sort of started my nerd/programming pdf/ebookshelf. Presently on it are the following:
Structure and Interpretation of Computer Programs by Abelman and Sussman
The Art of Computer Programming, Vol. 1-3 by Donald Knuth
Concrete Mathematics by Donald Knuth
Code Complete, 2e by Steve McConnell
The Tex Book by Donald Knuth
Programming Erlang by Joe Armstrong
The Best Software Writing (selected) by Joel Spolsky
Introduction To Algorithms, 2e by MIT Staff
Learning Perl, 4e by Phoenix and Schwartz
Linear Algebra and It's Applications, 3e by Gilbert Strang
The Practice of Programming by Kernighan and Pike
How to Think Like a Computer Scientist: Learning With Python by Downey, Elkner, and Meyers
I also have some physical copies of other books and should probably come up with a comprehensive syllabus (similar to the one I did for open source a while back and my book wish list just before summer) for CS books in the near future.
This means I'm now studying two languages for school and two in my spare time. Java and C for school and Erlang and Scheme for fun. It makes me feel a little crazy because I don't know that anyone else actually does this. If there was someone else at SPSU that was studying Erlang that would literally surprise the hell out of me and I don't know how to feel about that. *shrug*
Also, I'm looking forward to possibly switching from Ubuntu to Fedora when Test2 drops on Thursday and I'm thinking of trying FreeBSD and Nexenta or OpenSolaris in the future. More on stuff like that and hardware nonsense later.
Finally, a few songs I've been enjoying:
Incubus - Talk Shows on Mute
The Stills - Yesterday Never Tomorrows
Guster - I Hope Tomorrow Is Like Today
Zero 7 - Out of Town
Incubus - Agoraphobia