POPL 23 is coming up and we (Shraddha Barke and I) are looking for student volunteers. POPL will take place in ☘️ Boston, MA 🟥🧦, from Jan 15th to January 21st. Student volunteers get free registration to the conference and all accompanying events. More ⬇️

A massive strike authorization vote is taking place for 48,000 academic workers within the University of California. The sheer scale of this vote’s impact is immense - around 10% of all postdoc workers in the USA are in the UC system.

Happy Friday all.

my attempt to get the students to vote and choose the topic for my winter grad special topics course has ended in a four-way tie lol

Sylvia: Rainbow scratched my arm. me: Why did she scratch your arm? Sylvia: I was teaching her how to scratch.

YES. I've been waiting for this dude to rebloom since 2018! Check out that lil flower spike!

I'm looking for a PhD student interested in connecting classic techniques from linguistic syntax and compositional semantics with software specifications. I really want to dig into *both* the specification side of this (useful tools) *and* the linguistics...

and to be clear, I genuinely *love* this bit from the timely dataflow book, but I was still incapable of stopping myself from making this and then sharing it with you

This week at the LSD Seminar, Yahui Song will tell us about her work on automated temporal verification: lsd.ucsc.edu/lsd-seminar/20… Join ucsc-lsd-seminar-announce to get talk invites: groups.google.com/g/ucsc-lsd-sem…

It's that time of the semester again -- make an OS or Security zine for extra credit! docs.google.com/document/d/1VK… -- thanks to Lindsey Kuper (@[email protected]) and @pinkhairedcyn for the concept and much of the content. Feel free to adopt and adapt!

Sylvia disapproves of the term "bus shelter" because "it doesn't even shelter the bus"

I am officially no longer the Engineering Manager for the Accessibility Experience Team at Twitter. I have words. 🧵

tfw "Steps to Reproduce the Problem" include "Wait for awhile" github.com/knative/servin…

Twitter has its problems -- Alex Rudnick calls reading Twitter "pressing the pain button" -- but it's been my memex for ten years, and once I got a good chunk of research funding largely because someone appreciated a joke I made on here. It's a bummer to see it go down the tubes.

I recently learned that lenses are just getter/setter pairs. That's all they are. What else are y'all not telling me?