Oh gee whiz... how do we create diagrams for inclusion in LaTex exams these days? Before I dive into GraphViz (or just draw the thing on the board for the class), am I missing something obvious?

Yes! Cal Poly is hiring Tenure-Track this year. Assistant Prof., Computer Science & Software Engineering, here's the ad:


PL is one of the listed areas of interest (but there are a lot more than that)!

Here's a picture I took yesterday, about half a mile from my front door:

Yay quality control! This unpreposessing explorer is tracking at about minus 1 second per 24 days, very impressive. Take *that*, Nevil Maskelyne!


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