Home
Beware of the Train [entries|archive|friends|userinfo]
pozorvlak

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| My moblog Hypothetical, the place to be My (fairly feeble) website ]

Sage [May. 14th, 2008|01:15 pm]
[Tags|, , , , , ]

Those of you who do scientific computation may be interested in this link:

Bye Matlab, hello Python, thanks Sage.

Short version: Sage is a bundle of all of the various numeric/scientific/graphing tools for Python, made easy to download and install (even if you don't have root access, apparently). According to the blogger linked above, it's now good enough to serve as a replacement for Matlab (and it has ambitions to be a replacement for Maple and Mathematica too, though I don't know how far along it is). It integrates with R, Gap, etc. And because it's Python, you get a real, high-level, well-designed programming language with a proper environment to do your coding in.

In other news, [info]wormwood_pearl finished her Finals yesterday. As you can imagine, we're both pretty relieved. There's no tradition of meeting people outside Finals here like there is in Oxford, but I went along with a bottle of champagne anyway - and only then remembered that public drinking is against Glasgow bylaws. Drat it. We went out to lunch, the bottle went into the Department fridge, and we subsequently went round to her sisters' and drank it there while watching Layer Cake. Because we're that exciting.
link13 comments|post comment

Notation that sings [May. 9th, 2008|05:08 pm]
[Tags|, , ]

Some Actual Maths for a change. Some of it assumes some mathematical sophistication, but the core idea should be accessible to anybody. Have you ever been an arts student? I'm looking at you. Skate over the words you don't know, they're not important - they're just there to explain how the central result connects to more sophisticated and deeper areas of mathematics.

Go on, click, you know you wanna )
link8 comments|post comment

LOLhacker? [May. 8th, 2008|02:20 pm]
[Tags|, , , , , , ]

I know I'm very late to the LOL$thing party, but what the hell:

Cut for size )

Now, I reckon about half of you will recognise the guy in the pictures, and about half will understand the captions. I'm interested to know how large the intersection is...
link17 comments|post comment

Beinn Dubhcraig - photos [Mar. 25th, 2008|12:13 am]
[Tags|, , , ]

I've posted some photos of the Beinn Dubhcraig trip to my moblog. Larger versions exist, and I'll try to find a home for them: my Flickr account has sat unused for so long (prior to the Yahoo buyout) that it's not letting me log in any more :-(
linkpost comment

Lockhart's Lament [Mar. 9th, 2008|12:31 pm]
[Tags|, , , ]

Everyone needs to read this piece, especially those who don't consider themselves mathematicians.

A Mathematician's Lament, by Paul Lockhart.

There's a bit of biographical information on the author here. It's a cri de coeur about the state of mathematics education in the USA (and, by extension, in every industrialised country), which convinces generation after generation of kids that maths is boring and ritualistic, rather than the artful, elegant form of play that it really is. It's a bit long, but thoroughly, thoroughly excellent.
A musician wakes from a terrible nightmare. In his dream he finds himself in a society where music education has been made mandatory. “We are helping our students become more competitive in an increasingly sound-filled world.” Educators, school systems, and the state are put in charge of this vital project. Studies are commissioned, committees are formed, and decisions are made— all without the advice or participation of a single working musician or composer.

Since musicians are known to set down their ideas in the form of sheet music, these curious black dots and lines must constitute the “language of music.” It is imperative that students become fluent in this language if they are to attain any degree of musical competence; indeed, it would be ludicrous to expect a child to sing a song or play an instrument without having a thorough grounding in music notation and theory. Playing and listening to music, let alone composing an original piece, are considered very advanced topics and are generally put off until college, and more often graduate school.

As for the primary and secondary schools, their mission is to train students to use this language— to jiggle symbols around according to a fixed set of rules: “Music class is where we take out our staff paper, our teacher puts some notes on the board, and we copy them or transpose them into a different key. We have to make sure to get the clefs and key signatures right, and our teacher is very picky about making sure we fill in our quarter-notes completely. One time we had a chromatic scale problem and I did it right, but the teacher gave me no credit because I had the stems pointing the wrong way.”

In their wisdom, educators soon realize that even very young children can be given this kind of musical instruction. In fact it is considered quite shameful if one’s third-grader hasn’t completely memorized his circle of fifths. “I’ll have to get my son a music tutor. He simply won’t apply himself to his music homework. He says it’s boring. He just sits there staring out the window, humming tunes to himself and making up silly songs.”

