Winter’s Haven

This poor creature is one of the many cats who have been taken in by Canonical’s devious business practices. Free gets expensive quickly when your t-shirt becomes obsolete every six months.

(Yes, I am ashamed to say that this LOLcat is original. But publicly humiliating myself is a small price to pay for protecting feline consumer rights.)

Update: Oops, the “devious business practices” link was pointing to the wrong location. It’s now corrected, and points to the page selling the t-shirt. But seriously, don’t buy it. If you really want an Ubuntu t-shirt, do the sane thing and buy one that won’t automatically become obsolete.

Reporting on the “pay-as-you-go” budget rules adopted by the Democratic majority in Congress, Edmund L. Andrews of the New York Times brings us the news that

Senate Democrats face an agonizing choice in the days ahead: find a way to raise at least $50 billion in new taxes, or undermine their most important rule for enforcing budget discipline.

Being the crazed radical libertarian that I am, I can’t help but to suggest a third option: cut spending. There was a time when I looked upon my own political ideas as entirely sane and pragmatic. However, it’s becoming clear that I haven’t got as many marbles as I had thought, given that my idea is clearly unthinkable to everyone in Congress and at the Times. I’m sure that you, dear reader, being a far more sane and moderate person than I, will share none of my shock and discontent in learning that the aforementioned article doesn’t even hint at the possibility of cutting federal spending.

So, I’m a crazy radical. I guess this means I’m gonna have to stop cutting or washing my hair, start taking colloidal silver until my skin turns blue, and LSD until I think it’s turned green. Fuck.

One of the best things about Kubuntu (and other Debian-based Linux distrubutions) is the packaging system, which gives you easy access to an enormous collection of software libre. And sometimes while browsing though the collection of available packages, you discover fantastic little programs that you hadn’t even been looking for.

My surprise find for today: “python-empathy: High-level library and user-interface for Telepathy”. I’m going to grab that and start making a telepathic interface to my blog right away! If you want to transcend primitive electromagnetic methods of reading my blog, just concentrate on that desire — once I pick up on your mental energies, I’ll simply will future posts directly into your mind.

How to install a 2.5-inch (laptop size) hard drive in a 3.5-inch (desktop size) drive bay:

1. Search locally or on the internet for an appropriate mounting bracket designed for mounting a 2.5-inch disk in a 3.5-inch bay. Buy it.
2. Shut down and unplug the computer into which the hard disk will be installed. Open up the computer’s case.
3. Discover that the mounting bracket you bought is physically incompatible with the drive bay and/or the hard disk.
4. Scrounge up some string, cardboard, and rubber bands.
5. ???
6. Close the case, plug the power cable back in, boot up, and write a blog post describing your daring exploits.

What. The. Fuck.

Police in Orlando, Florida claim “a typical prostitute that’s HIV-positive could potentially infect more than 18,000 people a year.”

Taking into account HIV transmission probabilities, Classically Liberal estimates that SuperProsti would have to serve at least “9 million customers [per year]. Disney World only manages 27 million.”

Two excellent posts from Megan McArdle show why it is very difficult for any of us to answer that question with any certainty. (Well, it’s an easy question to answer for people who are openly and proudly racist. For the rest of us who’d like to think the answer is no, it’s a fine little epistemic quandary.)

My recent lack of blog activity owes partly to school, and partly to the fact the my laptop finally died (it had been on its last legs for a while). I replaced it with a desktop box from Dell; desktops are a lot cheaper, especially in light of the comparatively short life expectancy of laptops. I considered buying parts and building a desktop myself, but doing so is no cheaper and a lot more hassle.

The box actually came with Ubuntu Linux installed, but to get things set up to my satisfaction I had to do a fresh install anyway. I’m presently running Kubuntu (i.e. Ubuntu with KDE, not Gnome). I’ve got the recently released version 7.10, “Gutsy Gibbon”. Works beautifully. In particular, Kubuntu supports all my hardware flawlessly with only a very tiny amount of work on my part. Linux has come a long way since I first used it.

I bought a Trek Madone 5.0 to replace my stolen road bike. It’s a 2007 Madone, not one of Trek’s newest-generation 2008 Madones; Trek’s fancy new design is the reason that this bike was marked down to a price I could afford. Regardless of the new 2008 Madone, this bike is still a wonderful machine. The frame is all carbon fiber. It rides out the bumps with aplomb and still transmits power very efficiently. My Madone isn’t the lightest bike on the market, but it feels like a feather compared to the steel-framed Bianchi Eros I had previously. The handling is stable and effortlessly natural — the bike responds exactly as I expect it to. Altogether, the Madone rides like a dream.

Shopping for bicycles was fun, although considering how many times I drove back and forth across Albuquerque in the process I’m not sure my purchase did much for the environment. I rode a lot of bikes. Most of them were perfectly good machines, but all of them are different, and ergonomics and subjective preference play a large role in one’s opinions of bikes. The only truly bad bike I rode was a Kestrel Talon, which had remarkably unstable handling. Then again, some people ride them and like them, so maybe it’s overreaching to claim that the Talon is an objectively bad bike (though it’s hard to imagine how anyone could like that thing).

