This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Dan Plyukhin
dplyukhin.bsky.social
did:plc:dytkhinvwp3npoldaafmg4ck
⚠️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