Keysigning party – London, 2nd June (by alaric)

I've somehow ended up organising a keysigning party in London on the 2nd of June.

See the page for directions to the venue (it's in South Kensington).

So if you have a PGP keypair (or take part in CACert.org or Thawte's web of trust), come along. If you don't, but are interested in being able to exchange military-grade encrypted or signed messages, then set up GNU Privacy Guard - see their manuals for more details - and create yourself a keypair (your own digital identity) - or several - and bring along your key IDs and fingerprints to have them vouched for and vouch for everyone else's.

I've made myself some MOO cards to hand out my key details on:

The Camping Holiday Of Despair (by alaric)

The plan was simple: borrow Sarah's parent's campervan, drive down on Friday evening to the village where our friends were being married the next day, sleep over, get up in the morning, have a nice breakfast, explore the area a bit, do the wedding, sleep over, then have Sunday to do touristy things with a few of the others who were staying over after the wedding, sleep over, and come back Monday morning.

However, it did not go to plan.

Read more »

Stuck in the back of an out-of-control vehicle careening down a slope! (by alaric)

The scene: I, with my family, are in a Little Chef. Jean, bless her, has got food all over herself, so I go out to the van, in the car park, to get wet wipes.

I unlock the back, hop in, go to the box of stuff, and start rooting about for wipes. I feel a slight motion, and wonder if it's strong wind rocking the van, or if somebody bumped into it while getting into an adjacent car as I continue to root. Then I feel a bigger rocking motion, and look outside to, to my horror, see the world moving... the van's rolling backwards, with me in the cargo bay and nobody in the front!

Read more »

Insomnia (by alaric)

yawn

5:30am and I haven't slept a wink yet! I really need to sort out my lifestyle so I get (a) exercise and (b) time to think every day. Time to think is important for me; if I don't get enough, then when I go to bed, I lie there and think. Lots.

Tonights thoughts have included:

1. Some ideas about how whole-program transformations (eg, the macroexpander/partial evaluator and the OO system) in CHROME might be handled. The OO system needs to be a whole-program transformation rather than just some macros using the normal macroexpander since things like inheritance graphs and method lists for generic functions need to be accumulated together; most Lisps handle that with macros that destructively update data structures, but I'm trying to design a system without rampant mutation, so need a whole-program code walk to do this. Clearly, since we want to be able to write macros that produce generic functions, methods, and the like, we need to do this AFTER normal macro expansion, but before the compiler gets its hands on it.
2. Some ideas about separating the generic function/method system - the dispatch part of Lispy OO - from the classes-inheriting thing. Subtype relationships that are used to dispatch GFs should be doable with plain predicates - pair? my-record-type? etc. Or more complex predicate expressions on groups of arguments, so we can support multivariate typeclasses in the Haskell sense, as a rich interface/implementation system as well as a traditional records-with-single-inheritance class system. To do this properly we also need declarations that one predicate implies another - (number? x) -> (integer? x) - so that a method on numbers will be used for integers, yet a more specific integer method can override it. I'm not sure how decidable the "most specific method wins" thing can be with complex multivariate type predicates, though. Must experiment and ask knowledgeable formal logic folks.
3. Thoughts about future computer architectures. The drive is for more speed, but these days, most CPUs are idle waiting for memory to feed them code and data, or (much more often) for the disk, network, or user to feed them. The only places where the CPU maxes out tend to be highly parallelisable tasks - server stuff handling lots of requests at once, games and other audiovisual things, and scientific number crunching. This suggests to me that a future direction of growth would be one or more high-bang-per-buck MISC processors embedded directly into SRAM chips (sort of like a CPU with an onboard cache... but the other way around, since the CPU would be much smaller than the SRAM array) which are bonded to the same chip carrier module as a set of DRAMs. One or more of CPU-and-SRAM and some DRAM chips are then all designed together as a tightly-coupled integrated unit for maximum speed due to short traces and the lack of standardised modular interfaces between them (like DIMMs and CPU socket standards) meaning that the interface can evolve rapidly. The whole CPU+SRAM+DRAM unit is then pluggable into a standardised socket, which motherboards will have several of. The result? Lots of cores of low power consumption reasonably fast CPU with high speed access to high speed memory. And for those demanding games/media/scientific tasks? The higher-end modules will have FPGAs on as well...
4. Forget nasty complex unpredictable memory caches: have a nonuniform physical address space (with regions of memory of varying speed) and let the OS use the virtual memory system to allocate pages to regions based upon application hints and/or access statistics. Not having cache tag and management facilities makes for more chip area to put actual memory in.
5. We've been wondering about getting goats lately. Goats are useful creatures; they produce milk (which can be turned into cheese) and they produce decent wool (just not in the quantities sheep produce it). Their milk and cheese don't make Sarah ill the way cow-derived versions do. Plus, we need something to come and graze our paddock. We've been doing a little bit of research and apparently two goats would be about right for the space we have. We'd need to put an inner layer of fence around the paddock to keep them in while still allowing the public footpath, and we'd need a little shed for them to shelter in. But thinking about setting things up in the paddock, I'm now wondering if it would be a good idea to build a duck run in there too, down at the bottom by the stream, all securely fenced against foxes and mink and with a duck-house up on stilts in case of flooding, but with a little pond dug out for them (connected to the stream by a channel with a grille over it to prevent escapage). It would be a convenient place to have the ducks, and it would make a good home for them, I think.

It's now 6am. Do I try and go to sleep, or try and last the day out? Hmmm...

Derren Brown at Southend (by sarah)

Tuesaday saw numero-uno of my friend Clares Birthday celebrations and so we headed off to South end (of all places) to see Derren Brown. We saw him in London about two years ago when I was still on the crutches - I got hit by a monky that time so Clare got to go up on stage and win £50 off of him which was fantasmigorical as you can imagine.

This time none of us made it onto the stage but the show was fantastic! What with gorrilaz and a truelly spectacular Oricle show that had me wowing - he does he do it? Clare almost took out half the threater with her egerness to put a question in his pot! We really enjoyed the show 🙂

However the pre-show meal was a bit of a disastor, they just took too long to bring it out and got the order wronge and in one case brought out something that was inedible ie Lianes cake could smash plates! They are the resturant in the theatre so you'd have thought they would have been better but no we had to leave half our desserts and had no coffee (which was all part of the set meal) and we only just got in for the beginning of the show.

Also poor Al had to do a bit of a marathon to get to us for the meal which he should have been late for but becuase of how they where being we had bearly ordered! Still us girls had a nice wonder around the place and as me and Lianne are obessed with taking photos and neither of us had a camera Clares new camera was getting a good old try out. I'm hoping to see them soon so I can post them up on here 🙂

Tonight sees round two of the celebrations - Karyoky mucho mucho fun 🙂