Asupersync: A Cancel-Correct Async Runtime for Rust, Built Heavily with Frontier Models
doodlestein · x · 2026-09-25
A dev shares two weeks of open-source output: Asupersync, a cancel-correct async runtime for Rust with structured concurrency and first-class cancellation (v0.2.6, repos now at 22.3k and 6.6k commits). Key points:
- Three-phase cancel protocol: Request → Drain → Finalize, with time budgets for graceful cleanup, eliminating the 'silent drop' problem where dropping a future leaves sockets open and files half-written.
- Runtime-enforced safety: replaces manual developer discipline with hard guarantees, shipping 8 built-in protocols, 120 formally verified safety properties, and a deterministic test runtime.
- Author notes the cumulative frontier-model effort and tokens that went into the codebase over recent months is 'pretty nuts'.
More from coding & agent
- Free Bots: A Persistent 3D City Where AI Agents Live, Work and Build — Daniel_Farinax · 2026-09-25
- Teaching a local Qwen 3.5 4B a new domain: CPT vs RAG, a four-phase experiment with evals — funJS · 2026-09-25
- MCP servers show letter placeholders: the new icons field is often ignored by clients — StructureRude9956 · 2026-09-25
- Mystery model Space Bunny turns hand-drawn sketches into playable 3D games — omarsar0 · 2026-09-25
- Stanford's CLM: an 8B System 1 model with 9x faster inference, new agentic coding SOTA — StanfordAILab · 2026-09-25
- Two-person AI pod delivered in one quarter what 5 engineers scoped for two — alex_verem · 2026-09-25