Jed Brown

Thanks for building this example. I think we could add a section to the README (or other place in the docs) with recommended demonstrations. That could be further split into...

Resolved by #129.

Just catching up now on session types: doesn't this mean you have to encode everything that can be sent/received when you create the pair (or group)? That seems exceedingly impractical...

Yeah, I can imagine making that composition work for toy problems, but it's hard for me to see it working for real applications, say unstructured meshes and multigrid, where you...

Related to this, I see the `BASE_CFLAGS` being picked up by default when building UCX and this causes the build to fail with gcc-11 `-Werror=array-bounds`. ``` $ rg Werror modules/ucx/config...

Is the main benefit here that you can have overlapping scopes? For example, in an atmospheric simulation, you can have a scope for communication with horizontal neighbors and another scope...

I think "without registration" is a red herring -- almost every platform requires registration if only to manage spam. I think it's enough that the issue tracker be viewable without...

GitHub user profiles can already include Twitter handles (along with email and websites). Would they consider adding ORCID?

Addressing your first points, it's very reasonable (and I'd say recommended for large projects) to have the paper in a branch that gets squash-merged upon acceptance. The requirement to make...

We've talked about running readthedocs under our domain, but that doesn't resolve that its layout doesn't readily nest within the rest of this page. Lorena is certainly right that the...