Sign in

Dan Plyukhin

@dplyukhin.bsky.social
151 followers 509 following 52 posts

dplyukhin.github.io

PostsRepliesMedia
Dan Plyukhin @dplyukhin.bsky.social · 24/03/2026
It depends :) CP 2026 is an in-person workshop. At least one author of each accepted submission is expected to present their work at the workshop and to be available for discussions. But we may make exceptions in case of serious problems in attending (like visa, health, or safety reasons).
111
Dan Plyukhin @dplyukhin.bsky.social · 22/01/2026
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @sigplan-pldi.bsky.social this year! Talk proposals are due in just a couple months. Please out the website and please share widely. pldi26.sigplan.org/home/cp-2026
pldi26.sigplan.org
CP 2026 - PLDI 2026
Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreog...
143
Reposted by Dan Plyukhin
Margot Finn @eicathomefinn.bsky.social · 19/12/2025
14 two-year postdocs for academics of any nationality who cannot continue their research due to US politics. Do share if you know of such.
1355364
Dan Plyukhin @dplyukhin.bsky.social · 20/12/2025
In case you missed it, watch this clip from our interview with Andrej Bauer. I love when CS researchers can articulate a philosophy behind their work, and Andrej DELIVERS www.youtube.com/watch?v=GcTF...
youtube.com
#58 - Constructivism and Computation Content - Andrej Bauer
YouTube video by Type Theory Forall
051
Reposted by Dan Plyukhin
Bill Grueskin @bgrueskin.bsky.social · 09/11/2025
Kyle Kingsbury is not a journalist. He is not an op-ed writer. He is a computer safety researcher. And he has written one of the most compelling, comprehensive accounts of the ongoing hell in Chicago that you could possibly imagine. In under 1600 words. aphyr.com/posts/397-i-...

I Want You to Understand Chicago
Politics Chicago
2025-11-08

I want you to understand what it is like to live in Chicago during this time.

Every day my phone buzzes. It is a neighborhood group: four people were kidnapped at the corner drugstore. A friend a mile away sends a Slack message: she was at the scene when masked men assaulted and abducted two people on the street. A plumber working on my pipes is distraught, and I find out that two of his employees were kidnapped that morning. A week later it happens again.

An email arrives. Agents with guns have chased a teacher into the school where she works. They did not have a warrant. They dragged her away, ignoring her and her colleagues’ pleas to show proof of her documentation. That evening I stand a few feet from the parents of Rayito de Sol and listen to them describe, with anguish, how good Ms. Diana was to their children. What it is like to have strangers with guns traumatize your kids. For a teacher to hide a three-year-old child for fear they might be killed. How their relatives will no longer leave the house. I hear the pain and fury in their voices, and I wonder who will be next.

Understand what it is to pray in Chicago. On September 19th, Reverend David Black, lead pastor at First Presbyterian Church of Chicago, was praying outside the ICE detention center in Broadview when a DHS agent shot him in the head with pepper balls. Pepper balls are never supposed to be fired at the head because they can seriously injure, or even kill. “We could hear them laughing as they were shooting us from the roof,” Black recalled. He is not the only member of the clergy ICE has assaulted. Methodist pastor Hannah Kardon was violently arrested on October 17th, and Baptist pastor Michael Woolf was shot with pepper balls on November 1st.

