Jasna and I just got back today from a spur-​​of-​​the-​​moment camp­ing trip. We’d been want­ing to have a couple days just for the two of us for a while now, and our sched­ules aligned, so why not? We thought camp­ing would be more fun and relax­ing than any­thing else, and I’ve wanted to see the towns along the Grand River forever, so we com­bined the two and went to Rock Point Pro­vin­cial Park: it’s vir­tu­ally right where the Grand River emp­ties into Lake Erie and neces­sit­ates driv­ing along the Grand River, a fairly nice drive.

I’ve got a grand total of 3 pic­tures from the trip and I’m happy with that. It wasn’t the sort of trip to you take to take pic­tures of. Appar­ently the park is known for its fossils, but we didn’t go hunt­ing for those, either. We went down to the beach a few times — twice for moon­light swims — and spent most of the rest of our time in our camp­site sit­ting around and talk­ing and enjoy­ing one another. We got a nice camp­site with fairly good pri­vacy and shade, and none of the camp­sites dir­ectly around us were taken. It was pretty much the per­fect couple of days, only because we were together.

Jasna bought me an e-​​reader! She actu­ally bought it before we’d planned on going on the trip, but I guess this seemed a good time to give it to me, and give me an easier time read­ing. It’s a Kobo, which I adore. I’m actu­ally a bit of a freak in that I’m some­what anti-​​paper: I often prefer read­ing on screen to read­ing on paper; maybe it’s a side-​​effect of grow­ing up with a com­puter. The Kobo has a really beau­ti­ful dis­play and is easier for me to read than any­thing I’ve ever read from, CRT, LCD or paper. The dis­play can’t refresh very often — maybe once a second or some­thing like that — and it’s super low-​​powered which makes it unsuit­able for any­thing but read­ing, which suits me fine. I have only two com­plaints: firstly, that the font size is typ­ic­ally too big, but that’s a cri­ti­cism of the books that are format­ted for it, not the device itself; and secondly, that it’s really dif­fi­cult to skip for­ward or back­ward a lot of pages at a time. With paper it’s easy to do a bin­ary search for the page you want, but the Kobo seems determ­ined to make you do a lin­ear search.

I did bring my laptop, but only so I could do just enough work to make my guilt levels fall to the point where I could genu­inely relax. It turns out that’s about half an hour, ha! I’m still more or less pleased with how the thesis is progressing.

I’m going to be going to attend­ing FMCS 2010 in Kana­nas­kis — not far from Cal­gary — in a couple weeks. I’ll be giv­ing a talk on the imple­ment­a­tion of Pola in some capa­city, though I haven’t figured out how broadly scoped or what to focus on.

I’m get­ting pretty psyched about it. The con­fer­ence will be fun if it’s any­thing like I remem­ber FMCS 2004 to be. The loc­a­tion is amaz­ing. Plus after that I get to spend some time in Cal­gary with my par­ents and hanging out with Brian and, prob­ably most import­antly but least awe­somely, work­ing on my thesis.

I still have a few minutes before 2010 so I thought I’d write a little some­thing while Jasna and I are sit­ting on the couch watch­ing cel­eb­ra­tions on TV with her parents.

Well, first off I think I need to take more pic­tures, the evid­ence for that being that the above is my favour­ite pic­ture I took this year. It’s our fat­test cat, Pin­cho.
(more…)

Since I moved out east to Ontario I’ve never really done a proper Christ­mas here. I’ve either gone back out West to my par­ents’ or they’ve come out to Toronto and we’ve done Christ­mas some­where else.

This year Jasna wanted a Christ­mas. She grew up in Ser­bia where Christ­mas is a reli­gious hol­i­day and observed in Janu­ary. They do the tree/​Santa/​gift thing on New Year’s but I sup­pose it’s not quite the same, so this year we decided to do a real Christ­mas. We bought a proper (arti­fi­cial) tree, which you can see above and dec­or­a­tions and what­not. We bought stock­ings, too, though I some­how missed get­ting them in that picture.

We’ll still be doing Christ­mas proper some­where else, but at least we’ll have our own build-​​up to Christmas.

I’m cur­rently hanging out at my gate in Pear­son air­port. In a couple hours I’ll be on my way to Paris and tomor­row morn­ing I’ll catch my con­nect­ing flight to Ams­ter­dam and then I take the train to Utrecht to see Jasna’s sis­ter, Ana, and her hus­band, Andre.

Jasna and I aren’t very good with sep­ar­a­tion, though I think this time went bet­ter than most. It could be that it’s a shorter sep­ar­a­tion this time — five days, in con­trast to Jasna’s recent two-​​month trip — or that we’re too tired from last night’s Hallowe’en party to get as worked up. Maybe we’re just get­ting bet­ter at it, though. It’s not like no tears were shed, but I think we did rel­at­ively well.

Unfor­tu­nately today my cam­era bat­tery decided to crap out on me. The upside to this is Jasna lent me her (very awe­some) DSLR cam­era for the trip. I’ll try to keep pic­tures of blondes down to a min­imum. Mostly I’m excited to see Ana and Andre, but I think they’ll be busy most of the time, so I’ll prob­ably ven­ture into Ams­ter­dam at least once to enter­tain myself. I brought the cam­era cable with me, so watch my photo gal­lery in the next day or two for pic­tures to start appearing.

The con­fer­ence — and my present­a­tion there — I haven’t thought a whole lot about yet. I’ll have to dis­ap­pear to Eind­hoven, which I think is only about half an hour from Utrecht — but then again maybe everything’s half an hour away from everything in the Neth­er­lands, who knows — and see what’s going on there. I’m fairly excited to see what FOPARA ends up being like since this is the first year the workshop’s being done. I’m espe­cially excited to see the Hume pro­ject people, like Kevin Ham­mond, since I’ve never met any.

I should say there’s still a lot of work that’s going on behind the scenes, work even on what I’m going to present to FOPARA. While I was in Cal­gary we decided to put in a new typ­ing sys­tem based on bunched logics which deals eleg­antly with a lot of the prob­lems with peeks that we’ve been sort­ing out in Pola, plus some new features.

That’s my ther­mo­meter from a couple minutes ago. I’ve been sick essen­tially since Sat­urday and it looks like it’s finally on the mend! For some reason the last couple times I’ve been sick I’ve got cold instead of fever. This morn­ing I was down to 35.6ºC (for you Amer­ic­ans, that’s 96ºF) and had to take a long bath just to keep warm. It looks like I’m finally get­ting back to health.

The upside to the sick­ness is I did do quite a bit of work today. The major rewrite of the bounds infer­ence for Pola accord­ing to the last paper is get­ting close. Only 4 or 5 screen­fuls of typ­ing errors to sort out and then test­ing, ha! I’m hop­ing I’ll get it fin­ished in the next couple days as it would be nice to have all the ducks in a row for my trip to Cal­gary next week to see my par­ents and work with Brian and Robin again!

Jasna and I just got back from a camp­ing trip to Bruce Pen­in­sula National Park with our friends Matt and Emily. I’ve put up the pic­ture gal­lery.

It was good times, even if it was pretty cold, mean­ing swim­ming took a bit of forti­tude. We made it to the grotto this time, which was pretty excit­ing, right by the entrance to the grotto Emily even found a saska­toon bush! Since we were so far north I sup­pose they were still in sea­son, because I got a good ten ber­ries off it. We went to the Indone­sian place in Tober­mory, too, which was a first for me. It’s well worth the price, just for the veget­able soup alone.

Sadly it was rain­ing too much, so we packed up and left last night instead of this morn­ing like we’d planned. Boo.