标签: 开源

清除筛选

Rust 借用检查器被爆 11 年漏洞:协变字段赋值绕过生命周期约束,类型系统的承诺还剩多少

10 月 13 日,rust-lang/rust 仓库挂出一个编号 #164250 的 issue:安全代码可以绕过结构体上的生命周期约束,把一个活不满 'static 的引用塞进声明了 T: 'static 的字段里。漏洞标签 I-unsound,优先级 P-high,从 2015 年的 Rust 1.4 起就能编译通过。类型组成员 lcnr 在置顶说明里…

Bitwarden 商店版切换商业许可:GPLv3 构建保留在 GitHub,双轨并行

2026 年 10 月 9 日,Bitwarden 在官方论坛发帖确认:从下一个版本开始,上架各大应用商店的 Bitwarden 客户端将换成商业许可构建,GPLv3 开源构建继续在 GitHub 上更新,两条线并行。官方在帖子中列了四条不变:源码继续公开、可以继续 fork、自托管政策不变、免费计划永久保留。 这个公告在 Hacker News 上一天内拿…

Whistle 语音识别模型拆解:16.9 MB 单文件,CPU 跑出 11ms 首 token,与 Needle 共用引擎

Whistle:一个 16.9 MB 的文件,把语音识别塞进 30 秒音频和 11 毫秒首 token 端侧语音识别的常规剧本是把参数更大的模型量化压缩,再接受精度打折。Cactus Compute 这次给出的样本走的是另一条路:Whistle 是一个 Apache 2.0 协议的开放权重语音识别模型,整个模型就是单个 16.9 MB 的 .cact 文件,…

决策模型进主流云:OpenAI 上线 Decisions API,AWS 同步开源本地版

OpenAI 把「做判断」这件事做成了一个独立的 API。Decisions API 目前处于公开测试阶段,官方预计未来几周正式发布:你给它一段文本或一张图片,再加几个问题,它不写文章、不聊天地,直接返回结构化判断,官方口径的速度是 Responses API 的约 10 倍。同一周,HN 热榜上还挂着另一个帖子:AWS 旗下的 Strands 团队把同类的…

REA:一个 MCP 把 Hopper、Ghidra、IDA 接给 AI 编码智能体做逆向工程

逆向工程这件事,工具链的成熟度远超大多数人的想象:Hopper、Ghidra、IDA Pro 三款反汇编器能把一个 stripped binary 拆成函数列表、控制流图和伪代码。但这条工具链有一个共同的缺口——它们都是给人用的。交互靠 GUI,操作靠鼠标点选,输出是屏幕上的一段高亮汇编。当编码智能体(Claude Code、Codex、Cursor 这类)…

Gleam 重写编译器:直接产出 AST,编译快两成

Gleam 是一门跑在 Erlang 虚拟机(BEAM)上的静态类型函数式语言,编译器用 Rust 写成。10 月 6 日发布的 v1.19.0 做了一件表面低调、内里伤筋动骨的事:Erlang 代码生成器被完全重写,编译产物从 Erlang 源码换成了 Erlang 抽象形式(abstract forms)。编译速度显著提升,BEAM 崩溃报告和堆栈追踪的…