While looking at some proofs, it occurred to me that their structure resembled musical scores, so as an experiment I decided to see what they sounded like. Essentially, the musical notes correspond to the depth of the proof tree as the proof is constructed by the proof verifier. A fast higher note is produced for each step in the construction of a formula. A sustained lower note is produced when the formula is matched to a previous theorem or earlier proof step, to result in a new proof step (which corresponds to a proof step displayed on the Metamath Proof Explorer page that shows the theorem’s proof).
Archive for May, 2006
According to CreativeMac’s numbers, the Macbook is pretty awesome at running Final Cut Pro - contrary to Apple’s official word (which would be “unsupported”). It’s taking all of my willpower to keep from running down and taking the plunge on one of these little beauties…
Looks like a very cool blog detailing free/open OS X audio stuffs. Will have to check it out later. In the meantime, I’ll be back to the blog soon, I promise!
Apple Corps manager Neil Aspinall said: “With great respect to the trial judge, we consider he has reached the wrong conclusion.
“We felt that during the course of the trial we clearly demonstrated just how extensively Apple Computer had broken the agreement.
“We will accordingly be filing an appeal and putting the case again to the Court of Appeal.”
Apple Computer chief executive Steve Jobs said: “We are glad to put this disagreement behind us.
“We have always loved The Beatles, and hopefully we can now work together to get them on the iTunes Music Store.”
The launch of the iPod, a portable digital music player, in 2001, and its iTunes music store two years later, prompted the latest battle.
Just to go on the record, I think Jobs will offer the Beatles a substantial cut of sales to get them exclusive to iTunes… After all, Neil Aspinall let slip a couple of weeks ago that they are (finally) remastering the catalog and that they would be doing downloads of the remasters…
Via The AP and The Mercury News…
LOS ANGELES - Maverick aerospace designer Burt Rutan on Thursday criticized NASA’s decision to use an Apollo-style capsule to return to the moon, saying it “doesn’t make any sense” to build a new generation of space vehicles using old technology.
The designer of SpaceShipOne said NASA’s proposed crew exploration vehicle to replace the aging space shuttle fleet doesn’t push the technical envelope needed to accomplish more complex future missions that might include manned flights to other planets and moons.
“I don’t know what they’re doing,” said Rutan, referring to NASA. “It doesn’t make any sense.”
Rutan said there needs to be a technological breakthrough in spacecraft design that would make it affordable and safe to send humans anywhere in the solar system. But he said he doesn’t know what that breakthrough will be.
I haven’t fallen off the face of our fair Earth, just busy. Krushjob is on it’s way, just slower to hit the services than expected. In the meantime…
Informed Comment
Hitchens the Hacker; And, Hitchens the Orientalist
And, “We don’t Want Your Stinking War!