Older blog entries for fxn (starting at number 115)

Bram, that's a slippery topic. If we talk about Model Theory we have a formal framework where interpretation or model is defined in terms of mathematical objects. But existence and interpretation in the sense you seem to use are another issue, which I am sure you know, only we have different opinions on this.

There are first-rate specialists in Foundations of Mathematics that doubt we humans have any clue of what the natural numbers actually are. We take some things for granted intuitively, but the model in one's head is likely to be different from the model in any other person's head, for they are inherently vague.

Some years ago there were some interesting threads in the FOM mailing list regarding these issues, I remember Professor Sazonov was one thinking in that line. This message from 1998 addresses it somewhat but there were more.

It's impressive being behind the scenes in a Perl Golf tournament.

For the factorial 48s were more or less expected, but as of this writing we have three people solving the postorder in 49 strokes. That's too much!

2 Aug 2002 (updated 2 Aug 2002 at 02:12 UTC) »

Wow, the TPR(0,4c) has started very strong. I've checked for about 50 solutions today in five hours. There are some amazingly clever solutions.

There are two holes in this tournament: finding the rightmost non-zero digit of a factorial, and computing the postorder, given the preorder and inorder of a binary tree. Best solutions right now use 48 and 50 keystrokes respectively.

Thanks goodness for -MO=Deparse.

I am going to referee the forthcoming TPR(0,4c) Perl Golf tournament, together with other three golfers. These days the holes have been discussed and now test cases are being tested themselves. It's gonna be an exciting week, join us next August 1st!


These days I am finishing the second part of LOTR, together with the corresponding sections in The Atlas of Middle Earth. Reading LOTR with that atlas at hand is wonderful.

On the technical side I am reading Code Complete. Excellent.

26 Jul 2002 (updated 26 Jul 2002 at 17:00 UTC) »
sab39, GNU Emacs has builtin support for what you want: After you visit a file do M-x toggle-rot13-mode RET. That's all, ready to echo the text you type rot13ed.
MyAdvogato 0.9 is out.

As I commented yesterday, the main new features of this version are:

  • The edition of boxes is optional.
  • In recentlog, links to the user's personal page are highlighted no matter the actual linked text.
  • In recentlog, user name highlighting is case-insensitive.
You can download it as a tarball or as a zip file.
21 Jul 2002 (updated 21 Jul 2002 at 15:28 UTC) »

Working in MyAdvogato this weekend, almost ready for a new release. Now everything is optional, including the edition of boxes, and some minor things that hadn't a corresponding flag. You can even edit the boxes in the home and not the ones in recentlog, or the other way around, if you wish.

User highlighting is a bit smarter: it detects links to your personal page in Advogato no matter the actual linked text. Thus, I see the following link to this guy highlighted. Links of that kind occur now and again in recentlog.

20 Jul 2002 (updated 20 Jul 2002 at 14:31 UTC) »

I began to write MyAdvogato to offer an interface that made certifying more scalable, the three boxes idiom and the summary were its main raison d'ĂȘtre. That's why those were non-optional modifications.

I think, however, that nowadays some people could be interested just in some of the new features, as username highlighting in recentlog. Thus, in the next release users will be able to leave the original boxes as they come. It sounds kind of strange to me, but I believe that is the next natural change.

18 Jul 2002 (updated 18 Jul 2002 at 21:26 UTC) »

I wrote in my previous entry the next release of MyAdvogato would highlight the username without taking case into account. This was motivated by some links to Raph, instead of the correct raph, I saw today in recentlog (though it is not the first time it happens.)

In the meantime this is a patch for the current 0.8:

106 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!