@11011110 It comes a shock to me also. Godfried was a mentor to me when I was a student at McGill and later. He'll be missed.
@azure I've been meaning to check out EoPL. I've been teaching (sortof) from "Programming Languages: Application and Interpretation" for yonks, I think they have roughly the same "let's write interpreters approach". OTOH PLAI is free, so that's nice for students.
@ColinTheMathmo I feel like RANCID needs to be backronymed in this context.
why did the computer science student take 2 hours to order icecream? Show more
she had to traverse the combinatorial explosion of flavourspace
@mattskala that bacon looks suspiciously like anchovies. 🤔
@sir Do you happen to know if there is a public version control repo?
Ticket price changed from C$1,545.17 to C$2,367.17. Because prices change often, we recommend booking now to lock in this price.". Uh, no. Good try though! #airlines
Two math professors are sitting in a bar...
@blitz just regular RE. the IRE was cancelled, leading many people to get angry, as the name suggests.
computer scientist, mathematician, photographer, human. Debian Developer, Notmuch Maintainer, Scuba Diver, #nobot
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.