More introspection from the Czech master, a dry run for his four-years-in-the-future Unbearable Lightness of Being. I have to say that Teresa and Sabina resolve into foxier women in the latter than poor Tamina does here.
This is fairly standard territory for him, combining sex, politics, literature and authorial interjection in a ramble about the necessity of memory and the power of laughter. He gets the big quote from the book out of the way on the first page:
It is 1971, and Mirek says that the struggle of man against power is the struggle of memory against forgetting.
Kundera is never short of an idea or shy in defending one. What sticks in my memory is his characterisation of "the two types of laughter" in The Angels (the first one, p61 in my English translation):
Angels are partisan not of Good, but of divine creation. The Devil, on the other hand, denies all rational meaning to God's world.
Things derived suddenly of their putative meaning, the place assigned to them in the ostensible order of things ... make us laugh. Initially, therefore, laughter is the province of the Devil. It has a certain malice to it (things have turned out differently from the way they tried to seem), but a certain beneficient relief as well (things are looser than they seemed, we have greater latitude in living with them, their gravity does not oppress us).
The first time an angel heard the Devil's laughter, he was horrified. ... [U]nable to fabricate anything of his own, he simply turned his enemy's tactics against him. He opened his mouth and let out a wobbly, breathy sound in the upper reaches of his vocal register ... and endowed it with the opposite meaning. Whereas the Devil's laughter pointed up the meaninglessness of things, the angel's shout rejoiced in how rationally organised, well conceived, beautiful, good, and sensible everything was on Earth.
... And seeing the laughing angel, the Devil laughed all the harder, all the louder, all the more openly, because the laughing angel was infinitely laughable.
Laughable laughter is cataclysmic. And even so, the angels have gained something by it. They have tricked us all with their semantic hoax. Their imitation laughter and its original (the Devil's) have the same name. People nowadays do not even realise that one and the same external phenomenon embraces two ompletely contradictory internal attitudes. There are two kinds of laughter, and we lack the words to distinguish them.
His extended meditation on Litost (ask Google) is quite amusing in a Eurocentric way.
Finally got around to buying a domain: $AU33 for three years from the nondescript Website Domains registrar. So far, so unimaginatively kosher. I availed myself of the freebie DNS provided by EveryDNS; they're somewhat limited in the kind of records they'll serve up, but more importantly are apparently reputable.
At the moment I've got Apache running on Debian on my dear old P120 at home, so it's all terribly slow. I feared the 64kbits uplink would sour the deal but Blosxom blindsided me by taking several tens of seconds to render the index pages. perl, gotta love it.
DNS Report has proven useful for linting all that stuff.
Trekked around Sydney CBD today, looking for stuff, more successfully than last time. The haul:
A Macpac Nautilus tent from Paddy Pallin. It got a good review or two and seemed easy enough to pitch, at least with the help of the lovely young lass in the shop. One of those times when I went in optimistic (and well-researched) and it worked out well.
Paddy Pallin are having a sale right now so I got it for $AU360 rather than the usual $AU450, bonus. Still seems a lot for two pieces of fabric, some pegs and two collapsible aluminium poles.
- A car-powered air compressor for air-mattress / lilo-type things.
- A mobile-phone charger for the car.
- Camping in Australia (Cathy Savage, Craig Lewis). This was more-or-less what I was after: locations and services, though the details are a bit sketchy. Lonely Planet seems surprisingly disinterested in the less kempt.
Now I just need all those little things: knives, forks, cups, pots, bog roll, ...
I thought I'd try to tidy up a few things in Blosxom, such as the timestamps in comments, get the cookie memory-device going, that sort of thing. While the core and some plugins may be as-tidy-as-perl-can-be, the writeback (comments) one is pretty nasty.
I also tried to fix the formatting of the sidebar. Once again the lack of
compositionality of HTML bit me on the arse: some things one can fix by
twiddling some CSS in the flavour files, and others require a sift
through the perl. To some extent it's a matter of code quality, but also
there's the issue of what HTML objects are allowed with what combining
forms. For example, the find plugin needs to return a form, so that'll be a
div and not a
I guess my next trick will be some kind of functionalisation of my abbreviations plugin, so I can have some default text and also override it as needs be. Next Christmas, for sure.
...and my only excuse is that so many others have made the same mistake. To atone I present here law 11, so familiar to those who deal with modern universities:
The bigger the system, the narrower and more specialized the interface with individuals.
The theme I pinched for Blosxom claimed to use an XHTML DTD, and so idly I thought I'd try to make it conform. Yep, a complete waste of time. I naively imagined that XHTML has twenty-first-century tech but in fact everyone's been ignoring it since 1999.
There's a semi-usable packaging of the W3's validator available here. For dynamic content I use curl to grab the page then feed it through as a file. Not very convenient but the less lazy can script it.
I find it ironic that the motivation for XHTML in the Wikipedia article is to make things more anal, purportedly for an efficiency payoff. To my eye it's just XML buzzword compliance, an opportunity to clean up the semantics of the beast squandered on syntactic busy-work.
My pet peeve is that the layout rules are so damn complex when something as semantically simple as a bunch of markup combinators could fix this mess. This tradition in CS goes back at least as far as Henderson's 1982 paper on functional geometry and continues with Lava and pretty printing and many other works. Then, instead of spending an hour finding out that one should lay out a line right-to-left (perhaps, maybe, this week at least), I could just say "title beside search box" and get exactly that!
Heck, this would even be better than CSS: define a bunch of named objects and some way to lay them out explicitly. Completely separate content and presentation, perhaps even a "declarative" layout! Somehow the fundamental notion of compositionality has been MIA here.
A collection of short stories. I enjoyed Postcards from Surfers and Little Helen's Sunday Afternoon. Her closing The Children's Bach is the best piece of fiction I've yet read by her, but the standard Garner complaints of being a sketchy journal write-up and pedestrian-of-plot apply. Indeed, there are some parallels with Altman's Nashville. She describes Melbourne quite beautifully, though again I wonder how it would strike someone unfamiliar with the city. Her non-fiction has been more to my taste.
What a great piece of reportage from the Smage. I quote:
A court ruling has given the recording industry the green light to go after individuals who link to material from their websites, blogs or MySpace pages that is protected by copyright.
Of course they mean that the recording industry can go after people who link to material for which the recording industry owns the copyright. Repeat after me: there is one homogeneous recording industry, which speaks with one voice. Further down, the EFA says:
Dale Clapperton, vice-chairman of the non-profit organisation Electronic Frontiers Australia (EFA), explained the ruling as follows: "If you give someone permission to do something that infringes copyright, that in itself is infringement as if you'd done it yourself. Even if you don't do the infringing act yourself, if you more or less condone someone else doing it, that's an infringing act."
That's a bit strange; how can I give someone permission to infringe someone else's copyright?
Mr Clapperton added that this ruling could have wider implications for general search engines such as Google.
"What Cooper was doing is basically the exact same thing that Google does, except Google acts as a search engine for every type of file, while this site only acts as a search engine for MP3 files," he said.
But Ms Heindl said MIPI would not be going after Google in the same way it sued mp3s4free.net.
"Mp3s4free was different in the sense that it actually catalogued MP3 files that were infringing copyright material - Google doesn't do that," she said.
I've been trying to acquire a copy since reading an excerpt in the knowledge book with some intriguing assertions about general systems. Alibris has screwed me around twice but now someone has put it on the 'net.
I'm not at all sure things have gone as Laurence Lessig hoped with this eBook gambit; the one I bought seems to be loaded up to the gills with DRM with precious little thought given to usability and future-proofing. I've spent too long listening to RMS, I know.
More interesting is the question of whether I'm violating their copyright (rather than simply bypassing their DRM) by trying to print it. I guess I'd have made a copy, then, even if the digital original just sits there and bitrots until Adobe evolves to the point where it can't read it any more, or I buy a new computer or something equally inevitable.
Also in that document is the curious:
If a book is no longer published, can I copy the whole book for my research?
Generally, yes. However, if you are aware that it is about to be republished within a reasonable time, it is unlikely you can copy the whole book.
Ah, I almost forgot — anything that limits your rights must certainly be a Technological Protection Measure, implying that futzing with it is probably a crime. I'm getting fonder of dead trees the more I read about this... so perhaps Rudd is right to sacrifice all those beautiful trees in Tasmania afterall.
I'm beginning to think I should have been a lawyer (or married one).
This application is just plain broken. It wants to be an operating system: from the look of Version 8 Adobe has tried to shoehorn most of the Mac OS X desktop into their proprietary web-browser-of-sorts. Hmm... perhaps this is what the Windows people have been dealing with all these years. unnecessary, unwanted feature-creep and integration.
The updater is broken. Just download the latest version. Oh wait, you need to get the "Download Manager" to download it for you. Grrr. And you sure do a lot of waiting on all these bloody programs... and then it tries to do the update thing anyway! Screw it, too much trouble.
Now, down to business: the instant-gratification eBook I rashly bought yesterday only lets me print 20 pages of it per month, which seems to me to be a strange compromise between the real world (fair use?) and what's possible with electronic authoritarianism. I found this mechanism is indeed easy to defeat.
A moment's reflection tells you that it is common (UNIX) courtesy for an application to only fiddle with stuff in your home directory, which you (of course) have free access to. (It could do nasty things if it's SUID or using OS DRM services, and that's surely in the post.) The hope is that by swapping some files we can reset the print counter, and that is indeed the case. On Mac OS X, simply, if inconveniently:
- Kill Adobe Reader. I assume you haven't used any of your print quota.
- Copy your
~/Library/Acrobat User Datasomewhere safe. It seems to be a bit sensitive to a few things, so I suggest:
cd ~/Library tar cfv ~/AUD.tar Acrobat\ User\ Data/
- Fire up Adobe reader, print as much as you're allowed to.
- Kill Adobe Reader, save the new state and extract the old:
cd ~/Library mv Acrobat\ User\ Data/ /tmp/AUD.old tar xfv ~/AUD.tar
- Go back to step 3.
If things screw up you can move your saved state back into place and things should work as they did before. The standard disclaimer applies to all of this: it worked for me, I hope it works for you, don't sue me if it doesn't.
- Unplugging the headphones makes it pause. Perhaps all iPods do this, but my iRiver didn't.
- The control is much better designed than my old iRiver.
- Some audible warning that it's out of juice. The little all-purpose LED glows red, I think, and that's that.
- A way to delete songs on the player itself, so I can fill it up with random crap and on-the-spot nuke the annoying stuff, rather than having to tediously go through it afterwards in iTunes at home.
- The dinky dock. My old iRiver had a standard mini-USB port, which happened to be the same as my Canon PowerShot A75. One cable was all I needed. Moreover I have no way to recharge it without having the iBook plugged in and running — there's no juice on the USB bus when it's suspended.
Alan D. Taylor: Social Choice and the Mathematics of ManipulationSun, Dec 17, 2006./choice/social-choice | Link
This book is linked from a lot of social-choice related pages on Wikipedia (a great way to advertise your book, for sure), covers an impressive selection of topics and got a good review. It's available as an eBook for $US20, or I could pay more, wait a month and get a dead tree from Alibris. What the heck, I think, how good can PDF DRM lockdown be these days?
I paid my money, Adobe Reader's iceberg functionality kicked in to download the book in a very mysterious way, and then crashed. No worries, I download it again, and this time it works. Not confidence-inspiring, and apparently eBooks.com has had plenty of experience on that score.
After futzing around with it for a while, the cons of the Digital Editions DRM become apparent. It seems to be locked to this machine. No other PDF viewer groks the file. The DRM-removing tools tend to not work for eBooks. Ultimately this means I cannot print the whole thing (which is as the publisher intends) or share it as one would by loaning the dead tree to someone. The pros are that one saves about a third of the cost and doesn't have to wait on the post, neither of which justifies such a loss of utility to me.
This proof is pretty straightfoward, but its implications are tricky to fathom. I tend to think that his notion of liberalism is pretty weird, and there's plenty of discussion on it. Again, while even Isabelle is convinced that the theorem is an analytic truth, there is plenty of doubt that Sen's mathematization is right.
For the keen there's an entire volume of Analyse & Kritik (1996 (18) Heft 1) dedicated to this topic. Eventually I hope to get around to looking at fellow Nobel laureate James M. Buchanan's criticism.
I trudged all over Sydney CBD today looking for a new pair of Docs and something that would let me recharge the iBook from the car. It seems the old Docs shop on Pitt St Mall has folded, and the joint down George St that for years proudly advertised cut-price Docs has gone for the factory- (China-) direct brand instead. I'd forgotten what a hassle it is shopping on the street.
Anyway, to cut a long ramble short, I ended up buying a "Powertech Plus Cat. MP-3463 3.5 Amp Universal Step-up DC/DC Converter for Notebook Computer" from Jaycar on York St for $40. The sealed-in cardboard says it was made in China and is distributed by Electus Distribution, and I can guarantee you that the cardboard was printed there too. I can't find it in either of their catalogues. There is also a 6 Amp version for those who have something hefty.
It works, with one small wrinkle: the iBook-sized plug adaptor is wired backwards! Fortunately the iBook is up to that game, simply ignoring a reverse-polarity 24 volts. The solution is to wedge the plug adaptor onto the cable backwards. For the curious these Italians have the details, or you can try to figure out what Apple is on about.
Raymond Smullyan: Some Interesting Memories (A Paradoxical Life)Tue, Dec 12, 2006./noise/books | Link
Smullyan's autobiography-of-sorts, or extended ramble through his interests. I quite enjoyed it, probably because I was fully prepared to indulge him, though it could have used a decent edit (quite a few typos). I don't think there are any new puzzles in this book.
I tried to make some sense of it through the prism of Franco's Fascists versus the insurgents / freedom fighters / communists / concerned citizens but my history is a bit weak. I think the ending is supposed to imply Spain's reinstatement of the monarchy was broadly welcomed. Doubtlessly there were other allegories that I missed.
The beginnings of a proof of Arrow's Theorem in Isabelle.Tue, Dec 12, 2006./choice/social-choice | Link
On the side I've been chugging through Amartya Sen's classic Collective Choice and Social Welfare (1970), trying to convince Isabelle of some of the classic results in what is ultimately a theory of voting. As Richard Routley observes in his Repairing Proofs of Arrow's General Impossibility Theorem and Enlarging the Scope of the Theorem (Notre Dame Journal of Formal Logic, Volume XX, Number 4, October 1979):
The importance of a logically adequate proof is in no way diminished because, as it fortunately turns out, the theorem is correct under the intended (if often inadequately formulated) conditions. But that makes it easy to say that it is trivial to fuss over quantificational details of the standard proofs (proof failure comes ultimately in every case from quantificational errors, omission of necessary quantifiers or mistaken orderings of quantifiers, both major sources of invalidity in logic and mathematics) for every economist knows what is meant by the theorem, that it is essentially correct and its proof intuitively clear, and that a rigorous proof can be produced. The claim is false, as will emerge, even of the economic textbook writers. The textbooks have failed to produce what it is essential to have, especially in the case of a theorem with such far-reaching consequences (even if it is after all only an exercise in second-order quantificational logic), namely a correct and rigorous proof. The history of mathematics is replete with cases where what everyone was thought to know proved false, or where what was intuitively clear turned out to be mistaken or correct only under restrictive conditions.
In other words, perfect for formalisation in Isabelle.
At this point I have formalised the definitions given by Sen (and others) and shown Arrow's General Possibility Theorem (commonly known as Arrow's Impossibility Theorem) and the positive result about Social Decision Functions (SDFs). It's a huge space and there's plenty more to do.
Somewhat amazingly K.Rudd has managed to get Peter Garrett, my local member, onto his front bench as the environment and climate change spokesmodel. I find this slightly perplexing as Garrett is already a polarising figure, and modern politics is purportedly all about appealing to the middle in marginal seats, people who are probably worried that climate change will kill the last tree before they do. As the arts spokesmodel he looked harmless enough, and if they really wanted him for the greenie gig they could have parachuted him in after the election.
I hope I'm just being cynical here.
Take a gander at the political compass questionnaire. It's an oldie but a goodie. I come out as more libertarian than leftie by a small amount, though extreme in both directions. I'm not sure that's justified, given there aren't "I don't have an opinion on this one" options.
Somehow I ploughed through this book. Again, Garner is repetitive and so little changes from one angst-inducing event to the next that I lost interest in the questions she fails to answer, such as what she sees in the men she feels compelled to be with. (She says a lot about how she feels and how communication fails, but not much on the non-horizontal shared experience.) The characters that wander in and out of the narrative rarely have independent lives and few have any identifiable impact on the story, beyond being competitors for a man, or a man. Her engagement with junkies and drugs is drab and uninspiring, never failing to point out the obvious failings of each, while the transient benefits, the "why?" of her narrative, goes mostly unshared.
Historically this novel may be of interest insofar as it brings an Australian (if unenlightening and unerotic) bluntness to matters sexual and narcotic in 1977. Anne Summers must have seen a lot more in it that I did, in branding it the nation's best novel of that year.
I wonder if the Anglo fascination with the I Ching made it out of the seventies; Douglas Adams made hilarious use of it in The Long Dark Teat-Time of the Soul in 1988, so I guess it must have. (You can try an internet incarnation of Adams's version here).
Tuesdays are give-us-ten-bucks-or-more at the Belvoir, downstairs at least. Even after the refurbishment that theatre remains a bit of a dungeon, serving as a home to their outre B Sharp company. The bar and ticketing area is all smiles and soft couches, and presumably it was all sweetness and light at the Keating! production upstairs.
This play is an adaptation of an apparently unique Latin novel. It rambles. Its not entirely coherent. Its ludicrous. Its quite long, at about three hours with three intervals. Well staged, well performed, though the macro narrative made merry with my empty stomach and eluded my grasp. It's terribly unsubtle, but what fun.
Another excellent collection of short stories from David Malouf. I especially liked Valley of the Lagoons, Every Move You Make, Elsewhere and the closing The Domestic Cantata. He's at his best in Australian settings, mining the coming-of-age and kitchen-sink drama.
mrak remarked, several years ago, apropos the author:
I only know her from the controversy over The First Stone. Feminists hate her like poison, apparently.
and I can see why, after reading it. A quick Google will turn up any number of snarky responses. I don't have a background in feminism and no real interest in the infighting, and as she herself says often here, the danger of overly codifying relationships is that the joy goes out of them. (A class of response seems to be that normal flirtatious interaction between men and women is fine... except when it isn't. Not such a helpful characterisation.)
Garner's prose is heartfelt and open, even as the central narrative is frustrated by a lack of cooperation. Her take on relationships, the university life and the stultifying effect of institutions (amongst other things) struck me as insightful and worthy of further development. I was a bit irritated by the repetition and the waiting-for-something-to-happen anecdotal structure, but I finished it in two sittings so I must be nickpicking.