#popl — Public Fediverse posts

Already on my way to #POPL

I'm presenting a poster at the SRC and if I'm lucky a presentation too.

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

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

Last but not least, Mark Koch talks about Guppy.

#quantinuum #guppylang #popl #planqc

I am in Denver. It is Burns Night. Where do I get haggis?
#denver #haggis #popl

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

"cottage industry of safe forms of recursion" - @danielgratzer #popl

the howling noises have started #popl

OH: "infamous within the ML module community" #popl

the temperatures are slowly rising … #popl

"engenders" used #popl

#popl
“pantograph” is a great name for a structure editor! the analogy works really well

#popl
“pantograph” is a great name for a structure editor! the analogy works really well

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 🧵⬇️

from Emily Riehl’s CPP talk: she distinguishes two approaches that may both be called synthetic (strategies II and III) #popl

from Emily Riehl’s CPP talk: she distinguishes two approaches that may both be called synthetic (strategies II and III) #popl

in case anyone needs some counterprogramming for certain political events today, I believe the #POPL* workshops (see https://popl25.sigplan.org/) will be streamed at https://youtube.com/@acmsigplan?si=fZCtgJqY7CueUidw

*principles of programming languages; academic nerd stuff; mechanized proofs and semantics and compilers and whatnot

in case anyone needs some counterprogramming for certain political events today, I believe the #POPL* workshops (see https://popl25.sigplan.org/) will be streamed at https://youtube.com/@acmsigplan?si=fZCtgJqY7CueUidw

*principles of programming languages; academic nerd stuff; mechanized proofs and semantics and compilers and whatnot

I'm at #POPL in Denver all week. On Thursday I'm presenting my paper in the main track.

I'm really looking forward to meet all of you. Hit me up if you want to meet or chat.

Next Sunday in Denver the predicted HIGH temperature is -12C (10F) #popl

Next Sunday in Denver the predicted HIGH temperature is -12C (10F) #popl

What we learned from C++ atomics and memory model standardization [video]
https://www.youtube.com/watch?v=Ss7gIs2-hzk
#ycombinator #FOWM2024 #POPL #Programming_Languages

What we learned from C++ atomics and memory model standardization [video]
https://www.youtube.com/watch?v=Ss7gIs2-hzk
#ycombinator #FOWM2024 #POPL #Programming_Languages

What we learned from C++ atomics and memory model standardization – Hans-J Boehm [video]
https://www.youtube.com/watch?v=Ss7gIs2-hzk
#ycombinator #FOWM2024 #POPL #Programming_Languages

What we learned from C++ atomics and memory model standardization – Hans-J Boehm [video]
https://www.youtube.com/watch?v=Ss7gIs2-hzk
#ycombinator #FOWM2024 #POPL #Programming_Languages

#POPL #PROPL was great. Thanks everyone for the great conversations.

#POPL #PROPL was great. Thanks everyone for the great conversations.

I'd like to say a genuine thank you to everyone at #POPL who wore a mask. There were so many more of you than I expected! 💜

I'd like to say a genuine thank you to everyone at #POPL who wore a mask. There were so many more of you than I expected! 💜

Let me know if you are in London and want to meet up! I’ll be in the vicinity of #POPL on Wednesday afternoon. #Racket #RacketLang @racketlang

Let me know if you are in London and want to meet up! I’ll be in the vicinity of #POPL on Wednesday afternoon. #Racket #RacketLang @racketlang

If you attending #POPL and are curious about CHERI please consider the "Principles of Capability Languages" workshop. Learn about CHERI architecture, CHERI C semantics (my talk!), and CHERI support for other languages like Rust https://popl24.sigplan.org/home/pocl-2024

If you attending #POPL and are curious about CHERI please consider the "Principles of Capability Languages" workshop. Learn about CHERI architecture, CHERI C semantics (my talk!), and CHERI support for other languages like Rust https://popl24.sigplan.org/home/pocl-2024

Congrats to my #ANU colleague Peter Hoefner, as well as @ohad and the other co-authors, for the acceptance to #POPL #POPL2023 of their 'Shoggoth' paper. I don't know anything about the research but I am tickled by the reach into the Lovecraft mythos for a name. https://popl24.sigplan.org/track/POPL-2024-popl-research-papers

Congrats to my #ANU colleague Peter Hoefner, as well as @ohad and the other co-authors, for the acceptance to #POPL #POPL2023 of their 'Shoggoth' paper. I don't know anything about the research but I am tickled by the reach into the Lovecraft mythos for a name. https://popl24.sigplan.org/track/POPL-2024-popl-research-papers

#CallForPresentations #CoqPL #CoqPL2024 (Workshop on Coq for Programming Languages) "provide[s] an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team... To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop" https://popl24.sigplan.org/home/CoqPL-2024#Call-for-Presentations #Coq #ITP #PL #POPL

Get Your Digital Business Card • TechNotes Blog https://blog.tcea.org/get-your-digital-business-card/
#tcea #edtech #popl #hihello #education #k12 #work

The free square at the middle of a #POPL bingo card is labeled “Beamer”

CTA -> ORD -> BOS -> T -> POPL. #popl #popl2023

The #popl hotel is right next to the park with the new statue of Martin Luther and Coretta Scott King. https://abc7chicago.com/mlk-and-coretta-sculpture-boston-statue-embrace/12706452/

just gave a talk at #PADL (colocated with #POPL) about "declarative content generation" i.e. #logicProgramming for #generativeArt/ #pcg. slides here:
https://tinyurl.com/padl23-martens

And we’re live on a beautiful snowy January day! I’m wearing my formal dress hoodie. If you see me wandering around, say hi! #POPL

Not very many people heading into #POPL with me from the suburbs today!

#POPL is in Boston this year! Can't get enough of those POPLers!