In the higher grades the pressure is really on. After all, the students must be prepared for the standardized tests and college admissions exams. Students must take courses in Scales and Modes, Meter, Harmony, and Counterpoint. “It’s a lot for them to learn, but later in college when they finally get to hear all this stuff, they’ll really appreciate all the work they did in high school.” Of course, not many students actually go on to concentrate in music, so only a few will ever get to hear the sounds that the black dots represent.
[info]icedragon1969: he has some hard words about high-school geometry, too.
link21 comments|post comment

Too Much Information [Mar. 9th, 2008|12:04 pm]
[Tags|, , , , ]

There's a new Fine Structure story out, called Too Much Information. In addition, the Crash stories have been incorporated into their own subdirectory, called 1970-. Some analysis of TMI and its implications has already started in the comments threads of my previous FS posts, and I'll have to revise my own thoughts in light of it, but for now:

Discussion, including spoilers )

By the way, if anyone else is planning on blogging about FS, please leave a link here, so we can all follow what each other are saying :-)
link47 comments|post comment

If-statements in Smalltalk [Mar. 3rd, 2008|01:32 pm]
[Tags|, , , , , ]

I did warn you...

A while back, [info]markdominus wrote an article about the Design Patterns movement, in which he claimed that design patterns are basically signs of weaknesses in programming languages; if a language forces you to implement the same pattern of code over and over in different programs, that's a sign that your language is insufficiently high-level with respect to problems that your users actually encounter, so language designers should focus on patterns as places where their languages could be improved. This prompted some reaction in the tech blogosphere, including this response from Ralph Johnson, one of the authors of the original Design Patterns book. Dominus responded here, correcting some of Johnson's misunderstandings and commenting further; in fact, though, they're mostly in agreement (and I'm pretty much in agreement with them both, FWIW).

Everyone up to speed? Good.

Something Dominus didn't seem to get was Johnson's distinction between things that are in the language and things that are in the library. Johnson seems to think that there's a three-tier hierarchy:

1) Language features
2) Library code (available to every application)
3) User code (must be written for each application).

He claims that it can be a good tradeoff to leave something as a pattern, because the alternative might be to overcomplicate the standard library or, even worse, the language itself - he seems to have visions of a language with decorator, abstractFactory etc. as keywords. Dominus largely refutes this claim in his response. But more interestingly, Dominus thinks that the distinction between 1 and 2 is basically artificial - is C's printf (or Haskell's standard prelude) part of the language or the library? It might matter to language implementers, but to the average programmer, the distinction's pretty unimportant. Now, this is a good point, but I think I can see what Johnson's getting at. Remember that Johnson's a Smalltalker. Let's consider (finally) how Smalltalk handles if-statements, which in most languages are built-in syntactic elements of the language.

In Smalltalk, booleans (ie, True or False) are objects: specifically, they're instantiations of the abstract base class Boolean, or rather of its two subclasses True and False. So every boolean has type True or False, and no actual member data. Bool has two virtual functions, ifTrue: and ifFalse:, which take as their argument a block of code. Both True and False override these functions; True's version of ifTrue: calls the code it's passed, and False's version does nothing (and vice-versa for ifFalse:). Here's an example:
a < b
  ifTrue: [^'a is less than b']
  ifFalse: [^'a is greater than or equal to b']
Those things in square brackets are essentially anonymous functions, by the way. Except they're objects, because everything is an object in Smalltalk. Now, what's happening there is that we call a's "<" method, with argument b; this returns a boolean. We call its ifTrue: and ifFalse: methods, passing as arguments the code we want executed in either case. The effect is the same as that of the Ruby code
if a < b then
  puts "a is less than b"
else
  puts "a is greater than or equal to b"
end
but what other languages do with special syntax, Smalltalk does as a special case of method-dispatch. (Code samples from here). This completely blew me away when someone ([info]pdcawley?) first told me about it. Haskell does something similar, of course. [Edit: no it doesn't - see comments. But it could. I've also got some details of the Smalltalk wrong.]

Now, back to Johnson. Smalltalk's designers had three choices: bake special syntax for if-statements into the language, implement it in Smalltalk library code in terms of more general concepts that were part of the language, or force the programmer to do the work him/herself every time (using, I dunno, computed gotos or something). They made the unusual choice to go for the second option. While this doesn't matter if all you want are if-statements, it affects the language in other ways: the powerful abstraction mechanism needed to do this is available to the user to define new features.

