Tom 7 Radar
Back to tom7.orgRecent comments Other ways to read
x
Other ways to read Tom 7 Radar:

[rss] RSS feed for aggregator software
Entries from August 2005
p
e
r
s
o
n
a
l
Photos from Oxford (31 Aug 2005 at 13:29)
I finally found the time and waking wherewithal to upload pictures from my trip to Oxford last week. As usual these are separated into "artsy" photos and vacation photos. I put captions on most of them explaining what it is, if you want to play the home game.

For those that worry about these kinds of things: Even though there aren't many pictures of people here, that's just because I didn't want to embarrass my friends and colleagues with my gigantic camera at social functions; I did actually have lots of good interactions with people. These photos are mostly from me walking around the city alone, at which time I totally don't mind embarrassing myself with my tourist gear.

Also, now I consider myself something of an amateur photodocumentarist; you can see my contributions (several of which come from this trip) at my Wikipedia user page "brighterorange." Many are from Oxford, others from my home photo studio (i.e., bed) and around Pittsburgh...
  [ comment ]
p
e
r
s
o
n
a
l
I was an infinitely cold and rainy dot (25 Aug 2005 at 04:59)
I found my power adaptor—it was in my boot!—which is good because nobody sells them around here. Unfortunately I can't copy photos from my camera, so you'll have to wait until I get back for those... Anyway, unlimited power leads to unlimited corruption, or something.

Conference update: After the first day, in which everybody was sort of sticking in their comfort zones, talking to those people that they already knew, etc. (myself included), we've started really mingling, and that is great. I am happy to hear that my presentation was, at least, memorable. Most of the people here do something very different from what I do, but there are a few type theorists, and a few people interested in learning type theory, and I am trying to help. ;) I am learning some things, too...

