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
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 😳
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...
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!
Once more unto Denmark! 🇩🇰
December 1, 2024 at 10:38 AM
Once more unto Denmark! 🇩🇰
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!
November 25, 2024 at 7:53 PM
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!