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

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!

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

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.

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.

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

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.