My favorite bikes, aside from the Madone, were a 2007 Jamis Eclispe and a 2006 Giant TCR1. The former is a mixed steel and carbon fiber frame; it’s an uncommon combination, but the bike rides wonderfully smoothly, and it has character. Though the Eclipse has undeniable appeal, the Trek and the Giant are lighter and stiffer and ride almost as smoothly. The Giant TCR1 is a full-carbon bike which felt quite similar to the Madone; I’d be very happy on either bike. After hearing several anti-China quips from salespeople trying to sell me bikes made in America and Europe, I was rather tempted to buy the Giant to spite them — I think that sort of economic nationalism is perfectly odious. But ultimately I followed the guidance of a less spiteful cosmopolitan spirit and simply bought the bike I liked best for its own qualities. The Trek Madone was somewhat cheaper than the Giant, and I think it cuts a more elegant image.

I’m on the road again. Woohoo!

I read the following quote in a Wired article:

sales associate Babs Brockaway says she’s seen the number of customers leaving with shiny new fixed-gear (”fixie”) and single-speed bikes skyrocket. …The simplicity appeals to neophyte riders overwhelmed by too much technology. “It’s simple: You just pedal,” she says. “This is shocking, but there are people who buy bikes with gears, who don’t shift gears.”

…and I dismissed it as an anecdote.

Then I found out that Shimano and Trek have both confirmed this in recent market research.

Both sets of research determined that people who hadn’t ridden for some time were intimidated by multiple gears and complex shifting systems and didn’t feel comfortable using cable hand-braking systems. This untapped market, the research showed, longed for a simple bike that reminded them of childhood. “Expecting someone to learn how to shift is a pretty tall order for someone who hasn’t ridden since they were a kid and is now 40 years old,” Bryant says.

It’s one thing to not know how to assemble a bike from scratch, or write computer programs, or fly an airplane. But shifters? Hand brakes?!? Like Babs, I too am shocked.

Although I’m rather horrified by the commonality of such extreme technophobia, I applaud the industry’s efforts (such as the Trek Lime) to get “mainstream consumers” to ride bikes. These people should not be driving cars.

Some people think that scientists doing theoretical work can use mathematics to prove things about the real world a priori of any empirical investigation. This is wrong. Allow me to explain.

It is true that the results of pure mathematics do follow from whatever axioms one starts with a priori of any empirical observations. Indeed, empirical observations are quite irrelevant to pure math (except in an inspirational role). However, mathematics by itself cannot tell us anything about the physical world.

A concrete example will help illuminate the relationship between math and the physical sciences. Let’s consider the theory of General Relativity. GR is a mathematical model, and there are a couple of different ways to look at a mathematical model.

A pure mathematician might just be interested in the abstract “mathematical formalism” of GR. This pure mathematician could study the Einstein field equations, et cetera, irrespective of their physical significance. Indeed, an alien mathematician in an alternate universe with completely different physics could study the same mathematical formalism and derive the same results, even though the theory and results would have no physical significance in that alternate universe.

However, there’s more to a mathematical model than just an abstract formalism. A mathematical model additionally makes the empirical claim that the behavior of the real world is analogous, in a specified manner, to the behavior of its abstract formalism. This linkage between the formalism and the real world is sometimes called “the interpretation” (especially in cases where there is controversy about just how to link things up, such as quantum mechanics).

To return to the example of GR, you can derive from its mathematical formalism (in a completely abstract, a priori manner) the existence of gravitational waves. However, this most certainly does not prove that gravitational waves exist in the real world. It might turn out that there are no gravitational waves and the real world doesn’t behave in the way the model says it should. It might turn out that the model is wrong.

In light of the empirical fact that the predictions of GR have thus far agreed with experimental tests, physicists believe with fairly high certainty that GR does accurately model the behavior of the real world. We have not yet experimentally observed gravitational waves, but you’d be hard-pressed to find a physicist willing to bet money against their existence. No one, however, thinks that we’ve proved, a priori, that gravitational waves exist. If scientists did think their existence had been proved a priori, we wouldn’t bother going to the great trouble and expense of attempting to find empirical evidence for them.

In some cases, the correspondence between a mathematical model and the real world is so obvious and uncontroversial that no one bothers to explicitly lay out the formalism’s interpretation or the empirical evidence for its correctness. Consider a basket with 2 apples in it. Now toss in 2 more apples. Examine the basket, and you will find (surprise!) 4 apples. However, you cannot prove a priori that there will be 4 apples in the basket. It is an empirical question, albeit a trivial one, whether baskets of apples (which are physical things) behave in the same manner as the non-negative integers under addition (which is an abstract logical construct).

This distinction might seem hopelessly pedantic at first, but you can easily go astray by ignoring it. For example, many people naively expect photons to behave in the same manner as integers under addition, but they don’t. “Number of photons” is not a conserved quantity in the way that “number of apples” is; photons can be created/destroyed, one photon can be split into two, et cetera. Richard Feynman tells an interesting story about trying, and failing, to explain to his father how photons can do these things. I strongly suspect his father was implicitly assuming that all “particles” — a rather misleading term — must behave like apples and integers under addition. However, once you clearly understand the distinction between abstract math and empirical questions, it becomes clear that there is no a priori reason to believe that photons behave like apples or integers.

Without empirical evidence, math can’t tell us anything about the physical world. Scientists have never, ever proven anything about the real world a priori, and never will.