Got a visit from an angry amanuensis (is that the correct
English term?)
that we should leave the office we had been given ASAP (it
was on loan from another department, and they needed the
room for a foreign visitor). With some interdepartmentary
diplomacy I was able to get us a new office, which is bigger
and spacier than the previous one and is directly attached
to the computer lab where we teach. I think it went quite
well in the final analysis. The problem is, our new office
space was reserved by a professor who has not used it in the
last year, and we were given that space without asking the
professor. Oh well, we need that office only for a month or
so anyway. And I got my own work computer, on which I
immediately
installed Debian potato (as of first test cycle). The
install system has
really improved.
No time to code today, I am sorry to report. But yesterday
I finally settled on two random number sources for Winters:
/dev/random for the
top-security stuff (keys etc)
and a /dev/random-seeded MD5-based PRNG for the workhorse
random numbers. And it works too, although I may have to
rewrite the MD5 implementation (stolen from dpkg) for
increased portability.