两周密集开源：Rust 取消安全异步运行时 Asupersync
doodlestein · x · 2026-09-25
作者展示近两周的开源成果：Asupersync——一个面向 Rust 的「取消安全」异步运行时，主打结构化并发与一等公民级的取消机制，已发布 v0.2.6，两个相关仓库合计 2.2 万+ 提交。要点：
- 三阶段取消协议：Request → Drain → Finalize，任务先收到停止意图、获得时间预算完成清理（关连接、写盘），再强制回收，避免标准 Rust 中 drop future 导致的「静默丢弃」（连接悬空、文件写一半）。
- 运行时强制安全：把优雅关停从「开发者自觉」变成运行时硬约束，宣称内置 8 类协议、120 项形式化验证的安全保证与确定性测试运行时。
- AI 辅助开发：作者称过去数月投入的前沿模型算力与 token 量「相当惊人」，是 AI 大规模辅助工程的开源案例。
「编程与Agent」频道最新
- 两人 AI 小组一个季度完成五人团队两季度才立项的三个项目 — alex_verem · 2026-09-25
- 「vibecoding 已死」引争议:语音指挥 AI 智能体生成 macOS 应用 — jasonkneen · 2026-09-25
- DCI 论文入选 NeurIPS 2026:不建索引的 grep 式 Agent 搜索反而更强 — yuz9yuz · 2026-09-25
- AI Agent 连跑两周半花 600 美元,CUDA 重写 PDAL 提速 2.5-14 倍 — ctjlewis · 2026-09-25
- Databricks 将开源模型接入内部编码智能体，工程师直呼够用 — Yuchenj_UW · 2026-09-25
- ECHO 教终端 Agent 免费 学世界模型,获 NeurIPS Spotlight — DimitrisPapail · 2026-09-25