Merry post-christmas, everyone!
University
Spent the last four days preparing a for a seminar in
mid-january. Usually, I'd never voluntarily pick a seminar
on "information commerce", but the person responsible for
this one happens to be my boss, and he actually gave me an
interesting topic to work on: Combining three modal locics
to model deadlines and similar stuff in business
transactions. (well, "combining three modal logics" is the
interesting part here, the rest of the title is decoration).
It's based on two papers ([1]
[2]),
but it turns out that, while providing a nice algebra for
writing things down, it's too messed up for sensible
reasoning or planning in any but the most trivial of
cases.
Researching for this one taught me to like the NEC CS
citeseeker
However, there still is one thing I hate about seminars, and
that's preparing the slides. I enjoy presenting my stuff,
and I like writing the seminar paper (if the subject is
interesting, which it is in this case- combining deontic
logic, dynamic logic, and temporal logic (PTL, to be
precise)), but watering down the contents to improve the
grokability factor hurts. A lot. But that's the price I'll
have to pay for taking a seminar which mostly CS economists
("Wirtschaftsinformatiker") (US people: think CIS) are
involved in.
Slides have another problem: While the TeX seminar mode
works great for me, my boss wants PowerPoint slides.
However, I don't have access to any win32 system and
couldn't install it on my Alpha if I wanted to (which,
surprisingly, I don't), so I'll have to try something like
converting them to eps, which SO5.1 is supposed to be able
to import (I can't run that one locally, either, but it's
installed on some Solaris boxes I have access to).
Christmas
For Christmas, I turned an SGI Indy into an X terminal, so
that my father can finally enjoy KDE2 to do whatever it is
he wanted to do in the Internet. Turned out that konqueror
renders the FreeSCI homepage correctly, which makes it look
pretty broken. Oops.
Exult
Good News, Alpha users: Exult/CVS works now! Except for the
segfault when clicking "Setup" in the main menu, everything
looks pretty good- as long as you use playmidi for MIDI
output. I guess I should have a look at libkmidi or
timidity...
FreeSCI
Considerable improvements- the display lists work great now!
I just wish the guy working on sound support had more time
for FreeSCI. Anyway, I guess I'll take a break from writing
seminar slides now and try to fix the two remaining
dynamic/static display list bugs. And, if that works,
re-enable some more of the disabled graphics
functionality.
Also fixed the FreeSCI homepage. Sorry for needing so long
to find out about that, Konqueror
(Konquerer?) users!
BTW, I think I'll try this IRC thing tonight.
