Harold @harold@qoto.org

The department announced the people in the faculty who will be leaving in the new semester.
It does feel sadder when there are people you've talked and worked with I guess.

Going to restaurant accompanying flatmate
while reading xkcd
https://xkcd.com/2346/
well I want to see their implementation of social distancing rules.

I can't believe a kinda formal report quoted from 'popular legend' but the joke itself is

quote of the day:
“Autonomous” and “automated” are not synonyms, and neither are “autonomy” and “automation”.

actually yeah that's right...

Stackoverflow moderator redirected me to superuser site. I knew there was a more os centred site! I just couldn't remember the name.
Stack exchange acutally has a bit federated feeling, but more in the sense of one account universally recognised - or supporting federated authentication...ah that means not decentralised. Alright.

Went to stackoverflow to ask about why my terminal won't accept normal hotkeys. Up with this I can no longer put.

@freemo Yes! He's the best.

oh google says from Mort.
Anyway it is repeated throughout the Discworld series.

As Pratchett said,
“Scientists have calculated that the chances of something so patently absurd actually existing are millions to one.
But magicians have calculated that million-to-one chances crop up nine times out of ten.”
I think it's from Equal Rites?

yeah right why not cuz everybody can see the maths process.

turns out there is a pioneer in information theory who worked in MIT (again). called Elias.
fine.
Nolan really did think it out when he let his character go to MIT.
https://en.wikipedia.org/wiki/List_decoding

let us see what inline latex math looks like in other instances -
\[1= m \ mod \ n\]
where \(\ m,\ n\) are large prime numbers

funny when I think about how some very early paper seems to be produced in the author's bedroom.
old version of working from home.
(paper is: A Fuzzy Commitment Scheme)