➡️
继续阅读
-
AI能写无人机控制代码后，安全边界不能只守提示词
Anthropic评测显示，AI能快速关联身份、定位照片并迭代无人机代码，但可靠性不足。风险在于它压缩了从零散证据到可行动结果的整条工作链。治理应像金融风...
-
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
-
2 名工程师 + Codex，OpenAI 用 Rust 重写了扛住 10 亿人的存储系统
OpenAI披露Habitat在线存储平台：从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Pyt...
-
为何MCP安全的关键在于权限体系重构
2026年，MCP协议虽成为关键基础设施，但安全问题的根源在权限层而非基础设施。多数企业依赖长期凭证，防护不足。解决方案是采用动态临时凭证、按任务限定权限...
-
Rust 成为微软一线语言之后：谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言，与C++、C#同级，但目标是替换有漏洞的C/C++存量代码，而非取代C#。C#擅长业务复杂度，Rust擅长资源与安全边...
-
A社承认Claude安全对齐存在缺陷，但“尚无解决方案”
Anthropic研究员Jacob Coxon离职，指责OpenAI和Anthropic为追逐超级智能而拿人类生命冒险。Anthropic对齐负责人Eva...
