Mae Milano

If you ever want to step back in time, check out the SMT community in PL/FM! The old guard in AI didn't vanish so much as flee for friendlier shores and establish "modern" (pre-LLM) program synthesis.

... The last couple years have not been kind to those of that generation who remain active

Name Change Policy Working Group A homepage and resource guide for the Name Change Policy Working Group.

For some of them, there might be: ncpwg.org

I've got a more "pure" PL take on this space in the works too, but that will take a touch longer to cook. Stay tuned!

Hydro - Build for Every Scale

Oh hey! I do have other stuff in the works, in fact---the latest "big" thing is HYDRO hydro.run from a supergroup of 4 faculty ( @joehellerstein.bsky.social, @nacrooks.bsky.social, Alvin Cheung, and me) + @shadaj.me, @conorpower23.bsky.social, @mingweisamuel.bsky.social and others...

Brainwide silencing of prion protein by AAV-mediated delivery of an engineered compact epigenetic editor Prion disease is caused by misfolding of the prion protein (PrP) into pathogenic self-propagating conformations, leading to rapid-onset dementia and death. However, elimination of endogenous PrP halts...

Scientists have created an actual treatment for prions, the cause of Creutzfeldt–Jakob disease in humans, chronic wasting disease in deer, & mad cow disease.

"Brainwide silencing of prion protein by AAV-mediated delivery of an engineered compact epigenetic editor". #ShareGoodNewsToo

I still have hope for my university... We'll see.

Some of our students are targeted immigrants, others are US citizens who now have to worry about whether their passports are valid, yet more have a history of activist speech or community outreach. All of this is explicitly under threat.

If you are a PhD student in computer science who is directly impacted by the last two weeks of orders, please know that it's ok to not be in a headspace for research

If anyone is pushing you to be productive despite it all, please reach out to me, or SIGPLAN CARES, or computingconnections.org

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

You should work with Fabian, he's one of the best PhD mentors I know!

Are you interested in getting a PhD in Programming Languages, particularly on practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University.

PhDs in Australia take 3-4 years, see tinyurl.com/ANUPLPhD . If you're there, find me at POPL this week!

Academia has such enormous fake email job vibes except at random checkpoints you get tested on the side project that's your actual job you only have time for between the emails

Flo: a Semantic Foundation for Progressive Stream Processing Streaming systems are present throughout modern applications, processing continuous data in real-time. Existing streaming languages have a variety of semantic models and guarantees that are often inco...

Thrilled to share that our paper “Flo: A Semantic Foundation for Progressive Stream Processing” (with @mpmilano.bsky.social, Alvin Cheung, and @joehellerstein.bsky.social) will appear at POPL 2025! Check out the preprint at arxiv.org/abs/2411.08274, and read on for more!

Basically what's a starter pack? 😅 If it's just a list of people under the heading "queers in academia" then I'm for sure in.

Looks like PL found Bluesky!! Welcome all, let's all quit X together 🫠

Please convince your friends to join this platform (or whatever else other than X) so we can see interesting content that we **actually** want to see

Oh cool! probably count me in but can you give me some details first?

The Washington Post is not bothering to endorse a candidate in the 2024 presidential election. (Jeff Bezos, the founder of Blue Origin and the founder and executive chairman of Amazon and Amazon Web Services, also owns The Post.) We as a newspaper suddenly remembered, less than two weeks before the election, that we had a robust tradition 50 years ago of not telling anyone what to do with their vote for president. It is time we got back to those “roots,” I’m told! Roots are important, of course. As recently as the 1970s, The Post did not endorse a candidate for president. As recently as centuries ago, there was no Post and the country had a king! Go even further back, and the entire continent of North America was totally uninhabitable, and we were all spineless creatures who lived in the ocean, and certainly there were no Post subscribers.

