It would be a fun coding agent benchmark to have them translate such a program between the different languages and see whether they preserve the respective semantics.
Amazing work. It's one thing to say "async is complex". It's another to parse that statement so carefully as to have a cross-language theory of async execution. Looking forward to digging into this!
4 comments