Now that it's been rejected from POPL, I can share what my students Jonathan Castello (npub1x0e…f4mg) and redmp (EDITED) (npub104w…d4l2) and I have been up to: a dependently-typed diagrammatic language for describing executions of concurrent systems! https://arxiv.org/abs/2307.10484
Here's what I think is cool about it. 👇
Lindsey Kuper /
npub1j8…0ncgu
2023-10-05 03:46:42
Author Public Key
npub1j8ecq8rk6gcn7l9mfq2tj7wv0gseud23r4sa0afgxf83lrxs5nhsg0ncguSeen on
wss://relay.primal.netPublished at
2023-10-05 03:46:42Event JSON
{
"id": "4973fc0908aae59d7994458105e7acdfd19b27e56b34f8edd2899b4bd4c7363f",
"pubkey": "91f3801c76d2313f7cbb4814b979cc7a219e35511d61d7f528324f1f8cd0a4ef",
"created_at": 1696477602,
"kind": 1,
"tags": [
[
"p",
"7d5d98e9b3acd1bfba5996386815be68158d6dc8ea88a9251e79bc54e42dd288"
],
[
"proxy",
"https://recurse.social/@lindsey/111180356156317057",
"web"
],
[
"p",
"33f2598349a8ff3f90a4a9fa8c7a85f56e4e5bc9f388f3c50cd75908932ce65b"
],
[
"proxy",
"https://recurse.social/users/lindsey/statuses/111180356156317057",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://recurse.social/users/lindsey/statuses/111180356156317057",
"pink.momostr"
]
],
"content": "Now that it's been rejected from POPL, I can share what my students nostr:npub1x0e9nq6f4rlnly9y48agc75974hyuk7f7wy083gv6avs3yevuedsmkf4mg and nostr:npub104we36dn4ngmlwjejcuxs9d7dq2c6mwga2y2jfg70x79fepd62yqwzd4l2 and I have been up to: a dependently-typed diagrammatic language for describing executions of concurrent systems! https://arxiv.org/abs/2307.10484\n\nHere's what I think is cool about it. 👇",
"sig": "b39c6ab7d35c854b1713bde79d53b352b37f02d3af038bd6d16e6292fe534c1a4b4b43d6c1c498d031de2a490f594cc9f8d30420271494d08af9bd769b1d4c0b"
}