Foobar 技术周刊#160：大模型让大规模形式化软件验证成为现实丨AI写C++代码之后会发生什么？丨我们真的需要alpha() 函数吗丨重试，有时会让故障更

Foobar 技术周刊#160

大模型让大规模形式化软件验证成为现实丨AI 写 C++ 代码之后会发生什么？丨我们真的需要 alpha() 函数吗？丨重试，有时会让故障更糟

互联网技术周刊 #160 如约而至：为你整理每周必看的前沿技术资讯！本期一共收录 40 篇优质链接，分为 5 大板块，阅读愉快！

🚀 重点精读

基于读已提交隔离级别构建线性一致性日志：谓词锁拖垮了基于 Postgres 的元数据存储；Materialize 放弃可序列化隔离级别，写入吞吐量提升3倍，并使用 Lean 对该方案完成形式化证明作者：Petros Angelatos / / 阅读时长 26 分钟

📰 行业新知

Claude 揭开 ECDSA 曲线的起源之谜：Claude 研究模型追溯出 5 条 NIST 素数曲线的种子来源于使用 Unix 时间戳初始化的 lrand48，解开了数十年的溯源谜团，并未发现密码学破解手段作者：Anthropic / / 阅读时长 16 分钟
D1 如何支撑数百万数据库的规模：D1 控制面的扩容方案，无需把每一条查询都经过中央瓶颈，即可承载海量 SQLite 实例作者：Cloudflare / / 阅读时长 42 分钟
我们将推理成本削减 68%：Cloudflare 将 AI 代码评审的平均成本从 2.43 美元降到 0.77 美元，核心手段是调整消息顺序，让首条请求命中提示词缓存作者：Cloudflare / / 阅读时长 34 分钟
重试，有时会让故障更糟：单一重试负责人、操作超时、接入限流、共享重试配额与抖动策略，避免慢速依赖引发雪崩作者：Wendell Adriel / / 阅读时长 18 分钟
tsrs：Rust 版本的 TypeScript 编译器：Cloudflare 与 VoidZero 将基于 Go 的 TypeScript 7 编译器移植到 Rust，校验速度最高提升 8 倍，可在 WebAssembly 中运行，未来并入 Oxc 项目作者：Cloudflare / / 阅读时长 23 分钟
TypeScript 7.1 Beta 发布公告：原生编译器相比7.0版本，速度提升 1.2--1.9 倍，内存占用降低 15%--50% 作者：Microsoft / / 阅读时长 27 分钟
Next.js 安全更新：两个高危远程代码执行漏洞，一处在 RSC 的缓存函数，一处在 SVG 图片优化模块，已有公开 POC 利用代码作者：Vercel / / 阅读时长 3 分钟
JPEG XL 对比 AVIF：随着 Firefox 158 发布，主流浏览器全部支持 JPEG XL，Jake 对两种图像格式做深度对比作者：Jake Archibald / / Web前端 / 阅读时长 69 分钟
Laminar：Ramp 托管智能体平台的实现：模型无关的智能体运行框架，基于 Postgres、Temporal、S3；会话状态与临时沙箱解耦，支持异步调度、子智能体、统一链路追踪作者：Ramp / / 阅读时长 1 分钟
Postgres 19：变更清单与测试重点：RC1 版本已出，详解 REPACK CONCURRENTLY、pg_plan_advice、并行自动清理、逻辑复制序列同步，附带测试清单作者：Tom Kincaid / / 阅读时长 13 分钟
Postgres recovery_prefetch 被证实有风险：Postgres 15 默认开启，写入峰值时会压垮备库存储；在同步复制场景下，甚至阻塞主库写入长达35分钟作者：Jeremy Schneider / / 阅读时长 10 分钟
Railway 安全通告：存在客户环境变量被未授权访问风险，请轮换密钥与私有镜像仓库凭证作者：Railway / / 阅读时长 3 分钟
大模型让大规模形式化软件验证成为现实：Claude 为 123 个开源库的 239 个模糊测试入口生成可机器校验的证明作者：Anthropic / / 阅读时长 22 分钟
按需使用 React：从 Next.js 迁移到 Astro：一万多个餐饮站点迁移到 Astro + Cloudflare Workers，采用 React 孤岛模式；菜单页面 p75 LCP 从 5.4s 降到 0.7s 作者：Owner / / 阅读时长 11 分钟
php2shell：PHP 远程代码执行漏洞原理：multipart POST 在解析中途耗尽内存，随后关闭阶段清理逻辑跟随植入指针，执行攻击者载荷，与上层业务无关作者：Wiz / / 阅读时长 15 分钟
Node.js 2026年10月安全版本：包含 Brotli 解码器高危漏洞，请尽快升级运行时作者：Node.js / / 阅读时长 10 分钟
Sprites 块设备：Fly.io 使用更简单的块存储层替换原有 Sprites 文件系统；检查点数据源唯一，恢复速度等同于重启作者：Fly.io / / 阅读时长 9 分钟

