Older blog entries for crhodes (starting at number 26)

Maybe there is something to this CLIM thing after all.

My presentation yesterday went well (there was a decent audience; not too many of them fell asleep; a couple of questions at the end), but the star of the show for me was Gilbert Baumann's demonstration of the Closure web browser.

Closure was, in 1999, the first web browser to pass the W3C CSS1 compliance test suite. Since then, all sorts of nifty things have been implemented, including a CLIM frontend and the TeX line-breaking algorithm. Certainly, his demo (and Robert Strandh's introduction to CLIM) has given me ideas for killer apps...

So, that was one conference. It's somewhat entertaining on a number of levels; firstly, being in a room with lots of really clever people is a very good thing; secondly, watching those really clever people disagree violently with each other is amusing; thirdly, getting new ideas for my own research has to help with the impending third year of Ph.D. studies nightmare.

Should you, the dear reader, be interested in the nature of Dark Energy, a brief summary: Monday and Tuesday were devoted to experimental techniques and observational results. It saddened me slightly to see some of the theorists take time off during these sessions, because Physics has to be driven by experiment to work (otherwise it's simply Mathematics... oh, wait, what department am I in again? Still, I learnt a fair bit about the Cosmic Microwave Background baloon experiments (MAXIMA and BOOMERanG), the Type Ia Supernovae observations, Weak Lensing, all apparently pointing towards the ‘Concordance Cosmology’ of (Ωm, ΩΛ) = (0.3, 0.7).

The last plenary session on Tuesday was devoted to the question “Is evidence for Dark Energy compelling?” Based on the previous paragraph, one would have to say ‘yes’, as the observations strongly point towards a non-zero Cosmological Constant. But wait! The CMB results depend on assuming only adiabatic perturbations; we don't have a model for the Type Ia supernovae, and there is the problem of the cosmic distance ladder; and weak lensing observations can easily be contaminated by strong lensing effects. Is it possible that systematic experimental effects can lead to a false concordance (or, more cynically, is it possible that experimentalists will choose the method of analysis that leads to an answer close to the one that they're expecting)? Sadly, the history of science points to a ‘yes’ answer to that question, too. Based on this, I skipped Tuesday afternoon's session to go shopping.

Wednesday to Friday were more theoretical days (well, the days themselves weren't theoretical, but the talks were on theoretical subjects), so I skipped fewer talks. Highlights: Gia Dvali, not so much for his talk's content as for the way he said it – he actually made an 09:00 start tolerable; Sacha Vilenkin, for the bravery in extolling the virtues of the anthropic principle to a mostly hostile audience; and, of course, having my own work presented (all the glory and none of the responsibility). Maybe a side note about the anthropic principle is in order: it comes in a number of flavours, ranging in character from “We're here” through “We're here because we're here” to “Everything in the Universe is your fault”. As presented by Vilenkin, it was a very reasonable argument, essentially saying that, given that we exist, we have a non-uniform prior probability on cosmological parameters, so we shouldn't use a uniform prior when we do Bayesian statistics. This seemed reasonable to me (maybe he shouldn't have said that the anthropic principle ‘predicted’ an ΩΛ of 0.7) but didn't meet with much approval among my peers. It's a shame, because the anthropic principle is a useful tool in the chest of a physicist (notably used by Fred Hoyle in the prediction of the resonance in Carbon-12, at just the right energy for the triple-α collision to work...

The conclusion from the Colloque was really along the lines of “We have no real idea what Dark Energy is like or where it comes from. But that's not a problem, because it leaves us plenty of room for writing articles which everyone else can cite.” Though I did like the attitude of the final session chair: “If I could ask God one question, it would be ‘How many dimensions does the Universe have?’; hopefully He would answer with a number... a real number... if we're really lucky, an integer...”

And now, off to Bordeaux for Libre Software Meeting. I should stop writing this diary entry, and start writing my talk on “SBCL: The best thing since sliced bread?”

It's conference season!

First up, the Institut Astrophysique de Paris' Colloquium on the Nature of Dark Energy. So, in other words, work-related. Meeting with colleagues, discussion of our model, running some simulations... not very different from work in Cambridge, really, except for the backdrop of research talks all day long too. The corresponding shindig last year was quite fun, though the temptation to snooze during the afternoon sessions was fairly high.

Then off to the Libre Software Meeting in Bordeaux, where I get to give a presentation about SBCL. Fortunately, with a lot of help from wnewman, there are going to be some interesting things to talk about, both from the point of view of real users, and also from the point of pure computer science. The presentation slides will be available afterwards, for the eager hordes fascinated by lisp compiler technology (all two of you).

16 Jun 2002 (updated 16 Jun 2002 at 10:42 UTC) »
[17:41] <Krystof> It's compiling!
[17:41] <Krystof> make-target-2 is running!
[17:41] <Krystof> WOOOOHOOOOO!
[17:41] <wnewman> ship it. extensive testing is for weenies

Well, that might be a little exuberant; maybe an IRC excerpt isn't the best way of summarizing an achievement. So what have we done? Well, we now have a Common Lisp compiler, written in Common Lisp that can be built from a mostly unrelated Lisp compiler.

To people in the C world, this may not seem unusual. After all, gcc is built initially by vendor C compilers, then by itself. The difference between compiling C and compiling Lisp (well, OK, a difference) is that the act of compilation changes the state of the compiler.

This therefore raises portability issues as soon as you try to model the act of compilation itself. For instance, CMUCL, in its build process, scribbles over its own internal data structures, which is fine, as long as you're not trying to change the representation of those data structures; if you are, you need to find some way of bootstrapping the changes.

As of this week, though, we can state with a small degree of confidence that one can make arbitrary (consistent) changes to the source of SBCL and not have to deal with the bootstrapping question. What does this buy us? Nothing, really, except a small degree of confidence that one can change various representations without having nasty surprises jump out at us. This is not an end-user-visible improvement, really. It does give the maintainers a warm, fuzzy feeling, though.

mwh: if you think valgrind doesn't like Python's memory allocator, well, try running it on CMUCL or SBCL...

Killing that process was fairly essential.

It's perhaps somewhat surprising how far a compiler can go with a broken model of floating-point control. Far enough to compile itself through three releases, anyway.

Still, it's fixed now. And the massed hordes of sbcl/powerpc/floating-point users can sleep safe in their beds.

So. One nasty SBCL bootstrap bug gone. Or at least worked-around; a proper solution will abstract the horribleness into a cross-compiler-aware MAKE-LOAD-FORM-SAVING-SLOTS.

wnewman: The bad news is that there's at least one more such bug, of similar complexity and larger impact. It's slightly odd that the ANSI J13 committee, in its wisdom, decided to make the return value from BYTE be of implementation-dependent nature. But, the world being what it is, we have to deal with it, and currently we're not.

Busy busy busy. Writing and helping to maintain a compiler is fun, but it also tends to hurt my brain. As a consequence of this maintenance work (and porting SBCL to Solaris) I still haven't had the necessary time to sit down and think about and start playing with using all the nice SIMD instructions on the x86 and ppc architectures to get sbcl to vectorize code. Maybe I'll take a sabbatical, after another three or four years of research in theoretical cosmology...

Still. We live in interesting times, given dan's threading thoughts, experimental Unicode support, and all sorts of advances from the cmucl camp, too.

OK. Now I'm scared.

No pressure. And this is of course completely compatible with my PhD studies. In mathematics. Erk. Still, my musical life will of course remain unaffected.

Bounce bounce bounce.

That's 120k of gzipped patch that I'm glad I'm not solely responsible for any more. SBCL on SPARC/Linux is alive.

17 older entries...

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!