This, I think, is the real distinction between "language" and "library": if the feature in question could have been implemented by your users using a combination of other features, it might as well be part of the library. Smalltalk's if-statements pass this test, as do (say) Lisp's looping constructs. Haskell's monads fail, because of do-notation: if a Haskell programmer wanted to add similar syntax for (say) comonads, would they be able to? I don't think so, and so it follows that monads are actually baked into the language. Several of Perl's built-in functions do things that user functions wouldn't be able to do, and thus should count as part of the language, even though they feel like part of a library.

So here's where it applies to design patterns: if your programmers find themselves having to implement essentially the same code over and over again, it's because you don't provide powerful enough abstraction mechanisms for programmers to write library modules that would do the job for them. Programmers are (rightly) lazy, and don't do work many times if they can do it once and then use that solution over and over again. So the fact that it's a design pattern means that it can't be in the library, and your language needs fixing: either by special-casing extra language features in or (preferably) by making your abstraction features more powerful, so the necessary library code can be written.
link40 comments|post comment

Thoughts on Sam Hughes' Fine Structure [Feb. 26th, 2008|02:10 pm]
[Tags|, , , , ]

I've been reading some science fiction written by a guy called Sam Hughes1, and posted on his website Things of Interest. Most recently, I've been reading his Ed stories, about Sam and his (fictional) genius flatmate Ed, who builds battlemechs in their basement and saves the world from annihilation on a regular basis, and to whom Sam plays a sort of bemused Watson. It starts out as a fun bit of wish-fulfilment à la early Sluggy Freelance, and turns into something rather more. Well worth a read.

But I don't want to talk about that: I want to talk about his novel-in-progress, Fine Structure, and where I think it's going. It's a collection of loosely-linked short stories whose connections only become apparent later on, somewhat like Trainspotting: I don't want to give away too much of the plot, but let's just say it has elements of Contact, Superman and Strata, in a refreshingly hard-sf style. And it's garnered positive reviews from no less a person than David Brin (search for "Power of Two"). It's probably best to read them in order, but I started with Power of Two and it didn't do me too much harm (and it's one of my favourites).

Edit: further posts on this topic can be found here.

MAJOR spoilers. Go and read the stories first! )

A word of warning: I have literally lost days to browsing Sam's website. Interesting days, mind :-)

1 Some of you might even know him: he was a maths student at Corpus, Cambridge a few years ago. Or you might have encountered him on some online community or other: he generally goes by the username "sam512".
link23 comments|post comment

(quote pozorvlak) [Feb. 23rd, 2008|10:47 pm]
[Tags|, , , , , ]

I observe to my astonishment that I've made the "Quotes of the Week" section of this week's Haskell Weekly News. Um, gosh.

Now if only I could work out if I've been quoted because dons agrees with me or wishes to hold me up to public ridicule :-)
link14 comments|post comment

*ping* BBC R&D types [Feb. 15th, 2008|09:49 pm]
[Tags|, , ]

You are appreciated.

Didn't some of you guys work on this?
link2 comments|post comment

One for Bronxelf [Feb. 7th, 2008|02:32 pm]
[Tags|, , ]

There are a number of well-known systems for classifying people's personalities according to various measures such as introversion-extroversion, and organisations often use these schemes to categorize their staff. Unfortunately, such methods do not capture a number of the most important aspects of an individual within an organisation; any corporate employee knows that whether someone is (for example) extroverted or introverted is much less critical than (say) how important they are. The Lipson-Shiu test attempts to remedy this and other oversights by classifying along four alternative axes:

* Intelligent-Stupid
* Lawful-Chaotic
* Important-Unimportant
* Good-Evil
To my total lack of surprise, I am an ICUG (Intelligent, Chaotic, Unimportant, Good):
ICUG (Inventor)

The ICUG is given to solitude and shoe staring. He or she loves little puzzles and is often a good source of off-the-wall, innovative ideas. Best left to their own devices with only occasional steering (example: Leonardo da Vinci)
My flatmates came out as ICIE (Torturer), ILUE (Gremlin) and ILIG (Archangel). Take the Lipson-Shiu Corporate Type Test here.

[It's remarkably hard to summarise dry humour, isn't it?]
link12 comments|post comment

*ping* physicists and engineers... [Dec. 10th, 2007|10:16 am]
[Tags|, , , ]

[info]markdominus, who is a mathematician by training and a programmer by profession, has been attending undergraduate physics lectures and coming out more confused than he went in. It's a feeling I remember well from the last time I studied physics, and actually part of the reason I did my degree in mathematics - clearly I was never going to get to the bottom of this stuff if I were taught it by the physicists! :-) But then it turned out that physical applied maths was Really Really Hard, so I retreated back into pure maths.