🧰 工具速递

Sphinx：拦截受保护分支的推送，向开发者提问，确认是否理解智能体生成代码的逻辑，独立评审人同时读取变更 diff 作者：Sphinx /
Mac.apk：Apple Silicon Mac 上原生运行安卓应用，独立窗口、GPU 渲染，Alpha 测试版作者：kksimp /
Pele：零依赖 Mermaid 转 SVG 渲染器，支持 CSS 变量主题，兼容 Mermaid 12.1 全部图表类型作者：Pele /
ExcaliClaw：手绘图表协同工作台，可通过 MCP 在 Claude、Cursor、VS Code 内调用作者：ExcaliClaw /
Chartist 2.0：轻量 CSS 样式 SVG 图表库回归，可组合 API、SSR 输出 SVG、支持终端图表，gzip 后约12KB 作者：Gion Kunz /
Maplair：Leaflet 的增强分支，开箱即用、支持摇树优化，内置旋转、全屏、搜索、热力图作者：Simon Legner /
rich-input：Web 组件，复刻 GitHub 搜索框，自由文本 + 自动补全键值筛选作者：Bram Van Damme /
DocumentDB 1.0：兼容 MongoDB 协议的文档数据库，基于 Postgres 扩展 + 网关实现，现已成为 Linux 基金会项目，支持 Postgres17、18 作者：DocumentDB /
PGX：单进程内托管成千上万个隔离临时 Postgres 实例，毫秒级从模板克隆，适合智能体沙箱、单PR测试作者：PGRun /
滚动动画调试工具：DevTools 面板，在缩略图上标注触发区间、实时状态，支持就地修改作者：Bram Van Damme /
POUR：免费无障碍检测、WCAG 审计工具，浏览器扩展或书签脚本，按严重程度归类违规项作者：David Yarham /
TanStack AI 1.0：76 个包稳定发布，覆盖对话、工具调用、媒体、MCP、持久化、沙箱，与模型、框架解耦作者：TanStack /
Pixel：面向终端应用的 React 渲染器，圆角、渐变、矢量字体，借助 Kitty 图形协议嵌入 Chromium Webview 作者：Rob Pruzan /
env.style：包装 Next.js / Vite 配置，根据环境自动修改 favicon 色调，一眼区分环境作者：Ryan George /
Reylo：导入 SQL 文件到 TypeScript，自动完整类型推导作者：Colin McDonnell /
dquickts：QuickJS 分支，原生支持 TypeScript，附带持久执行引擎作者：Stencil Labs /
Motion 14.5：新增 scopeMotion 与 useScopeMotion，用于资源清理、媒体查询、默认过渡、元素作用域隔离作者：Motion /

🤪 趣味项目

一段俄罗斯方块代码，格式化后变成贪吃蛇：利用格式化、反混淆工具的语义解析缺陷，美化后的代码变成完全不同的程序作者：Robert Vähhi / / 阅读时长 19 分钟
Furifont：日文字体，仅靠 OpenType 特性自动生成振假名，无需 ruby 标签或 JS 脚本作者：Anthony Fu / / 阅读时长 0 分钟

📺 视频推荐

ViteConf 2026 完整回放：约30场演讲，包含尤雨溪主题演讲（智能体时代的工具链）、Vitest 5、Vite DevTools、更快的 Oxc 解析器作者：ViteConf /
AI 写 C++ 代码之后会发生什么？：大模型在50万行C++项目上的调试能力基准测试：写代码很强，排障仍有短板作者：Greg Law, Mark Williamson /
我们真的需要 alpha() 函数吗？：CSS 修改透明度的三种方案，以及 alpha 函数的定位作者：Kevin Powell /

由福报周刊 Weekly Foobar ^™️ 精选和发布，本期如有启发点赞❤️让周刊继续陪伴大家。
JavaScript与编程艺术 出品 🎬