Today’s moth on my finger (yes it’s a moth) is the incredible Lunar Hornet Clearwing Moth. There is some amazing camouflage in the moth world, but this mimicry is next-level! They even prod you with their abdomen to mimic a stinging action.

#mothsonmyfinger #moths #MothsMatter #lepidoptera #teammoth

My first accidental leak of uninitialized memory??? It's so cute!

Show thread

One of my favorite things about Rainbow and Sprinkles is how they sit in a pile and groom themselves and/or each other, with no apparent regard for whose fur they're licking at any given time.

Really proud of my group today -- three of my PhD students had submissions to the POPL Student Research competition, and of those, all three were either accepted or conditionally accepted! 🎉

As punishment, we must now go to Boston in January. ❄️

Unabashedly enthusiastic grad students are the life-blood of academia. The whole profession would do well to form itself around fostering their joy, instead of... whatever it's doing now.

Show thread

Ph.D. positions on PL/FM/ITP at Portland State University 

Hello! I'm looking for students who are interested in research on programming languages/formal verification/interactive theorem proving to join my research group at Portland State University as a Ph.D. student starting Fall 2023! Please reach out to me if you are interested or if you have any questions about my research, our group, or Portland State University.

You can find more information about me at:

Some fun facts about Portland State University and the beautiful city of Portland (I steal these facts from my colleague Sayan Bandyapadhyay's Twitter:
- The main motto of PSU is "Let Knowledge Serve the City". There is a book that explains how the city is well-served by the university.
- PSU is one of the few univ. to have a Native American Student and Community Center.
- PSU is an “emerging Hispanic-Serving Institution”.
- PSU has several minority faculty affinity groups including Black Faculty/Staff Affinity Group and Queer and Trans Employee Resource Group.
- Portland was named a “platinum” bicycle-friendly community.
- Portland has a world-class public transportation system consisting of local trains (MAX-rail) and trams (streetcars).
- Portland is a green city
- Portland is a weird city

so I had thought Sylvia was probably making up the "white hole where time runs backwards" thing, but it turns out it's from this video we watched a while ago that I had forgotten about

Show thread

lmao, i didn't realize that Twitter's blog ties into its account display names.

cc @ruchowdh

has an Infinite Jest-style Subsidized Time™ Year of the Linux Desktop™ crossover joke been done yet or

Since Mastodon saw its initial popularity circa 2017, I've noticed that most users and those reporting on it either don't think about the Fediverse as anything more than Mastodon, or treat its history as beginning with Eugen Rochko and the beginning of Mastodon. In fact, Mastodon is the latest in a long line of federated social networks going at least back to, and though I wasn't around for all of it, I find this history pretty interesting. (Thread; boosts welcome!)

This piece by a Berkeley economics PhD student explores the connections between the current UC academic worker strike, the California housing crisis, and UC's role as a big-time California landlord:

Sylvia four years ago and today. Weird, this sign seems to have shrunk a lot.

Twitter's demise 

It took over a week, but I just got the notification that my Twitter data was ready, so if you're still waiting for yours, don't lose hope.

Show thread

What prospective advisors are looking for Ph.D. applicants who want to work on compilers? I know about the usual suspects, but would love to have more names to offer the undergrad I'm advising, especially new/junior faculty working on building a lab.

I'm not even on Tumblr, but man, it fills me with hope that Tumblr is apparently adding support for ActivityPub and that people are apparently leaving Twitter for Tumblr. The dream of the late 2000s is alive?

For the youngsters here, the Max Headroom TV hijacking was, I believe, the greatest hack of my lifetime. I hope it’s never solved.

Show thread

This literature clock is the most wonderful thing I’ve seen in a long time. Checking the time becomes a moment of pure joy 😍

The most relatable thing in Star Trek is where Doctor Crusher tells a story about how she told a joke that hurt someone when she thought it would be cute and it haunted her for years later

me: Hey Sylvia, where's your other sock?
Sylvia: I don't know. *thinks for a moment* Under ten miles away.

Show older

A Mastodon server for Recursers.

<svg xmlns="" id="hometownlogo" x="0px" y="0px" viewBox="25 40 50 20" width="100%" height="100%"><g><path d="M55.9,53.9H35.3c-0.7,0-1.3,0.6-1.3,1.3s0.6,1.3,1.3,1.3h20.6c0.7,0,1.3-0.6,1.3-1.3S56.6,53.9,55.9,53.9z"/><path d="M55.9,58.2H35.3c-0.7,0-1.3,0.6-1.3,1.3s0.6,1.3,1.3,1.3h20.6c0.7,0,1.3-0.6,1.3-1.3S56.6,58.2,55.9,58.2z"/><path d="M55.9,62.6H35.3c-0.7,0-1.3,0.6-1.3,1.3s0.6,1.3,1.3,1.3h20.6c0.7,0,1.3-0.6,1.3-1.3S56.6,62.6,55.9,62.6z"/><path d="M64.8,53.9c-0.7,0-1.3,0.6-1.3,1.3v8.8c0,0.7,0.6,1.3,1.3,1.3s1.3-0.6,1.3-1.3v-8.8C66,54.4,65.4,53.9,64.8,53.9z"/><path d="M60.4,53.9c-0.7,0-1.3,0.6-1.3,1.3v8.8c0,0.7,0.6,1.3,1.3,1.3s1.3-0.6,1.3-1.3v-8.8C61.6,54.4,61.1,53.9,60.4,53.9z"/><path d="M63.7,48.3c1.3-0.7,2-2.5,2-5.6c0-3.6-0.9-7.8-3.3-7.8s-3.3,4.2-3.3,7.8c0,3.1,0.7,4.9,2,5.6v2.4c0,0.7,0.6,1.3,1.3,1.3 s1.3-0.6,1.3-1.3V48.3z M62.4,37.8c0.4,0.8,0.8,2.5,0.8,4.9c0,2.5-0.5,3.4-0.8,3.4s-0.8-0.9-0.8-3.4C61.7,40.3,62.1,38.6,62.4,37.8 z"/><path d="M57,42.7c0-0.1-0.1-0.1-0.1-0.2l-3.2-4.1c-0.2-0.3-0.6-0.5-1-0.5h-1.6v-1.9c0-0.7-0.6-1.3-1.3-1.3s-1.3,0.6-1.3,1.3V38 h-3.9h-1.1h-5.2c-0.4,0-0.7,0.2-1,0.5l-3.2,4.1c0,0.1-0.1,0.1-0.1,0.2c0,0-0.1,0.1-0.1,0.1C34,43,34,43.2,34,43.3v7.4 c0,0.7,0.6,1.3,1.3,1.3h5.2h7.4h8c0.7,0,1.3-0.6,1.3-1.3v-7.4c0-0.2,0-0.3-0.1-0.4C57,42.8,57,42.8,57,42.7z M41.7,49.5h-5.2v-4.9 h10.2v4.9H41.7z M48.5,42.1l-1.2-1.6h4.8l1.2,1.6H48.5z M44.1,40.5l1.2,1.6h-7.5l1.2-1.6H44.1z M49.2,44.6h5.5v4.9h-5.5V44.6z"/></g></svg>