TGViewer
Linkstream Linkstream @linkstream · 169 subscribers
Post #689 356
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
TLDR: strong typing is not only about data, it's even more important to be able to model and verify communication protocols and their implementation. keywords: STScript, RouST
https://wz.ax/doi/10.1145/3446804.3446854
upd: found the code!
https://wz.ax/doi/10.5281/zenodo.4399899
GitHub GitHub - STScript-2020/cc21-artifact: Artifact for "Communication-Safe Web Programming in TypeScript with Routed Multiparty Session… Artifact for "Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types" - GitHub - STScript-2020/cc21-artifact: Artifact for "Communication-S...
Open in Telegram All posts from @linkstream
More from @linkstream
  1. Sep 30, 2026i started doing exactly this (models editing its own context) as a natural extension of sa…
  2. Sep 28, 2026cursed font factory https://bastardica.mitpit.com/
  3. Sep 25, 2026um, ahem, AlphaZero for text. Training language models without language. Loosely, natural…
  4. Sep 23, 2026umm ahem if you don't try to rein in new opus(5.5) you get one more qualitative step in ca…
  5. Sep 23, 2026nice https://fixupx.com/eyalsela/status/2102373749110587443?s=46
  6. Sep 21, 2026great writing, clear & thoughtful tldr: computers used to be math, and now they're about p…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →