Lecturer @umdcs with interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.
She likes dirty towels, what can I say?
He’s very good at looking peacful.
Grades done. A few Incompletes that I’ll have to deal with but otherwise the semester is behind me
Last lecture of the semester done!
What are some self-learning things I should look at this summer?
I want to learn more about eBPF, I want to do more Agda (perhaps work through PLFA), and I want to look at Alexis's math typesetting stuff. Mostly low stakes, for my own curiosity, stuff.
What else should be on the menu?
So I can’t post my coffee photos on here. I honestly believe that the inability to post videos is a good thing, at the same time I believe that my main contributions to the PL community are my videos…
“Yeah, my langauge supports singleton types”:
```type Single where () : Single```
When you complain about the scholarship of a paper:
I got this account and immediately got COVID, so I forgot about it. But we’re back!
Gotta learn how to follow folks on other instances…
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.