But if I were the paper, I would be a little embarrassed that it has fallen to me, the humor columnist, to make our presidential endorsement. I will spare you the suspense: I am endorsing Kamala Harris for president, because I like elections and want to keep having them. Let me tell you something. I am having a baby (It’s a boy!), and he is expected on Jan. 6, 2025 (It’s a … Proud Boy?). This is either slightly funny or not at all funny. This whole election, I have been lurching around, increasingly heavily pregnant, nauseated, unwieldy, full of the commingled hopes and terrors that come every time you are on the verge of introducing a new person to the world. Well, that world will look very different, depending on the outcome of November’s election, and I care which world my kid gets born into. I also live here myself. And I happen to care about the people who are already here, in this world. Come to think of it, I have a lot of reasons for caring how the election goes. I think it should be obvious that this is not an election for sitting out.

The case for Donald Trump is “I erroneously think the economy used to be better? I know that he has made many ominous-sounding threats about mass deportations, going after his political enemies, shutting down the speech of those who disagree with him (especially media outlets), and that he wants to make things worse for almost every category of person — people with wombs, immigrants, transgender people, journalists, protesters, people of color — but … maybe he’ll forget.” “But maybe he’ll forget” is not enough to hang a country on! Embarrassingly enough, I like this country. But everything good about it has been the product of centuries of people who had no reason to hope for better but chose to believe that better things were possible, clawing their way uphill — protesting, marching, voting, and, yes, doing the work of journalism — to build this fragile thing called democracy. But to be fragile is not the same as to be perishable, as G.K. Chesterton wrote. Simply do not break a glass, and it will last a thousand years. Smash it, and it will not last an instant. Democracy is like that: fragile, but only if you shatter it.

Trust is like that, too, as newspapers know. I’m just a humor columnist. I only know what’s happening because our actual journalists are out there reporting, knowing that their editors have their backs, that there’s no one too powerful to report on, that we would never pull a punch out of fear. That’s what our readers deserve and expect: that we are saying what we really think, reporting what we really see; that if we think Trump should not return to the White House and Harris would make a fine president, we’re going to be able to say so. That’s why I, the humor columnist, am endorsing Kamala Harris by myself!

I guess it has fallen to me, the humor columnist, to endorse Harris for president wapo.st/3UqHWRM

Opinion | It has fallen to me, the humor columnist, to endorse Harris for president Isn’t this what a newspaper is supposed to do?

link here wapo.st/3UqHWRM

You could always transfer to the regional rail in Richmond! BART trains go direct to SF (transfer in Richmond, train every 10 minutes).

If you want to stick with traditional-feeling rail, you can transfer to the Capital Corridor Amtrak down to Santa Clara, and then to Caltrain to SF.

Oh hey, I was (barely) in the first 1% of users on here! Fun!

Quote of the morning from FARM@ICFP: "we are in Italy, so if you forgot your wineglasses, you can just use algebraic geometry!"

Stop by if you're around!

Performance evening at 7pm, Auditorium San Fedele. Free!

A full comprehensive list of adobe software alternatives categorized by type

Courtesy of user @ xdanielArt on the former birdsite:

This is the most comprehensive and up-to-date list of Adobe alternatives I’ve seen, sharing here to save an artist’s life, wallet and livelihood 🙏

NYPD is encircling protesters. Kids are running, trying to escape per WKCR reports

Sign advertising “Brunch Club Porn Cakes”

WHO LIVES IN A PINEAPPLE UNDER THE SEA—

Our interconnected world is increasingly reliant on distributed systems of unprecedented scale, serving applications which must share state across the globe.... "Programming Distributed Systems" by Mae Milano

So strangeloop posted a video of my talk a couple of days ago, and y'all, it already has about 10,000 views. Apparently people really love using programming languages research to build distributed systems! youtu.be/Mc3tTRkjCvE?...

The reception to this has been so kind!! I'm glad everyone liked it 💜

Hey so does anyone else see HotCRP down right now? I'm getting a 502 error from nginx