Blogkeeping

Oh look, 15th post! Significant because any post beyond this arbitrary threshold which I've arbitrarily set will cause an "older posts" link to appear. Time to experiment a bit with these newfangled inventions called "tags". I wonder what they do.

Update: what the hell? I make one post with the tag 'Prometheus' and it quickly gets 20 hits from google.co.uk. That's fairly unimpressive on its own (though compared with the other posts' viewcounts, astronomical), but what's odd is that the google search in question was for 'Prometheus stream'. If you came here looking for that I must apologize.

Comments

Post a Comment

Popular posts from this blog

Dark Magics to avoid

If there's anything true of art in general, it's that any rule beginning with "don't" should be broken on occasion. Art should engage the soul, the conscious soul even, and nothing better for that than the occasional thing that's just that bit out of place, that bit unexpected. Conform to every rule you heard and what you produce can be consumed automatically. It's when the rules fail that consciousness kicks in. So in that spirit, treat the following "don'ts" as guidelines, and even break them-- but make sure you know what you're doing ;) For what follows is a list of magical powers which, if let loose on a plot, stand a good chance to render it hole-y. And the list is by no means exhaustive: feel free to argue for more items to be put on it. To give a flavor of the disruptive nature of magic, let's look at an example that will NOT kill a story ... but which, the character who suggested it argued, would kill society. NaN. Invis...
Read more

Review of "Mind over money"

Just watched a PBS Nova documentary called "Mind over money". It's a film about two competing models of economics, referred to in the show as 'rationalist economics' and 'behavioralist economics'. 'Rationalists' model each human being as being self interested and perfectly rational in pursuing the maximization of their own wealth; this results in certain mathematical assumptions that allow for an elegant theory. 'Behavioralists' claim that human beings do not act that way; even if maximization of personal wealth were pursued (which is not always the case), mistakes are often made. I for one believe that the behavioralists are right. It seems common sense to me to assume that nobody can reliably do the kind of mental calculation required by perfect economic rationality, and there are various cognitive biases to skew things the wrong way. But, I stress, this is merely a belief and I will defer to experts that study these things. In any case...
Read more

Parity Games: Intro

Image
With computer software becoming more important and complex, finding and solving bugs is more critical and difficult than ever. But why must this be? Surely computer programs, running as they do on deterministic machines powered by pure math, can be checked automatically. Well, in general, no. The space of programs, as a whole, is so wild that there exists no algorithm to answer even simple questions such as "will this get stuck in an endless loop". But, if we only need to look at restricted classes of programs, there are mathematical methods to guarantee correctness, or automatically construct a correct program -- where "correct" of course depends on our application. Formal verification is the home of such nifty mathematics and in this post we will be looking at a beautiful slice of it: parity games . Plus, parity games are the home of a tantalizing open question: are they solvable in polynomial time? We'll define what "parity gam...
Read more