Wolfgang Schwarz

Beta-Blogger 2.1

I've just included automatic validation of each posting by the W3C HTML validator. To turn this on, you have to set
$blog->validateHTML = true;
in settings.inc.

Ab zum Eimer.

Misc.

While I'm at it: some other things I've done recently are improving the Tree Proof Generator (in particular, the proofs are now drawn on a separate page, so that you can get back to the form by hitting your browser's back button), writing a summary of Frege's "Grundgesetze der Arithmetik" (in German), and finding a new flat.

Beta-Blogger 2

I rewrote my blogger to make it more flexible. Among other features it now contains a pingback user agent (still no trackback support, though).

Postbote Update

Postbote now automatically looks for new mails (there's a preference for how often it does that), lists only 20 mails simultaneously (there's another preference for changing this value), and creates popups for writing mails.

Email me if you have any problems with these features or anything else.

yet another project

I've added another project to my list: Digital: A Frontend for Analog. Like most things I program, this is something many other people have made before, and most likely some of them did it much better.

RSS HTML Template

Created a RSS-HTML template for Beta-Blogger.

Tree Proof Generator Update

I've spent some more time on the Tree Proof Generator. The algorithm is now a lot faster, more information is displayed during calculation, and there are new buttons to control the drawing.

This formula (the last one on the Examples page) is quite interesting: After the quantifiers have all been dealt with, there are 36 formulas on the tree that have to be broken down by the truth-functional rules. I let it run for several hours. When finally Mozilla ran out of memory it had developed just 25 of those 36 formulas, building a tree with 179797 nodes!

I've got that formula from David Bostock's very fine book "Intermediate Logic", where he says that "the tedium of writing out a completed tableau" for this formula would be "very considerable" (p.177). Indeed.

Beta-Blogger

I've now added the blogger script to the list of projects.

So.

Ich habe Magdalenas Blogger ein bisschen weiter entwickelt und verwende ihn jetzt auch für diese Spalte. Vielleicht schaffe ich damit, hier ab und zu über Neuigkeiten zu berichten.