Older blog entries for chalst (starting at number 46)

advotake: A nice quick hack; use expect as an intelligent xml-rpc client to post advogato diary entries.

redi's proposed hack: <quote>redi </quote> I like the idea. I think `redirect' is a better name, though...

graydon: I think the thing I have enjoyed most in our past communications is discovering just how differently it is possible for an intelligent and well-informed computer scientist to view the field of programming languages. From some of your past posts, in no particular order:

  • TCL: Actually Tcl is one of my favourite languages (in the guise of Don Libe's `expect'). I just don't think that string manipulation is `real' syntactic metaprogramming. To my taste, Alan Bawden's `Quasiquotation in LISP' article presents the definitive case against string manipulation as meta programming.
  • Hehner's introduction to Goedel's proof at his website is the work of an incompetent. Maybe he just had a bad day...
  • I've had a look at camlp4 (at last): it's a nice solution to a problem that doesn't arise in languages like LISP that don't get fixated on `source code' vs `object code'. Because in LISP-like languages (read <file>), (macro-expand <s-exp>) and (eval <s-exp> <environment>) are just normal programs, the semantics of the language need make no distinction between read time vs run time, or between interpreted code and compiled code. It confuses beginners, but once you've grokked the basic idea it makes life much simpler.

raph: I very much like the way your ideas are going with web-based proof assistants. Some thoughts:

  • On proofs amd code - I recommend reading Euclid's Elements; there are a lot of parallels between what you say and the way he goes about constructing his arithmetic and geometry;
  • I think tactics were invented by LF-ers, not HOL-ers. I suppose HOL is based on the Edinburgh LF (the chaps who invented ML in the 1970s);
  • I think the `right' logic for most purposes (ie. the axiomatic framework we might the `east pole' on the `more mathematical' scale of Wiedijk's graph) is classical second-order arithmetic. It is probably the most intensively studied strong proof theory in mathematics: it pretty much immediately encodes all weaker systems, and most stronger systems can naturally be expressed in it.

