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

JavaScript与编程艺术
0 阅读8分钟

Foobar 技术周刊#160

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 分钟

📺 视频推荐

由福报周刊 Weekly Foobar ™️ 精选和发布，本期如有启发点赞❤️让周刊继续陪伴大家。

JavaScript与编程艺术 出品 🎬

avatar
文章
阅读
粉丝