SlateDB WAL 协议 TLA+ 形式化规范开源
blaizedsouza · x · 2026-09-09
分布式系统专家 vanlightly 发布了 SlateDB WAL(预写日志)协议的 TLA+ 形式化规范,代码在 GitHub 上开源(仓库 s3-wal-collection/slatedb)。
规范包含 SlateDBWAL.tla 主文件、配置文件和设计笔记。作者表示下一步打算尝试用 CAS-write manifest(替代编号 manifest)的版本来玩,并笑称自己正在休长假、纯粹因为喜欢做这个。对存储系统和形式化验证感兴趣的人值得一看。
「研究」频道最新
- 为视频模型建 100 个规则验证器，开启视觉「可验证时代」 — DanielKhashabi · 2026-09-09
- 陶哲轩警告：AI 抢答或终结数百年开放科学传统 — GaryMarcus · 2026-09-09
- Nature 论文用连接组解析小脑样环路如何做感觉预测 — burny_tech · 2026-09-09
- 14B 开源模型单卡 4090 打平自家托管旗舰，团队开源 mnemiq 基准 — ycombinator · 2026-09-09
- 教授出新招：20 道手算题帮你真正搞懂上下文窗口 — ProfTomYeh · 2026-09-09
- 新论文用离散扩散为 LLM 提速，作者回应与 Orthrus 撞车质疑 — _akhaliq · 2026-09-09