Well, we have arrived at Christmas vacation. Leaving
access to the computer games on all day makes such
unproductive days easier to survive. I'm pushing the
multi-player freeciv, and a core of kids are getting the
hang of it. We all have to watch out for the computer
players, though.
E-mailed a prof at Brown who runs a seminar every
year where teams of students design educational
software for local classrooms. If we can tie that project
into the open source world, their projects could have
considerably longer lives and wider impacts. It is an
exciting possibility and could be a fine model of
educational partnerships & open source development.
I'm thinking about starting either newsgroup service or
some web-based discussion service--isn't the
slashdot software open source?--to go along with the
novel reading we are going to do after break. Having
the kids read and rate each other's responses could
work very well.
Have to keep track of how long my server runs without
an actual crash. It had 10 days on it when I shut it down
for the holidays. I can't remember the last time it has
actually failed for any reason other than some mistake
on my part or an interruption of power.
I do need to remember that when preparing
documentation for teachers to be careful to explain that
various levels of linux hangs and freezes--that often it is
just X dying and a ctrl-alt-backspace will do the trick.
GDM dies on my sometimes, particularly after switching
to a virtual terminal, and I finally realized that I can fix
that with a killall gdm from a virtual terminal. At first, I
was rebooting much more than I needed to. Linux feels
more stable once you realize how to recover from
things that look like death.