Last week I stayed at a hotel with such a strict non-smoking policy that abstract representations of pipes were forbidden.

(Or: we wrote a thing about a thing we wrote about things we wrote to show that things other people wrote are good.)

Show thread

Over on the Cambridge security blog we've talked about our formal work on the experimental architecture; showing that the core instruction set has a crucial security property and testing the specification against implementations.

It's 2022 and I just had to explain XON / XOFF flow control to someone.

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.