Anyway, in one of his latest posts, he asks a series of questions about electromagnetism, and I realise to my shame that I don't know the answers to any of them. I did do a course with "electromagnetism" in the title once, but the other half of the title was "relativity", and wouldn't you know it, but relativity took up nearly all the teaching time. Anyway, I'd greatly like to know the answers to these: perhaps one of you physics or engineering types can help?

On the theory that I'll probably gain more understanding by thinking about it myself rather than just asking others, here are my guesses. )
link16 comments|post comment

Damn you, Bronxelf [Dec. 1st, 2007|07:08 pm]
[Tags|, , ]

*ping* [info]noh, [info]mrkgnao, [info]michiexile, [info]dynix, [info]totherme and, oh, anyone who's ever played a text adventure and listened to music with lyrics. Which is to say, almost all of you. (And if that description doesn't apply to you, are you sure you ought to be reading this blog?)

[info]zorklyrics. Lyrics to songs, in the format of a series of instructions to a text adventure game and the game's responses. Genius, no?

Warning: it's quite horribly addictive. (And that doesn't include the ones I started but couldn't get to work right.) I've also found that now whenever I listen to a song, the lyrics twist themselves into Zork commands in my head :-(
link5 comments|post comment

An exceptionally simple theory of everything [Nov. 17th, 2007|12:56 pm]
[Tags|, , ]

Yesterday, [info]elvum brought to my attention a paper called An Exceptionally Simple Theory of Everything by the physicist Garrett1 Lisi. Entertainingly, Lisi appears not to be your typical physicist, spending most of his time surfing in Hawaii. And the title's a pun: he claims to have unified the Standard Model of particle physics and gravity using the "exceptional simple Lie algebra" E8 (about which more later). If true, it looks like very cool stuff; mathematically rather elegant (though I really don't understand most of the mathematics behind it), satisfying some very desirable criteria (as [info]elvum put it, it's like he's reeling off desirable features from the GUT checklist), and likely to make testable predictions.

But the main reason I mention it is so I can link to this slashdot comment, which is just about one of the best bits of pop science writing I've ever seen, and seriously raises the bar for me in my occasional attempts to explain maths and science. It's very light on details, but it explains in non-technical language what's actually going on here, and how symmetry arises in the study of particle physics. I learned a lot from it, and recommend it unreservedly. Edit: just to clarify, I didn't write the slashdot comment! I wish I had, though.

I wrote a somewhat more technical explanation of Lie algebras and the mathematical significance of E8 for [info]elvum, and I might as well repost it here )

The highly-regarded mathematical physicist John Baez has written an explanation of some previous attempts at unification here, with some explanation of why exceptional Lie algebras/groups might arise. It mostly goes over my head, though. The physics blog Not Even Wrong has also written about it, somewhat more cautiously: the author thinks that Lisi's probably only shifted old problems into different places. This blog post also looks pretty informative, but I haven't worked through it yet. And the string theorist Luboš Motl thinks it's nonsense, but then Luboš is an unpleasant troll, so I take that as mild positive evidence.

Garrett (or someone) has produced this rather lovely video of E8: it shows a projection of the root system (which is a collection of vectors in some higher-dimensional real space) as it's rotated.



1 Garrett seems to be quite a good name for mathematicians: the only other Garrett I've heard of in any context was the mathematician Garrett Birkhoff, inventor of universal algebra.
2 I prefer to think of them as group objects in the category of manifolds and smooth functions, but that seems like too much of a digression for now :-)
link13 comments|post comment

Contravariance of function types [Oct. 30th, 2007|07:58 pm]
[Tags|, , , ]

I've been reading through [info]markdominus' archives, and I came across this post from last year. It starts off as a rant about OO terminology, and then ends with the observation that function types are contravariant in their first argument: in other words, if you have some function f:A → B, this induces, not a map from (A → C) to (B → C), but rather a map from (B → C) to (A → C) [you get the map by precomposing everything with f; g maps to g.f.]. He ends with the statement that "I suspect that the use of "covariant" and "contravariant" here suggests some connection with category theory, and with the notions of covariant and contravariant functors, but I don't know what the connection is."

At this point, my compulsive need to teach grandmothers to suck eggs educate everyone around me kicked in, and I sent him an email. It's kicked in again, so I'm posting it here:
There is a deeper magic )
Incidentally, would anyone reading this who thinks category theory is "only a language" care to explain to me how the result that [Cop, Set] is the free cocompletion of C is not a significant, deep, surprising and interesting theorem? Frankly, if it isn't, then those four words have no meaning.
linkpost comment