Bram: You can protect against this kind of thing (buffer overflows, character set attacks, etc.) on either the server or client side by applying the `command' design pattern and then embedding the control language in your favourite tcl-alike.

http://www.advogato.org/person/Roger/: Is there a clean correspondence between SlideML and Slatex?

suse->debian: I've converted my laptop from a Suse 6.4 box to a stable debian woody. Pretty smooth, but a few lumps are proving difficult to iron out:

  • My X server crashes when I suspend. An ugly apmd vs. XFree86 vs. Trident vs. God knows what else conflict.
  • I can't get video output and laptop display from the same client plane.
  • Debconf has put an ugly network environment script in my init.d directory which I can't track down.
  • I have a funny DNS vs. wwwoffle conflict.
  • The usual round of trouble with .Xresources being handled differently by every other program...
Note how 60% of my troubles are caused by X misconfigurations...

reading: Wittgenstein's Lectures on the Foundations of Mathematics. I'm a glutton for punishment...

work: is going well |-D

Bram: It's a mistake to infer the existence of large cardinals from the consistency of large cardinal set theory. I agree that it is likely that large cardinal set theory is consistent, but the falseness`of 'consistency implies existence' follows from thinking about theories like PA+not(con(PA)): if PA is true then it is consistent, and so is PA+not(con(PA)) (by Goedel's incompleteness theorems), but surely this theory isn't true!
Back from Dresden where I took part in a two-week workshop of `Proof theory and Computation' and gave a five-lecture course on `Harmonic type theory' (my course was more-or-less on an attempt to give a philosophical foundation-for/critique-of the formulae-as-types correspondence). I found the other lectures very interesting, especially that of Francois Lamarche, who has made me take seriously the `Geometry of Computation' thesis (due to the linear logic crowd), which, roughly, is that computational activity is fundamentally geometric in nature, and we should formulate our computational calculi in a way that respects the topological structure of computation in a more illuminating way.

Goingware's `Make a bonfire of your reputations': I liked reading this mini-essay very much, although I am not persuaded by it. Why not? Well, I think sometimes other people's opinions, though wrong, are threatening enough that you shouldn't challenge them. Two extreme cases make the point: at the height of Stalin's power, speaking out was quite simply suicide. `Making a bonfire of your reputations', and challenging cruelty and injustice was not a wise course of action for any Russian who put value on their life. Much better to keep silent, bide your time, and do what little things you can do without endgangering yourself.

A rather different example would be the position of a full-time Scientologist who has come eventually to the realisation that their `Church' is in fact a psycho-terrorist mafia. Here, the power that threatens those who speak out is not lethal, but rather the ability of the organisation to destroy its heretics economically and psychologically.

What's the conclusion? Well, I think to be truly happy with yourself you need to feel the power to do and say what you think is right regardless of whom you might annoy, but it really is the case that the other things in life you might lose by doing this (above: your life, your sanity and your security!) might be more important still.

World cup

The race goes not to the swift nor the battle to the strong, nor does food come to the wise nor wealth to the brilliant nor favor to the learned; but time and chance happen to them all Ecclesiates 9(11)

...but even so the three teams I'm supporting (in order, England, Germany and Senegal) are all through to the quarter final :>.

graydon: It's good to see you posting diary entries again!

I agree that Paul Graham's writings have an excessively partisan flavour, but to defend the superiority of LISP macros over its alternatives:

  • LISP macros are not preprocessor macros: there is flexibility over when macros are expanded, and indeed macro expansion can be done at run-time using `eval'.
  • I'm surprised to see you think TCL `satisfies the menu': I think string manipulation is a fundamentally flawed way of doing this kind of thing. IMO, Paul Graham is entitled to dismiss TCL as not having a real `syntactic metaprogramming system'.
  • We've talked about this before (and I still haven't looked further into ocamlp4 vs. MetaML, so I may be being unfair to ocamlp4): I don't think that the macro facilities offered in the ML world are as powerful as those in the LISP world. The whole issue of how to integrate a real macro system into a statically typed language is in need of further work.
Having said this, I think the Common LISP macro facilties look antiquated being used to what is on offer in the Scheme world. Common LISP was fixed just before a lot of advances were made in this technology: hygienic macros, syntactic closures, `Macros that work', first-class macros; this is stuff which can't be grafted onto the language using defmacro. The design issues around macros are tied up with the issues around module systems, and this is an area where Common LISP is just plain broken.

raph (from 11/5/2002): I think it's a bit premature to say arc ... could well become the most compelling LISP dialect. I think the *discussion* around arc is going to be very interesting (it already is), but it is not clear to me from what he has written so far that Paul Graham has any ideas that will put arc substantially ahead of where Olin Shiver's scsh already is for the kind of tasks he has in mind. We'll see.

Grit: I think the ability to guess domain names isn't an important one, informativeness of URLs is much more important. If musedoma do their job right, then one knows that sfmoma.museum is indeed what one is looking for.

The point I was making about persistence is that for a renewal policy to make sense it would have to apply to all/most domain names, which directly undermines the utility of a DNS.

shlomif: I'd say an important advantage of Java over C++ and (to a lesser extent) perl is that it is pretty predictable: there are relatively few nasty snafus in writing code. Maybe `less insights' is the price, but I can see why people might use it to get the job done.

The `It's not real code' argument against Perl is lame, but IMO Perl doesn't scale well; I have to say I don't think of Perl as a `proper' programming language.

tk: But badvogato *is* a master, if not with that honour in the advogato trust metric...

Grit: The proposals I am familiar with for expanding the TLD domain name system are suggesting that many of the new TLDs will have different policies (ie. like .edu/.gov/.mil), so they are not proposing the .com/.org/.net free-for-all you show to be absurd. A renewal policy I think is an awful idea: the point about the DNS is precisely to have persistent points of reference to internet resources.

freetype: Are you familiar with the work on region management (ie. a compile-time alternative to garbage collection)?

lkcl: Congratulations on the new job!

tk: I don't read geek code. Well... OK then, `y!' means you're a chap?

shlomif: Check what version of ghostscript you are using: 5.50 had serious problems with generating and rendering PDF. You can check that the PDF is OK using acroread.

12 May 2002 (updated 12 May 2002 at 16:29 UTC) »
raph: I found Bertrand Meyer's article to be biased against Java: generics have been planned for Java since the first release (rumor has it that the first release of the Java SDK was almost cacelled because it didn't support them), and has been `backported' to all the old releases: one of the reasons for the delay was getting it right... The JVM is really not a bad target for most languages: the absence of longjumps (ie. continuations) in the JVM is a showstopper for scheme but otherwise the architecture doesn't fare too badly. The platform comparison you cite by John Gough talks about the overhead Java introduces by its need to box and unbox representations: that isn't the whole story, since a good JVM->native code compiler can eliminate most of this cost (I was not so impressed by this article: it didn't even mention the longjump issue).

My prediction is that there will be a big growth in domain specific languages for the .NET platform, and these will be popular with developers. I guess that the C++.NET language will be a failure for the reasons Joel Spolsky gives. I'll be interested to see if FORTRAN.NET takes off for scientific computing.

Lastly, maybe you will find Java/CNI interesting (the `Cygnus Native Interface' for Java compiled to UNIX/C using gcj).

