Dan Plyukhin
@dplyukhin.bsky.social
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
Pinned
Dan Plyukhin
@dplyukhin.bsky.social
· Jun 23
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...
Check it out here: www.youtube.com/live/lGM37Z3...
Reposted by Dan Plyukhin
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-...
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-...
November 9, 2025 at 8:49 PM
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-...
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-...
Reposted by Dan Plyukhin
Eminently reasonable proposed principles for professors’ use of AI, from a student refusinggenai.wordpress.com/2025/08/29/a...
October 31, 2025 at 3:10 PM
Eminently reasonable proposed principles for professors’ use of AI, from a student refusinggenai.wordpress.com/2025/08/29/a...
Woah. Have all NSF-awardees been signing this for the past year or so?
as a condition of funding, we were asked to affirm that we wouldn’t undertake any diversity, equity, and inclusion work, whether or not we used the government funds to do so. The PSF simply couldn’t agree to that statement,
October 27, 2025 at 9:33 PM
Woah. Have all NSF-awardees been signing this for the past year or so?
First they took my em-dashes away, now this. Am I a robot?? I have so many captchas to apologize to
"it isn't just X—it's Y" is by far the most annoying ChatGPTism
October 20, 2025 at 2:44 PM
First they took my em-dashes away, now this. Am I a robot?? I have so many captchas to apologize to
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 😳
October 16, 2025 at 10:24 PM
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 😳
Take notes, this will be on the exam!
The three spidermen of choreographic programming, courtesy of @dplyukhin.bsky.social
October 16, 2025 at 12:09 AM
Take notes, this will be on the exam!
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
+ increased O2 intake
+ buffs to endurance and mental acuity
+ regain more health from sleep
October 11, 2025 at 4:28 PM
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
+ increased O2 intake
+ buffs to endurance and mental acuity
+ regain more health from sleep
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 😄😄😄😰
September 1, 2025 at 9:38 PM
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 😄😄😄😰
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!?
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!?
July 28, 2025 at 5:26 PM
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!?
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!?
Hey CS instructors and TAs, what’s your policy on students using LLMs?
(A) not allowed
(B) sometimes allowed
(C) required or encouraged
(A) not allowed
(B) sometimes allowed
(C) required or encouraged
July 24, 2025 at 10:15 PM
Hey CS instructors and TAs, what’s your policy on students using LLMs?
(A) not allowed
(B) sometimes allowed
(C) required or encouraged
(A) not allowed
(B) sometimes allowed
(C) required or encouraged
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...
Check it out here: www.youtube.com/live/lGM37Z3...
June 23, 2025 at 4:02 PM
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...
Check it out here: www.youtube.com/live/lGM37Z3...
If you're reading this post, you're probably procrastinating. Why not watch my PLDI talk, "CRGC: Fault-Recovering Actor GC in Apache Pekko"?
It goes live in 1 hr (11:30 KST). I tried to make it entertaining 🙂
#akka #erlang #elixir www.youtube.com/live/lGM37Z3...
It goes live in 1 hr (11:30 KST). I tried to make it entertaining 🙂
#akka #erlang #elixir www.youtube.com/live/lGM37Z3...
[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 20th)
YouTube video by ACM SIGPLAN
www.youtube.com
June 20, 2025 at 1:40 AM
If you're reading this post, you're probably procrastinating. Why not watch my PLDI talk, "CRGC: Fault-Recovering Actor GC in Apache Pekko"?
It goes live in 1 hr (11:30 KST). I tried to make it entertaining 🙂
#akka #erlang #elixir www.youtube.com/live/lGM37Z3...
It goes live in 1 hr (11:30 KST). I tried to make it entertaining 🙂
#akka #erlang #elixir www.youtube.com/live/lGM37Z3...
Reposted by Dan Plyukhin
Sometimes it takes me all day to get nothing done
April 8, 2025 at 8:25 AM
Sometimes it takes me all day to get nothing done
Under the hood, #Erlang does a lot of tricks to improve performance.
The fields of this C struct are modified by different CPUs. If you packed fields normally, modifications by one CPU will invalidate the cache of another CPU.
So the devs added padding, and now fields are on different cache lines!
The fields of this C struct are modified by different CPUs. If you packed fields normally, modifications by one CPU will invalidate the cache of another CPU.
So the devs added padding, and now fields are on different cache lines!
![typedef struct {
/*
* Data mainly modified when someone is listing
* the content of the table.
*/
union {
ErtsPTabListData data;
char algn[ERTS_ALC_CACHE_LINE_ALIGN_SIZE(sizeof(ErtsPTabListData))];
} list;](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:dytkhinvwp3npoldaafmg4ck/bafkreiehznxjhzfglsg3tusudqojiechguvadjkyyrn5lhuzhrnwcfjslu@jpeg)
March 31, 2025 at 5:25 PM
Under the hood, #Erlang does a lot of tricks to improve performance.
The fields of this C struct are modified by different CPUs. If you packed fields normally, modifications by one CPU will invalidate the cache of another CPU.
So the devs added padding, and now fields are on different cache lines!
The fields of this C struct are modified by different CPUs. If you packed fields normally, modifications by one CPU will invalidate the cache of another CPU.
So the devs added padding, and now fields are on different cache lines!
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!
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!
March 30, 2025 at 10:40 PM
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!
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!
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...
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
March 30, 2025 at 6:14 PM
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...
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...
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
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
March 30, 2025 at 6:09 PM
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
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
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...
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...
www.felienne.com
March 25, 2025 at 2:50 PM
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...
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...
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.
March 9, 2025 at 10:51 PM
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.
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 (⊬)
It would be called "Judgment Free Zone" and the logo would obviously be (⊬)
February 4, 2025 at 10:45 PM
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 (⊬)
It would be called "Judgment Free Zone" and the logo would obviously be (⊬)
Once more unto Denmark! 🇩🇰
December 1, 2024 at 10:38 AM
Once more unto Denmark! 🇩🇰
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 ._.
Before this year, I don’t think I could explain what a formal model was for ._.
November 28, 2024 at 3:51 PM
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 ._.
Before this year, I don’t think I could explain what a formal model was for ._.
Orrrrr you can keep calling things transpilers, and continue doing daring and beautiful things with language because it makes the pedants upset :)
after seeing yet another paper call something a "transpiler", i am once again requesting (telling) people to stop making up words that don't mean anything: rachit.pl/post/transpi...
be better than a JavaScript tech bro
be better than a JavaScript tech bro
Transpiler, a meaningless word | Rachit Nigam
rachit.pl
November 27, 2024 at 4:15 AM
Orrrrr you can keep calling things transpilers, and continue doing daring and beautiful things with language because it makes the pedants upset :)
Does anybody else hate working with build tools like SBT and Maven? I just can't believe they need to be so hard to learn and also so slow at their main job - compiling code. Is there any PLT research about build systems?
Related article about slow build tools: mill-build.org/mill/compari...
Related article about slow build tools: mill-build.org/mill/compari...
How Fast Does Java Compile? :: The Mill JVM Build Tool
mill-build.org
November 26, 2024 at 5:40 PM
Does anybody else hate working with build tools like SBT and Maven? I just can't believe they need to be so hard to learn and also so slow at their main job - compiling code. Is there any PLT research about build systems?
Related article about slow build tools: mill-build.org/mill/compari...
Related article about slow build tools: mill-build.org/mill/compari...
Reposted by Dan Plyukhin
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful!
#FunctionalProgramming #Haskell #OCamel #Programming
#FunctionalProgramming #Haskell #OCamel #Programming
November 21, 2024 at 2:21 AM
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful!
#FunctionalProgramming #Haskell #OCamel #Programming
#FunctionalProgramming #Haskell #OCamel #Programming