Older blog entries for norm (starting at number 1)

10 Apr 2004 (updated 28 Apr 2004 at 09:13 UTC) »

I wrote a reply to a MathForge article on computers and mathematical proofs, which in turn is about the New York Times article In Math, Computers Don't Lie. Or Do They?. An interesting tidbit (that would otherwise remain obscurely buried in noise) is that solovay proved 0=1 with the HOL-light proof verifier.

15 Mar 2004 (updated 15 Mar 2004 at 21:05 UTC) »

I can reply to articles now (thanks Raph:), so I replied to the article My Linux Wishlist and removed the duplicate comment that used to be here.

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!