Tonight, the community orchestra that I am a member of performed Sibelius' 2nd Symphony. It was fabulous, especially the fourth movement.

In the mid-1980s, students at the University of Utah staged protests that ultimately led the the University divesting from companies that did business in South Africa. utahhumanities.org/stories/items/…

Today I wrote a little code to make my MUA more useful to me—which steels my resolve to keep using it as I switch over to my institution's central email system (Outlook). #gnus #emacs

I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsberg.

To honor him, we are looking for paper submissions and extended abstracts for papers that have high 'Jensness'. Consider submitting!

🚨 Call for Papers 🚨
jsys.org/cfp

Next deadline: May 1st
Notification: June 15th 🚀

Each area welcomes up to four types of papers, each with specific acceptance criteria.
- Systemization of Knowledge (SoK)
- Tool/benchmark
- Problem
- Solution

1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts:
blog.brownplt.org/2024/04/21/for… ↵

You might ask yourself, 'What's wrong with this picture?'

Yesterday I had reason to run `kpsewhich` for the first time in a long time.

OMG.

Surely you meant line by line by line?

This week I will be presenting my paper 'Where The Wild Things Are: Brute-Force SSH Attacks In The Wild And How To Stop Them' at USENIX Association NSDI 24! #nsdi24
The full paper is at -flux.utah.edu/paper/singh-ns…

More details in the thread🧵

Bad news for folks in networking—

Very blue.

Why are strawberries so big now? delish.com/food-news/a441…

Feeling this energy today.

It's that time of year when everybody in academia sends 'gentle reminders' each other, prodding them about overdue work.

Some contributions are more equal than others, apparently.

When people say nix' docs are bad, it's really had to disagree with them when the man page is full of this stuff.