#popl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #popl, aggregated by home.social.
-
Already on my way to #POPL
I'm presenting a poster at the SRC and if I'm lucky a presentation too.
-
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)!
-
#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)!
-
#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.
-
Last but not least, Mark Koch talks about Guppy.
-
-
-
Agustin Borgna talking about HUGR at PLanQC 2025. #planqc #popl #quantumcomputing #quantinuum
-
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
-
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
-
"cottage industry of safe forms of recursion" - @danielgratzer #popl
-
"cottage industry of safe forms of recursion" - @danielgratzer #popl
-
"cottage industry of safe forms of recursion" - @danielgratzer #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 -
#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 -
#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 🧵⬇️
-
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
-
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
-
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
-
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
-
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.
-
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.