Stanford: Stop Hiring Me (Aaron Swartz: The Weblog)
Holy crap! I wish people would throw jobs like that at me. On the other hand, if they did, I'd probably be even further behind on my course work and research.
Sunday, March 27, 2005
Friday, March 11, 2005
Past the First Post
Well, I'm past the first post (even if I'm not the first past it): my project description and literature review has been submitted to the Honours convenor. If anyone is interested in reading about counter-model construction in the context of modal tableau systems, leave a comment and I'll post a PDF of it.
The next milestone in the Honours program is the introductory seminar I'll have to give on the 29th (IIRC). I'm going to have to start thinking about that soon.
In the coursework stakes, we've got our first assignment for COMP4100 (Software Quality Management) which is proving some theorems in HOL. It's in pairs, so I'll be doing it with the other Honours student Raj is supervising. I've also got a stack of reading to do to catch up with COMP4710 (AI) and COMP4100 (SQM) and I've got to at least look at the available papers for COMP4200 (Milestone Papers in Computing) before I choose one.
I'm going to be very busy for the rest of this year, I think. If the rest is as fun as this last week has been, I'm going to have a good year.
The next milestone in the Honours program is the introductory seminar I'll have to give on the 29th (IIRC). I'm going to have to start thinking about that soon.
In the coursework stakes, we've got our first assignment for COMP4100 (Software Quality Management) which is proving some theorems in HOL. It's in pairs, so I'll be doing it with the other Honours student Raj is supervising. I've also got a stack of reading to do to catch up with COMP4710 (AI) and COMP4100 (SQM) and I've got to at least look at the available papers for COMP4200 (Milestone Papers in Computing) before I choose one.
I'm going to be very busy for the rest of this year, I think. If the rest is as fun as this last week has been, I'm going to have a good year.
Saturday, March 05, 2005
Nostalgia (A Sneak Preview)
For some reason, I got the urge to look up some of the people I went to high school with. So far, I haven't been able find a trace of any of them. It's a bit strange when you think about it: some of them have extremely distinctive names and Google doesn't know them. I went back to Bunbury for a few weeks a couple of years ago and caught up with some old friends there, but I only managed to meet a couple of people from my grade at school (and those by chance).
I was surprised by the number of my friends that didn't go to university after high school and I can't help but wonder what my class mates (especially the interesting ones I didn't know very well) are up to now...
If anyone who went to Bunbury Senior High School in the graduating class of 2001 reads this, drop me a comment.
I was surprised by the number of my friends that didn't go to university after high school and I can't help but wonder what my class mates (especially the interesting ones I didn't know very well) are up to now...
If anyone who went to Bunbury Senior High School in the graduating class of 2001 reads this, drop me a comment.
Wednesday, March 02, 2005
The Bank, Redux
Today, the ATM ate my card. I'm not sure why the banks expire bank cards, but I'm sure that there is a good reason. I just wish that they would wait until the new card is activated until they do so. Now I am without a bank card until next week some time, when the new new one arrives. (The old new one appears to have disappeared somewhere on the path from the bank to me via my old residence in Tasmania and my families home.)
On the plus side, the person I spoke to was more than happy to tell me that although the Commonwealth Bank doesn't offer a debit card one can use on the Visa/Mastercard networks, St. George do. It was nice to get helpful advice for a change. I've heard good things about St. George a number of times now. Perhaps I'll look at switching...
On the plus side, the person I spoke to was more than happy to tell me that although the Commonwealth Bank doesn't offer a debit card one can use on the Visa/Mastercard networks, St. George do. It was nice to get helpful advice for a change. I've heard good things about St. George a number of times now. Perhaps I'll look at switching...
Music and the Purchase Thereof
Less Than Jake: B is for B-Sides
4 Strings: Believe
I posted my brother his birthday present the other day (only a week late) which was good to get out of the way. Since I was skipping my first tutorial for the year, I thought I'd better do something useful done, hence the posting.
I'd asked him what he wanted and his reply was something along the lines of "I dunno" followed, after some prompting, by "a Less than Jake CD, but not the one with the cardboard cover". Armed with that information, I got him B is for B-Sides, the limited edition version that comes with a t-shirt.
I, personally don't have much time for punk, or ska, or whatever genre they classify themselves as, but it is his present I suppose.
On the more self-fulfilling side, I also got myself 4 Strings' Believe. For some reason, I've been leaning more toward dance music for the last month or so. It is quite strange as I usually prefer classical music (especially anything involving lots of strings) and metal. I'd really like to know why I've started liking, or at least tolerating, music with a more mainstream bent lately, but I don't imaging it'll last too long. I do need to get some more classical CD's though.
4 Strings: Believe
I posted my brother his birthday present the other day (only a week late) which was good to get out of the way. Since I was skipping my first tutorial for the year, I thought I'd better do something useful done, hence the posting.
I'd asked him what he wanted and his reply was something along the lines of "I dunno" followed, after some prompting, by "a Less than Jake CD, but not the one with the cardboard cover". Armed with that information, I got him B is for B-Sides, the limited edition version that comes with a t-shirt.
I, personally don't have much time for punk, or ska, or whatever genre they classify themselves as, but it is his present I suppose.
On the more self-fulfilling side, I also got myself 4 Strings' Believe. For some reason, I've been leaning more toward dance music for the last month or so. It is quite strange as I usually prefer classical music (especially anything involving lots of strings) and metal. I'd really like to know why I've started liking, or at least tolerating, music with a more mainstream bent lately, but I don't imaging it'll last too long. I do need to get some more classical CD's though.
Tuesday, March 01, 2005
Laundry: The Bane of Existence
I've come to a realisation: doing laundry is the bane of all that is good and right in the world. This epiphany came after spending quite a bit of time doing, or attempting to do, my laundry last weekend. I prefer to hang my clothes on a washing-line rather than tumble dry but, as I don't know everyone in that lives in the hall, I'd rather not expose my clothes to that risk (as my washing usually includes almost all of my clothes, few though they may be). As hanging them to dry in their own time is not an option with which I am comfortable, I am reduced to wasting energy by using a drying machine.
For some reason the dryers at B&G seem to hate me. On my first attempt to dry my clothes (on Saturday), the only drier free, wouldn't work. I don't know if this was because it knew the lint filter was missing (gone to I don't know where) or if it was suffering from some other mysterious malady, but it refused to work. After going away for a while, I returned to find two dryers empty and, splitting my load, claimed them for myself. Unfortunately, one of them had decided, for whatever reason, that it wasn't going to heat, and so I ended up with one load of dry clothes and another of damp, though will-aired, clothes.
Transferring them to the other dryer, I put them on over night, but the time I put the first load on wasn't enough, so they were STILL damp. At which point, I had my epiphany. Laundry is the bane of existence.
For some reason the dryers at B&G seem to hate me. On my first attempt to dry my clothes (on Saturday), the only drier free, wouldn't work. I don't know if this was because it knew the lint filter was missing (gone to I don't know where) or if it was suffering from some other mysterious malady, but it refused to work. After going away for a while, I returned to find two dryers empty and, splitting my load, claimed them for myself. Unfortunately, one of them had decided, for whatever reason, that it wasn't going to heat, and so I ended up with one load of dry clothes and another of damp, though will-aired, clothes.
Transferring them to the other dryer, I put them on over night, but the time I put the first load on wasn't enough, so they were STILL damp. At which point, I had my epiphany. Laundry is the bane of existence.
Subscribe to:
Posts (Atom)