Still going strong…
I’ve now had my first week at University of Aarhus and I’m slowly getting back into study-mode. My first expressions is that DAIMI:dModLog is going to be a lot of fun, DAIMI:dDist also looks promising and Analyse 1 is a bit old-fashioned. Our books is Real Analysis by H. L. Royden from 1963 (we use the third edition from 1988). So the notation is somewhat strange: The for-all symbol (a flipped A: ∀) isn’t used but the there-exists symbol (a mirrored E: ∃) is, he uses & to mean logical “and” but the normal v-shaped symbol to mean logical “or”.
I’ve been working lately on fixing [PhpWiki][] so that it’s possible to export the pages to static [XHTML][] pages. Most of the code is already there, I’m just fixing some errors to make it usuable. With that in place, it would be easy to setup a cronjob to periodically make a tarball with GimpsterDotCom, should anybody be interested in such a thing…
Also, with static pages PhpWiki suddenly becomes a powerful general-purpose tool for making websites. I’ve been hired to redo this website and expect to use PhpWiki for that. The homepage for DK-TUG (http://tug.dk/) will probably also get a dose of PhpWiki.
Leave a comment