Joshua Dunfield

Yes, I will stay off your stucture (Gas Works Park in the land of trolleybuses)

I'm a seventh-year Ph.D. student in the CMU Computer Science Department, advised by Frank Pfenning. I work on refined type systems for programming languages, which allow programmers to state, and compilers to check, more invariants about programs. For more information, see my research page, in particular my thesis proposal. I am presently in absentia in Philadelphia, finishing my dissertation. If for some reason you're interested, you can look at my curriculum vita. I went to Portland State before it hit the big time.

People I know

Peak oil: bring it on

Fun with old computers

Railfanning/transitfanning

Links:
Icebike; cars suck; Jon Bell's Abandoned Drake Line page; Warsaw: ZTM, tram fansite, funny; Trolleybuses: Seattle, Montevideo (1, 2), New Zealand

Portland

Writings

Things could always be worse

Or you could be a Swede, and eat ketchup on pasta. (I eat yogurt on pasta. In fact, this entire paragraph is an attempt to address the problem that the phrase "yogurt on pasta" turned up 0 hits in Google.)

Or you could be "represented" in the US Senate by a "moderate" who incessantly sucks up to Bush (Arlen Specter) and a stark raving lunatic (Rick S*nt*rum).

Or "your" President could be a morally disordered catastrophic success who liked to "put firecrackers in frogs and throw them and blow them up". Oh, wait... So remember, parents, if your kid puts firecrackers in frogs, before you know it he'll be giving your neighbor's kids a free ride back from Iraq. They'll be real comfortable when they're horizontal -- the bits they could find, anyway.

Or you could believe in tort reform.

A little patience, and we shall see the reign of witches pass over, their spells dissolve, and the people, recovering their true sight, restore their government to it's true principles. It is true that in the mean time we are suffering deeply in spirit, and incurring the horrors of a war & long oppressions of enormous public debt. But who can say what would be the evils of a scission, and when & where they would end? Better keep together as we are.... If the game runs sometimes against us at home we must have patience till luck turns, & then we shall have an opportunity of winning back the principles we have lost, for this is a game where principles are the stake. Better luck, therefore, to us all; and health, happiness, & friendly salutations to yourself.

         --Thomas Jefferson, 1798