A new term starts on Wednesday, but the following are all on the list for discussion:

1. Dan Friedman, et al. The Reasoned Schemer
2. Flapjax: lifting and a few growing pains
3. My thesis

Harking to Mark Liberman of Language Log‘s call for science blogs, I’ve started up this bit of silliness. I’m a computer science student, focusing on verification, temporal logic, and programming language theory. You know, the usual.

The name is random, left over from software I used to write. I have my own image, but try to free associate the two: weasel, hat; hat, weasel. Yes, yes, that’s good.