On Wednesday we went to Bletchley Park, which was the secret intelligence base where Alan Turing and others broke the German Enigma cipher in World War II. This was cool. Lots of room-sized vacuum tube computers. [If only I could insert the images now!] Yesterday was the banquet and subsequent pub visit. There are lots of pubs in Oxford, like dozens, but this one ("The Turf") was particularly neat in that it was hidden thirty meters down what amounts to an unlabeled crack in the wall. I have actually been quite surprised (based on my own knowledge of English beer from explorations of, e.g. the beer cave at D's) that the dominant style here is a bitter ale, rather than stouts. The Turf, for instance, had about 11 beers: Guinness and ten (to my taste) palatable but indistinguishable bitter ales. I did, however, make my pilgrimage to the Bird and Baby, where JRR Tolkien and CS Lewis had their literary club while at Oxford. It was fun to have a hand-pumped pint ("Old Hooky") standing at the same mantle that they did while reading their work to each other 60-or-so years ago. [Imagine picture] I'm still in search of a Sam Smith Oatmeal Stout, though...
(8 comments)   [ comment ]
p
e
r
s
o
n
a
l
vis y vis (23 Aug 2005 at 06:01)
Hey, here are two pictures of me giving my talk [1, 2] from the CSL Conference Photos page. When I can figure out how to plug my laptop in, maybe pictures that I took of Oxford, too...
(5 comments)   [ comment ]
p
e
r
s
o
n
a
l
They have this new security thing where a grid of jets fires bursts of air at your body, a sort of ''puff'' test (22 Aug 2005 at 10:16)
Well, I made it! Due to a three-hour delay on my first flight, I missed my connection to London by a mere 5 minutes, so I had to take the next flight—twelve hours later. I ended up having to "sleep" in the airport, which is not awesome. All sorts of other things, like exploded watches, lost power adaptors, and ketchup spills, made for a somewhat exhausting trip. But Oxford itself is very nice. I need to buy an umbrella.

I gave my talk this morning, and though I wasn't able to make any of the last-minute revisions I had wanted to make (no power, after all), I still think the talk is good and that it went well. You can check out the slides (although you will have to do the voices for the animated featurette yourself): CS5-CSL23.SWF.

Most of the other talks are way out there. It is very weird to be the most implementation-oriented guy at the dinner table!

Category:  talks (9 comments — 5 years ago)   [ comment ]
p
e
r
s
o
n
a
l
Toodle-pip! (20 Aug 2005 at 10:47)
Well, in a few hours I'm heading off to Oxford, UK for the CSL 2005 conference, where I'll present my paper, Distributed Control Flow with Classical Modal Logic. I'll post the talk—which is a much easier read—as soon as it's finished!

I worked really hard this week to (almost) finish two academic projects: the first is the talk for CSL, which I need just to revise and add a little graphical polish to, and the second is a draft of my thesis proposal, a 50-page-and-growing monster that is only a few related work paragraphs and culled footnotes away from being ready. I plan on finishing these both at the airport or on the plane, so that I can relax and enjoy the trip!

Speaking of trip, I'll ask again: Does anybody have any suggestions for things to see or do while in Oxford?
(5 comments)   [ comment ]
u
p
d
a
t
e
NEW: AAD #19: Quad Emotional Damage (15 Aug 2005 at 00:30)
logo Album-a-day:
· about
· latest
I made an album-a-day this weekend, my 19th and the first one in slightly over a year (!). This concept album is my attempt at making a "Ponyoak," that is, a break-up album, so it is supposed to be sad. I put myself under substantial thematic and technological limitations, so I am too exhausted now to appraise the result. But there are at least 2 or 3 songs on there that I think are really good, which is all that one can really hope for with an AAD. (Well, I guess I could also hope that it reaches Heather emotionally and causes her to fall in love with me again, but given how oblique and actually sometimes a little mean [unavoidable; apologies in advance] the lyrics are, that is probably not gonna happen!)

Album: AAD #19 "Quad Emotional Damage" Project: Album-a-day
Categories:  album a day  tom 7 music (20 comments)   [ comment ]
r
e
v
i
e
w
For your Health and Safety (13 Aug 2005 at 09:13)
Attention:

For your health and safety, do not watch Ben Stiller movies any more.
(13 comments)   [ comment ]
w
e
b

l
i
n
k
The seltzer king of Pittsburgh (08 Aug 2005 at 15:34)
Barry Joseph, the "effervescent Jew", has a web site so singularly devoted to seltzer that he cannot let one song that mentions the drink go uncatalogued by his project. On my 13th album-a-day I have a song called "Seltzer," and so, the logical conclusion is a 15-minute interview of me about the song in his aptly named podcast, "Give Me Seltzer!"

An intriguing project...

Category:  sightings (9 comments)   [ comment ]
p
e
r
s
o
n
a
l
Score! (01 Aug 2005 at 18:32)
The medical industry has some of the most incomprehensible billing practices I have ever endured. I often receive invoices for services rendered like six months ago (maybe they think that, if I am feeling better from that illness by now, I must be grateful enough to pay), with unexplained numbers all over the place and opaque abbreviations (despite the fact that the page is usually almost totally empty) to the point where I'm like, what the hell is this?. Sometimes they say "this is not a bill" on them, which is even more confusing. Actually, I expect that some day there will be a law that simplifies medical billing, in the same way that the FCC in 2000 introduced regulations to prevent "slamming" and "cramming" (I love those terms) on telephone bills.

Anyway, the point of this is that today I received another inscrutable communique from some blood diagnostics or strep culture or whatever lab, in reference to work probably done over a year ago, but this one had a checque for $86 attached to it, because apparently I had paid some bill six months ago where in fact "this is not a bill." Score!
(2 comments)   [ comment ]
2
0
1
7
Posts from 2017
Mar Feb Jan
2
0
1
6
Posts from 2016
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
5
Posts from 2015
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
4
Posts from 2014
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
3
Posts from 2013
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
2
Posts from 2012
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
1
Posts from 2011
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
0
Posts from 2010
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
9
Posts from 2009
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
8
Posts from 2008
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
7
Posts from 2007
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
6
Posts from 2006
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
5
Posts from 2005
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
4
Posts from 2004
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
3
Posts from 2003
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
2
Posts from 2002
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
1
Posts from 2001
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
0
Posts from 2000
Dec Nov Oct Sep Aug Jul Jun May Apr Mar