Matrices, part 1 [Oct. 20th, 2007|11:27 am]
[Tags|, , , ]

Recently [info]necaris asked me to explain matrices. I thought I might as well post what I'd written. All being well, I'll write some more of these in the weeks to come.

Why bother in the first place, what is a matrix, addition of matrices )

Let me know how you get on with that. Next time, multiplication of matrices, and a bit of an explanation of my remarks about geometry.

[I should probably read this at some point: Linear Algebra Done Right, at the n-category café.]
link6 comments|post comment

monads of monads of monads of monads... [Oct. 16th, 2007|01:31 pm]
[Tags|, , , ]

A really cool result, that I became aware of via John Baez's This Week's Finds column:

Though the Haskell community make efforts to conceal this fact from you, monads are not tied to any particular category (whether it's Hask or Set). We can consider monads on any category C: more generally than that, we can consider monads in any 2-category! Simply take the laws that define monads, express them as pasting diagrams, and voilà: your definition works in any 2-category. The monads that we started with are now just this new kind of monad, interpreted in the 2-category Cat. This kind of trick can be done with many categorical constructions: we can talk about adjunctions in an arbitrary 2-category, for instance.

OK, so far so standard. But here's where it starts to get cool: the collection of monads in any 2-category C forms a 2-category itself! Call this 2-category Mnd(C). Since Mnd(C) is a 2-category, we can ask about the monads in it, and consider Mnd(Mnd(C)). The first cool result (due to Street, back in 1972), is that an object of Mnd(Mnd(C)) (i.e., a monad in the 2-category of monads on C) is a pair of monads T1, T2 in C related by a distributive law - a distributive law being precisely the data needed to make the composite T1.T2 into a monad!

[BTW: if anyone can explain the relationship (if any) between distributive laws and monad transformers, I'll be extremely grateful...]

Can you guess the second cool result?

I won't keep you in suspense. The second cool result (due to Cheng, and very recent), is that a monad in Mnd(Mnd(C)) (i.e. an object in Mnd(Mnd(Mnd(C)))) is three monads T1, T2, T3 in C, together with the extra data needed to make the composite T1.T2.T3 into a monad!

OK, now I need to read her paper...
link4 comments|post comment

Tactical mathematics [Oct. 15th, 2007|12:07 pm]
[Tags|, , , ]

Term started back a couple of weeks ago, and I've been teaching undergraduates (in addition to the private tutoring/undermining of the principle of open-access education that I do to bring in beer-and-climbing-wall money1). I've noticed that I'm spending an awful lot of time not teaching the material, but rather teaching what I think of as the "tactics" of mathematical problem-solving. Things like "simplify whenever you can", "use symmetry (of whatever form)", "Replace terms you don't understand with their definitions", "give names to things", and "if the problem starts with 'show that for all wombats ...', then start your proof with 'Let x be a wombat', then show that x has the desired property." It's not that they don't know how to do the things they need to do; they don't know what to do. They lack guiding principles to allow them to follow their noses through problems. As a result, they get stuck, or waste time on lengthy calculations that they should have been able to see were unnecessary.

[I should mention to the Oxbridge types reading this that the Scottish university system is very different to the English one. Students arrive a year younger, and don't specialise until their second or third year. As a result, we get lots of undergraduates who are only doing maths because it allows them to do some other course in some other faculty, and have no intention of specialising in mathematics. Plus, the permanent members of staff tend to keep the best students to themselves.]

At first, this was getting me really annoyed. With the possible exception of the last one mentioned, these tactics are so basic (and so independent of context) that they should have been drilled into everyone from primary school onwards. Why should I have to do the job that their school maths teachers should have been doing? I want to give these students the red pill, and show them just how deep the rabbit hole goes, but I'm having to stop and say "take the pill from my hand. Now, put it in your mouth. Now, swallow. OK, if you can't swallow right away, then take a drink of water. *Sigh*. Pick up the glass..."2

Now, though, I'm not so sure. Precisely because these tactics are so basic, and so generally applicable, they're likely to be much more use to my students than, say, partial differentiation. They should have been taught them before, but they haven't, and here's my opportunity to make a difference. Plus, from a certain viewpoint, this kind of problem-solving technique is the beating heart of mathematics. If you haven't read Timothy Gowers' essay The Two Cultures of Mathematics, you might like to do so now: in it, he discusses the split between "theory-builders" and "problem-solvers". I come very much from the theory-building side myself, but I can see and appreciate the other side.

But then again, maybe this is why all maths teachers (or at least, the good ones) are a bit crazy. In order to retain their sanity, they have to convince themselves that the basic, tactical, bread-and-butter stuff they have to teach is the real point of the subject. Like Mephistopheles, they have tasted the eternal joys of heaven, and are now tormented with ten thousand hells in being deprived of everlasting bliss. Why this is hell, nor are they out of it.

I've been doing some reading: specifically, I've been reading Polya's How to Solve It, which is about precisely this kind of stuff (and about how to teach it effectively). I've also been reading Stephen Fry's autobiography Moab is my Washpot, which, though not featuring much mathematics, does contain the scene where Stephen's terrifying engineer father and self-appointed O-Level mathematics tutor finally breaks through to Stephen and shows him what mathematics is really all about.
When he grasped the completeness of my ignorance and my incompetence he did not gulp or gasp, I'll give him that. He stuck by his own beliefs and went right back to the beginning. He taught me something that I did not understand: the equals sign.

I knew what 2 + 2 = 4 meant. I did not understand however even the rudimentary possibilities that flowed from that. The very thought of an equals sign approximating a pair of scales had never penetrated my skull. That you could do anything to an equation, so long as you did the same to each side, was a revelation to me. My father, never once flinching at such staggering ignorance, moved on.

Then came the second revelation, even more beautiful than the first.

Algebra.

Algebra, I suddenly saw, is what Shakespeare did. It is metonym and metaphor, substitution, transferral, analogy, allegory: it is poetry. I had thought its a's and b's were nothing more than fruitless (if you'll forgive me) apples and bananas.

Suddenly I could do simultaneous equations.
This has also made me realise quite how lucky I was with my school mathematical education. As I've mentioned before, I was happily multiplying matrices at the age of 11 or 12, and inverting matrices of arbitrary size at 15: most of the people in my office didn't encounter them until they were 17 or 18. We had a whole year from 13 to 14 doing random interesting maths while we waited for the syllabus to catch up with us. And solving unseen, difficult problems was always a big component, whether for public-school scholarship exams, Olympiads (I never made the national team, but I made it through a couple of rounds of selection) or just as part of ordinary teaching.

1 My STEP student surprised me the other day by showing me a result he'd discovered for himself. Specifically, given that ab = c for some fixed c, he'd found how to minimise the product ab (I'll let you work it out for yourselves). I had to explain to him that (a) it was very, very cool that he's inventing and solving his own problems at the age of 17, (b) no, this result almost certainly isn't new. The difference between "new" and "original" can be a subtle one at times. But hey, my student did a cool thing! :-)
2 Or rather, because I'm trying to get them to think for themselves, "I've got this pill in my hand, and we want to get it into your stomach. Now, how can we get things into your stomach? With a hypodermic needle, yes, but I don't have one of those to hand. Maybe there's some kind of tube to your stomach we could slide it down? No, no, pull your trousers back up. Is there, perhaps, another tube we could use? And where does it come out? Well, I suppose technically your nose is connected to your oesophagus, but that wasn't really what I was thinking of..."
link13 comments|post comment

Earth orbits sun integral number of times [Oct. 9th, 2007|11:03 am]
[Tags|, , , , ]

Happy Birthday [info]wormwood_pearl!

Twenty-one today. Blimey, I feel old. But not as old as the mighty Brian Blessed, actor and mountaineer, who is seventy today1. Happy birthday, Brian! His birthday is being celebrated in inimitable style over on b3ta, if anyone feels like joining the party...

1Assuming that the rumours of his recent death by trampling at the hands of an amorous rhino are exaggerated, of course... See also abevigoda.com.
linkpost comment

Interests meme [Oct. 8th, 2007|09:18 am]
[Tags|, , , , , , , ]

Meme, as invited by [info]michiexile.

Comment on this post and I will pick seven of your interests. You then explain them in your journal and re-post. ...if you want to, of course. No pressure. And you can ask me about my interests, too.

The seven that Michi picked for me were autechre, b/h=(d+f)/(d+e), grim meathook future, punting, spinnwebe, universal algebra, and category theory.

Read more... )

1 Yes, I know what "incunabula" means. But that's just it: most people don't (I certainly didn't when I first heard the album), and it's wonderful as a semi-nonsense sound. When you learn what it means, you see what a fantastic name it is for a band's first album :-)
link13 comments|post comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]