Just certified Perrin to Journeyer for his work on Freeciv.

Postscript: Just upgraded my certification of tk to Journeyer based on his/her wide involvement in free software projects and interesting diary entries.

Joel Spolsky thinks Bertrand Meyer's article on .NET language independence supports what he says about the weakness of language independence for .NET. I disagree, I think, while .NET doesn't support many of the reasons that Joel cites for moving to other languages, as Bertrand says it is a good framework for most modern languages: it's good enough to support LISP and Scheme, which as Paul Graham says is the model new programming languages are evolving towards, and which the JVM doesn't support due to its lack of tail recursive function calls.

While I'm on the subject of .NET, I want to say again that I don't think Gnome on Mono is a good idea, for two reasons:

  • MS's aims with .NET are anti-competitive and will hurt free software;
  • Free software support for Java is better advanced, and it is better to build on what we have already than support .NET.
However I do think .NET is innovative and important, and so is something the free software world should properly understand. A better strategy would be to put more effort in free software Java based efforts, and pressurise SUN into remedying Java's defects (eg. the prejudicial framework for J2EE certification, the weakness of the Java Community Program, the lack of tail-recursive calls in the JVM). Sun is not an ideal free software partner, but it's a damn sight better in almost every respect than MS.

Postscript #1: Since reading this, I read the Interview with Danese Cooper on Slashdot, which seems to suggest that Sun is at last dealing with the open source J2EE problem. Didn't say anything about the problems with the Java Community Program, though, more's the pity.

Postcript #2: The Stallman factor: spot on!

Postscript #3: Certified of shlomif as Journeyer because I like his diary entries (a lot), and apparently he has good skills and makes worthwhile contributions to free software.

9 May 2002 (updated 9 May 2002 at 16:46 UTC) »

I guess the critera I use for apprentice certification are pretty much: shows willing and occasionally posts diary entries. Certified jooon to apprentice after receiving a comment from him about using one's `Notes' section to record the justifications for one's certifications. I don't like this because (i) it is messy and (ii) certifications change and I like to keep a historical record of this kind of activity. Also certified ClimbNorth to apprentice: I'm interested generally in games programming, and I'd like to encourage free software games developers.

I hardly read slashdot anymore, but one thing I've noticed is they've stopped acknowledging `ping' requests. I think is unfriendly behaviour (yes -they take a tiny amount of time, yes -slashdot has problems with DOSers, but even so ping is important network glue, and one should eventually acknowledge at least the first few ping queries), so one thing I do when I remember is have a few processes constantly sending them messages. Maybe I'll make put this on my cron scheduler...

Postscript #1: I found this essay on trust and the media at Dan Gillmour's weblog (this year's Reith Lecture, I don't suppose many folks here know what that is). The author's argument is basically that currently the big media companies have a `licence to deceive' that is normally defended by appeals to John Stuart Mill's arguments that are based on an outmoded view of the press. Good stuff. Dave Winer's idea about weblogs being a way to improve the quality of information is one well-known idea, but I wonder if a system based on (attack-resistant) certification could do better? What would such a system need to do?

Postscript #2: Certified Grit to journeyer: has good skills, does interesting research, has an interesting free software project and writes interesting diary entries.

7 May 2002 (updated 7 May 2002 at 11:35 UTC) »

Very busy at the moment. In last three days finished first draft of a big research proposal, refereeing a paper I very much liked, and put the finishing touches on a technical report. Sometimes work goes well, would be good if I could remember that when things don't go so well.

I've decided to attach information on my certification activity to my diary entries, starting with amars, who I've certified as journeyer because of his comments on and work on PHP: I don't like PHP, but it's important and free, and amars seems to have a good perspective on it and has done apparently useful free software work with it.

Two suggestions for advogato: (i) fix the 404 for http://www.advogato.org/html.html and (ii) give an option to add a URL to certifications so that folks can link to diary entries explaining their certifiction activity...

Postscript #1 jlbec: I agree that the analogy between Apartheid-era South Africa and Israel isn't perfect but I find athe nalogy between the condition of Palestine and the then condition of the homelands to be striking. Also that an obviously unjust and unsustainable status quo is maintained by fear of change and a surreal failure to grasp their real position. I only hope things work out as well in the Middle East as they did in SA.

Postscript #2: Certified mcs to apprentice - sounds like he needs encouragement.

Postscript #3: Joel Spolsky's critique of language independence on .NET seems to miss the point: MS wants to make it easy for existing projects to migrate to the .NET platform. Bring 'em in and lock the door... I like the way he makes the point about the programming language syntax arguments, though - they really are lame.

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