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

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 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…

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

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!

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…

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 ⬇️

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

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.

Would anyone in the Bay Area like a gorgeous Westinghouse console AM/FM radio/record player? Free to a good home — my family needs to clear it out of my dad’s childhood home in Marin ASAP.

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...

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

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

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