In an effort to get back in the habit of writing here, I thought I'd throw out something less technical.
One of my main interests is mathematics. Like a lot of people who love math, I end up getting the typical "oh I'm not good at math" or "I never liked math" responses when I tell people this. I try to clarify the situation by pointing out that it's not math they dislike, it's arithmetic. Arithmetic is all the algebra, long division, how-do-I-multiply-fractions business that most people associate as Math with a scary capitol M. That's not math, it's mechanism. To me, mathematics is the science of structure. It's the science that at a fundamental level tries to both abstract away phenomenon to their core essentials and illustrate the deep connections between the seemingly disparate.
Given this characterization, it probably is no surprise that my favorite branch of mathematics is category theory. I find this "abstract nonsense" to be rather inspiring in it's ability to connect ideas and concepts together, to serve as a framework for abstraction. What's more are the apparently rich ties to computer science. Haskell's monads may seem like the proverbial dead horse here, but they really are an excellent example.
I have been studying category in my spare time for several months now. My main book is MacLane's "Categories for the Working Mathematician". I think it's a very dense, but very good, book. My recommendation for study from it is to spread it out over short periods. Don't try and sit down and absorb fifty pages of this book at once, it won't work. Just read a single section, do a couple of the proofs, and then go back to something else for the rest of the day. I find it's a pretty good book to work on during lunch breaks, if your company is nice enough to give you hour long ones.
There are a few mathematical ideas that I've been kicking around lately: first, how does one generalize the notion of continuous function & homotopy to categories instead of topologic spaces. Now, I did some skimming around and found that continuous functors are defined as ones that preserve limits in a category but I realized that I'm not sure if this is just a meaningless pun or if limits in a category really do have the same meaning as limits in a topologic space. Second, is a general interest of mine in mathematical foundations of genetic programming and genetic algorithms. Not in terms of convergence and all that, but more in terms of what structure you need to have on the genotype and the transformation to phenotype in order to have a system able to evolve. For example, it seems like you need to have some sort of zipper-like structure on the genotype in order to do crossover. I haven't thought about it too much though.