Older blog entries for nuncanada (starting at number 2)

16 May 2003 (updated 16 May 2003 at 22:53 UTC) »
Followed wspace's link to Dijkstra's paper and loved it. More than anything the end of it, which is exactly how a formalist feels nowadays. So bad he isnt with us anymore...
For most of Dijkstra works scanned (he didnt like to use the computer to write!)
For those wondering, formalism was a movement, very influencial in 1900´s leadered by Hilbert that pronounced mathematics to be no more than the manipulation of strings.
Today almost no mathematician or logician believes in it, still there are some of us left :)
In one of Dijkstra's papers he wonders why mathematicians haven't realized yet the importance of what Hilbert's movement proposes or Leibnitz Dream as he calls.
Well, i think it is because around 1930, Gödel proved that the 'common' logic theories are inconsistent (You can prove something true and false at the same time) or incomplete (There is something true you cannot prove) when you add Arithmetics to it (PA)
I personally think that was more of problem of the 'common' theories of the time
I am impressed by some of the presentations at PHPCon this year. They are really worth the read.
For a long time i didn´t read articles about php programming, as when i started programming in php, most of the articles i would find were lacking content or easy things anyone would figure by themselves
phpBuilder stuck in my mind about these articles, i wonder how better they are these days
Xaraya has already hit the Beta status. It´s shapingly nice... We´re just missing features compared to other nukes around, still thankfully for the leadership vision of laying out good foundations before building the house.
It´s pretty quick to add those features, even accross every module already existent without modifying a line of their code.
Surely 3rd party module devs will find out this by themselves and soon we will start having the missing features end users love so much...

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!