peteg's blog

William Gibson: Count Zero

/noise/books | Link

A sort-of sequel to Neuromancer. The three stories, interwoven, are probably better inferred from the Wikipedia plot summary than the book itself. Given that we're in it for the stylistic flashiness, this one burns less brightly than its predecessor, and is nowhere as original. Thematically it is something of a Terminator-alike, with big strong men duking it out over some weakling who's critical to the plot for somewhat artificial reasons, and so forth.

Once more Gibson treats cyberspace as fashion accessory, making no essential use of it. Moreover the plot could not possibly work if it functioned as the internet does now, i.e. pervasively providing ambient information.

The Last of the Mohicans

/noise/movies | Link

New Rose Hotel

/noise/movies | Link


/noise/movies | Link


/noise/movies | Link

Philip K. Dick: Vulcan's Hammer

/noise/books | Link

Prototype for the plot of Terminator and other technodystopic iconographics. Tries to out-psych 1984, combining the classics (Vulcan's hammer? As in, those flying things were forging something?) with some shamelessly artless workmanship. It's all tediously first order; if two "sentient", mechanised intelligences are waging a proxy war on each other, wouldn't you expect the smarter one to figure out a robust winning strategy?

It seems pointless to read Dick now; his ideas have either been absorbed into the popular culture or are just dross, and I can't always tell. Some may argue that he got there first, but others have polished the product and gone deeper.

/noise/beach/2008-2009 | Link

Midday snorkel with Rob at Little Bay. We had the beach to ourselves, pretty much, and the fish seemed to be enjoying the cooler and quite calm waters. Visibility was excellent and there was plenty to see. The water was quite pleasant in a spring suit, and the day bright and sunny, albeit a bit windy. Surprisingly there was no chill in the wind.

Shoham, Leyton-Brown: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

/cs | Link

This book looks fantastic. Social choice, formal epistemics, game theory, so on and so forth. I really need a few spare lives right now.

What makes it even more fantastic is that Cambridge University Press has allowed them to distribute it as a free eBook too, making them surely the most progressive academic publisher.

The Da Vinci Code

/noise/movies | Link

Philip K. Dick: Ubik

/noise/books | Link


Brian Huffman's soundness proofs for stream fusion

/hacking/isabelle | Link

I never post about anything technical I do any more, so instead I'll talk about someone else's stuff. Brian Huffman, HOLCF's last man standing, has a brand new entry in the Archive of Formal Proofs about verifying stream fusion. From a cursory read I thought he had opted for the "correct but GHC can't optimise it" variant floated in the original paper, but it turns out he has modelled the actual implementation. As always his proofs are mystifying in their clarity and succinctness.

Sweet, someone has ported the library to Standard ML.

Incidentally I stumbled upon VeriFun, which looks like it might be interesting, albeit inert. I wonder what their underlying logic is.

Star Trek

/noise/movies | Link

At the after-school session at The Ritz.

William Gibson: Neuromancer

/noise/books | Link

I read this about thirty months ago and didn't remember squat. Indeed, I don't remember much even an hour after completing it. The Matrix-as-vacuous-extension seems stronger than ever: the Rastas, Zion, the dub, the uneven technology. But where did they pull Larry Fishburn from? I fear mrak is right, that technology does undermine all traditional story forms; this plot probably wouldn't fly if it extrapolated from today's gizmos.

Everywhere I go, people ask me: "what impact is kruddnet going to have? What are the applications?" The ambient opinion is more of the same, or at least more of what I've already got (circa 1Mb/s down, 100kb/s up on Exetel, approx 70Gb a month, reasonable price). Sure, there's truckloads one can do with pervasive wifi (err, work in a cafe for starters), but obese pipes? When are we going to get a Wintermute?

X-Men Origins: Wolverine

/noise/movies | Link

At the obscene time of 10am in the almost-entirely-empty main theatre of the The Ritz.

Thomas Hardy: Jude the Obscure

/noise/books | Link

After seeing Jude a few weeks ago, I thought I'd give the book a go, and am glad I did. Hardy's prose is nowhere as stodgy as that of his fellow Victorian Dickens [1]. While the plot drags at times, and his characterisation of female traits somewhat lamentable, on the whole the novel chugs along quite pleasantly. It's a bit like reading George Orwell: the social politics dominates (and sometimes lays waste to) all else, in a readable way.

Apparently the canoncity of Hardy's text is unclear; the Penguin classic I obtained from UNSW Library, dated 1998, has the accoutrements of an academic treatise. I particularly disliked the endnotes, as one couldn't readily tell if they were usefully explaining some classical or geographical reference or merely pointing out where the various texts differed.

I can't resist reproducing the following, from Part Sixth, Chapter 1 (p326 in the book I read):

But finding himself the centre of curiosity, quizzing, and comment, Jude was not inclined to shrunk from open declarations of what he had no great reason to be ashamed of; and in a little while was stimulated to say in a loud voice to the listening throng generally:

'It is a difficult question, my friends, for any young man — that question I had to grapple with, and which thousands are weighing at the present moment in these uprising times — whether to follow uncritically the track he finds himself in, without considering his aptness for it, or to consider what his aptness or bent may be, and re-shape his course accordingly. I tried to do the latter, and I failed. But I don't admit that my failure proved my view to be the wrong one, or that my success would have made it a right one; though that's how we appraise such attempts nowadays — I mean, not by their essential soundness, but by their accidental outcomes. If I had ended by becoming like one of these gentlemen in red and black that we saw dropping in here by now, everybody would have said: "See how wise that young man was, to follow the bent of his nature!" But having ended no better than I began they say: "See what a fool that fellow was in following a freak of his fancy!"

'However it was my poverty and not my will that consented to be beaten. It takes two or three generations to do what I tried to do in one; and my impulses — affections — vices perhaps they should be called — were too strong not to hamper a man without advantages; who should be as cold-blooded as a fish and as selfish as a pig to have a really good chance of being one of his country's worthies. You may ridicule me — I am quite willing that you should — I am a fit subject, no doubt. But I think if you knew what I have gone through these last few years you would rather pity me. And if they knew' — he nodded towards the college at which the Dons were severally arriving — 'it is just possible they would do the same.'

'He do look ill and worn-out, it is true!' said a woman.

Sue's face grew more emotional; but though she stood close to Jude she was screened.

'I may do some good before I am dead — be a sort of success as a frightful example of what not to do; and so illustrate a moral story,' continued Jude, beginning to grow bitter, though he had opened serenely enough. 'I was, perhaps, after all, a paltry victim to the spirit of mental and social restlessness, that makes so many unhappy in these days!'

'Don't tell them that!' whispered Sue with tears, at perceiving Jude's state of mind. 'You weren't that. You struggled Nobly to acquire knowledge, and only the meanest souls in the world would blame you!'

Jude shifted the child into a more easy position on his arm, and concluded: 'And what I appear, a sick and poor man, is not the worst of me. I am in a chaos of principles — groping in the dark — acting by instinct and not after example. Eight or nine years ago when I came here first, I had a neat stock of opinions, but they droped away one by one; and the further I get the less sure I am. I doubt if I have anything more for my present rule of life than following inclinations which do me and nobody else any harm, and actually give pleasure to those I love best. There, gentlemen, since you wanted to know how I was getting on, I have told you. Much good may it do you! I cannot explain further here. I perceive there is something wrong somewhere in our social formulas: what it is can only be discovered by men or women with greater insight than mine, — if, indeed, they ever discover it — at least in our time. "For who knoweth what is good for man in this life? — and who can tell a man what shall be after him under the sun?"

The movie concludes at what I think was an opportune point in the plot; the denouement merely repeats and reinforces the social commentary of the above form, driven by some under-explained female hysterics and scheming.

[1] gifted me this fantastic URL:,_why_wasn't_I_born_old_and_ugly?.

/noise/beach/2008-2009 | Link

Early afternoon snorkel at Little Bay. Lots of those flats are finished and almost finished now. Went in in the wetsuit, quite pleasant, visibility a bit weird - almost blurry. Blue gropers, zebra fish, a tube-like one, silvery black-striped standards, but not my micro swordfish.

X Men 3: The Last Stand

/noise/movies | Link

X-Men 2

/noise/movies | Link


/noise/movies | Link