Tim Keller via WLUG
This is a reminder that we've got a meeting today at 7pm!
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 to blame. 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 about anyway. Next!
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!). -- Keith