#POPL is coming up fast... I'll be there if anyone wants to catch up or talk about the latest in Python typing (and type checkers)!

Wir Kinder vom Bahnhof Po.
#potsdamerplatz #popl #istdasnochberlin

Had a great last few days at #popl ! Learned a lot over this past week, and look forward to the many new topics to research when I get home

Mark Koch standing next to a psychedelic image of a fish.

Last but not least, Mark Koch talks about Guppy.
#quantinuum #guppylang #popl #planqc

Anyone know where one can get haggis in Denver? #haggis #denver #popl #planqc

And now here's Agustin Borgna talking about HUGR at PLanQC 2025. #planqc #popl #quantumcomputing #quantinuum

Kaitlin Smith opens PLanQC 2025 with an overview of quantum software in her keynote talk. #planqc #popl #quantumcomputing

#POPL ’d till we DROPL’d 🫡

I'll be presenting our #POPL paper "Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus" at 11:20am CT / 1:20pm ET!

The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.

Learned a lot at Certified Programs and Proofs yesterday, ready for Principles of Programming Languages to begin! #popl

The presentation of our work on dis/equality graphs at POPL is this Thursday. Congrats @grgzkhr.bsky.social @jahrim.bsky.social and Pascal!
#POPL

I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.

If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️

Had a great time and learned a lot today at the WebAssembly Workshop! #popl

Excited that our paper on compiler fuzzing in continuous integration will appear at the ICST industry track. Lead author Bua presented on this work at Dafny workshop at #POPL. Joint with Stefan Zetzsche at AWS, supported by Amazon Research Award. Check it out doc.ic.ac.uk/~afd/papers/...

It sounds like great things are happening in the world of Dafny! Plus there are already interesting hallway track discussions on Isabelle, Rocq, Rust, etc. and we've just started #popl

Much colder and snowy than what I'm used to these days, but I'm looking forward to #POPL!

I don't know if any Denver folks (@bianchiweather.bsky.social or otherwise) have a sense for this — but would this kind of weather (extreme cold with not-extreme snow) be likely to severely disrupt air travel?

Asking for a friend, who is me, who is supposed to fly to Denver on Sunday. #popl #popl25

Uh... hey this is probably something to keep your eye on if you're, say, going to a conference in Denver next weekend.

#popl #popl25 @sigplan.bsky.social

Hey yall~ To capitalise on the ppl moving here maybe?
I made a #programmingLanguages #PL feed~

It tracks all the major PL conferences ( #PLDI, #ICFP, #POPL, #OOPSLA ), plus other interesting PL keywords and stuff~

bsky.app/profile/did:...

Who has the most POPL and PLDI papers? Now living at:

Who has the longest #POPL streak? The longest gap between #PLDI papers? Some fun facts I mined from #DBLP: johnwickerson.wordpress.com/2017/08/15/pl-facts/ #news

Nathan Linger and Stephen Weeks from Jane Street are at #POPL today. Talk to them if you want to know what it's like hacking OCaml at JS.