Understand what it is to sleep in Chicago. On the night of September 30th, federal agents rappelled from a Black Hawk helicopter to execute a raid on an apartment building on the South Sho…
117102845626
Reposted by Dan Plyukhin
Miriam Posner @miriamposner.com · 31/10/2025
Eminently reasonable proposed principles for professors’ use of AI, from a student refusinggenai.wordpress.com/2025/08/29/a...
• Professors should never put a student's words or work into an AI
software without their consent.
• Professors should also be transparent about their Al usage with grading, curriculum building, and any other way they might use it in their teaching.
• If a professor does use Al chatbots in the classroom, they should explain their reasoning behind this decision and how its usage will help students meet learning
outcomes.
• Professors should additionally respect a student's choice to refuse Al. To do this, it would be ideal that they have assignments that students can choose from that do
7601213
Dan Plyukhin @dplyukhin.bsky.social · 27/10/2025
Woah. Have all NSF-awardees been signing this for the past year or so?
020
Dan Plyukhin @dplyukhin.bsky.social · 20/10/2025
First they took my em-dashes away, now this. Am I a robot?? I have so many captchas to apologize to
010
Dan Plyukhin @dplyukhin.bsky.social · 16/10/2025
ATTN @icfp-conference.bsky.social attendees: before entering airport security, check out the Jewel indoor rainforest! Pretty striking even when the waterfall isn’t running 😳
020
Dan Plyukhin @dplyukhin.bsky.social · 16/10/2025
Take notes, this will be on the exam!
110
Dan Plyukhin @dplyukhin.bsky.social · 11/10/2025
Medical science is so biopunk. Couple weeks ago I paid $3000 to upgrade my snout. Def better than my starting loadout: + increased O2 intake + buffs to endurance and mental acuity + regain more health from sleep
130
Dan Plyukhin @dplyukhin.bsky.social · 01/09/2025
Finally making plans to attend SPLASH in Singapore next month! First time a conference "travel etiquette" page has warned me about receiving the Death Penalty 😄😄😄😰
131
Dan Plyukhin @dplyukhin.bsky.social · 28/07/2025
Choreographic λ-calculi are a hot topic. You might know models like Pirouette (POPL 2022) or Chorλ (ICTAC 2022). But did you know researchers don't agree what the "right" semantics should even be? Our ICFP pearl builds a tiny calculus from scratch, and shows the right semantics is... non-strict!?
101
Dan Plyukhin @dplyukhin.bsky.social · 24/07/2025
Hey CS instructors and TAs, what’s your policy on students using LLMs? (A) not allowed (B) sometimes allowed (C) required or encouraged
100
Dan Plyukhin @dplyukhin.bsky.social · 23/06/2025
I gave a talk at PLDI '25 about the future of Actor GC in Apache Pekko - with applications to #akka #erlang and #elixir. It's the culmination of my 6+ year PhD at UIUC, and I tried to make the talk really fun and easy to follow :) Check it out here: www.youtube.com/live/lGM37Z3...
The title is "CRGC: Fault-Recovering Actor GC in Apache Pekko". The authors are Dan Plyukhin (SDU), Gul Agha (UIUC), and Fabrizio Montesi (SDU)
142
Reposted by Dan Plyukhin
Peter Ullrich @peterullrich.com · 08/04/2025
Sometimes it takes me all day to get nothing done
5263
Dan Plyukhin @dplyukhin.bsky.social · 30/03/2025
TIL monads give you some compiler optimizations for free! E.g. gcc has the semantics of assignment built-in, so it optimizes away `int y = x; x = y; ...`. If you write it in Haskell with the State monad, GHC will delete that code using beta/eta reduction. Even though GHC doesn't know about State!
100
Dan Plyukhin @dplyukhin.bsky.social · 30/03/2025
I find Moggi’s early papers about monads confusing. It’s hard to tell what exactly he was envisioning. This paper does a great job filling in the gaps for a modern audience! Monads + dependent types are such a powerful way to define PLs and prove properties about them. dl.acm.org/doi/pdf/10.1...
dl.acm.org
010
Dan Plyukhin @dplyukhin.bsky.social · 30/03/2025
There’s a lot of parallels b/w Category Theory and Music Theory! 1) It’s descriptive, not prescriptive 2) You don’t need it to do good work but many find it useful 3) It’s easy to say “people who know more than me are snobs, people who know less are fools” 4) Novices use it to discredit other areas
110
Dan Plyukhin @dplyukhin.bsky.social · 25/03/2025
This essay about feminism in PL asks some really tough questions! It’s making me wonder: what should the purpose of PL research be, anyway?? Are we trying to “solve problems”, “make the world a better place”, “expand knowledge”, or…? www.felienne.com/wp-content/u...
felienne.com
022
Dan Plyukhin @dplyukhin.bsky.social · 09/03/2025
I don't think DOGE could cut budgets at this pace without the help of LLMs. Is this the first time AI has been used to accelerate a political project? Reminds me of what the invention of machine guns did to the first world war.
240
Dan Plyukhin @dplyukhin.bsky.social · 04/02/2025
Idea to create a rival podcast to Type Theory Forall, focusing on untyped programming languages like lisp and prolog It would be called "Judgment Free Zone" and the logo would obviously be (⊬)
3142
Dan Plyukhin @dplyukhin.bsky.social · 01/12/2024
Once more unto Denmark! 🇩🇰
140
Dan Plyukhin @dplyukhin.bsky.social · 28/11/2024
Has anyone else had the embarrassing realization that you didn’t really understand a fundamental idea in your research area? Before this year, I don’t think I could explain what a formal model was for ._.
140
Dan Plyukhin @dplyukhin.bsky.social · 27/11/2024
Orrrrr you can keep calling things transpilers, and continue doing daring and beautiful things with language because it makes the pedants upset :)
150
Reposted by Dan Plyukhin
JMCT @jmct.bsky.social · 21/11/2024
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful! #FunctionalProgramming #Haskell #OCamel #Programming
35316
Reposted by Dan Plyukhin
Marco Peressotti @mperessotti.bsky.social · 25/11/2024
I met Valentino Picotti when I supervised his bachelor project and today I'm excited and proud to share that he successfully defended his PhD dissertation "Language Support for #Microservices Development". It's been a pleasure to work with him and be his supervisor together with Fabrizio Montesi.
A picture of Valentino after his defence.
141
Dan Plyukhin @dplyukhin.bsky.social · 25/11/2024
Instantly, utterly, madly in love with #Lean4. I haven't felt this way since learning Elm in undergrad. Everything from the language to the tooling is so thoughtfully designed!
A really long proof in LeanThe same proof in one line, using the simp tactic.
1101
Dan Plyukhin @dplyukhin.bsky.social · 23/11/2024
I'm a huge fan of Brendan Gregg's work on observability. If you've heard a bit about BPF tools and want to know how they work, you have to check out this talk: www.youtube.com/watch?v=_5Z2...
youtube.com
LISA21 - BPF Internals
YouTube video by USENIX
020
Dan Plyukhin @dplyukhin.bsky.social · 22/11/2024
Handy trick for those toiling in the UNIX mines. Instead of: 1. Running `ps aux | grep java` 2. Copying the PID 3. Running `mycommand ... PID` Use pidof! Just run `mycommand ... $(pidof java)`.
130
Reposted by Dan Plyukhin
Michael Gasch @embano1.mgasch.com · 27/10/2024
Hello 🦋 Happy to see many familiar faces around. Wasn't easy to find all of you (I probably missed many), so I created a starter pack to make it easier to (re)connect and nerd out about distributed systems, programming languages, and container stuff. Let me know who I missed! go.bsky.app/U1hZhum
2912551