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.
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.
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: https://lastland.github.io/
Some fun facts about Portland State University and the beautiful city of Portland (I steal these facts from my colleague Sayan Bandyapadhyay's Twitter: https://twitter.com/sayangcelt/status/1573803187223822336):
- 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 https://www.greencitytimes.com/portland/
- Portland is a weird city https://en.wikipedia.org/wiki/Keep_Portland_Weird
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 Identi.ca, 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: https://www.sfexaminer.com/our_sections/forum/the-high-cost-of-housing-is-a-a-uc-created-crisis/article_76149e18-701e-11ed-bad3-337f34ad12d1.html
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.
For the youngsters here, the Max Headroom TV hijacking was, I believe, the greatest hack of my lifetime. I hope it’s never solved. https://en.m.wikipedia.org/wiki/Max_Headroom_signal_hijacking
This literature clock is the most wonderful thing I’ve seen in a long time. Checking the time becomes a moment of pure joy 😍