Tim Keller via WLUG <wlug(a)lists.wlug.org> writes:
This is a reminder that we've got a meeting today
I expect to be there (here).
Topics tonight will likely include the UMN debacle,
I'm from Minnesota, so to me UMN means University of MN,
what does that have to do with Linux? It must be some
variant of Universal Markup. So I did what we do, ask
google. UMN is University of MN; try again. "UMN Debacle"
is some drug test done at UMN that went bad, needs someone
Eventually I find that UMN also got some bad code into the
Linux update stream and had their write permissions revoked.
I had heard on the radio that something like that had happened,
but didn't remeber where it came from, and the radio news
readers/reporters clearly didn't know what they were talking
the encoder/decoder vulnerability stuff,
No time to look that up. I'll have to fake it.
probably some other Linux related stuff!
Oh good. We are finally going to have a discussion
of use of Scheme macros based on linear logic to
produce provably correct concurrent programs.
I am getting ready by re-reading the proof of
the Myhill-Shepherdson theorem.
I'd also like to talk about meeting in person.
Why would I do that?
There are some people I am eager to meet in person,
because I want to feel them up. None of those people
are WLUG members (sorry if that hurts your feelings,
but it's best to be honest).
I am vaccinated, but I am also on immuno-supressor
drugs, haven't driven for 15 years, and haven't been
in the same room as some of those people alluded
to above for 15 months.
It's too soon for me. Go ahead and meet downtown if
you wish; I doubt I will be there for a while.
I hope the video-chat meetings go on for a while concurrently
(with a provably correct procedure, of course!).