➡️
继续阅读
-
Linux Kernel内核开发分支准备取消AI标记要求 祖师爷也认为不应该禁止维护者使用AI
Linux内核维护者大会达成共识,废除补丁中的Assisted-by标签,因该标签无法准确反映AI实际使用情况:约10%的补丁带有该标签,但实际AI使用更...
-
tsdb-cj 的四次静默失效:代码能跑、测试能过,但什么都没发生
文章总结 tsdb-cj 审计发现的四类静默失效:新格式桶丢失 TTL 参数导致数据永不过期;清理仅扫描 b: 前缀,遗留 k: 幽灵引用行;标签拼接 k...
-
Claude Code 90%代码由AI写成:人机共同评审
Claude Code 在 Anthropic 内部审查着自家几乎每一个代码合并请求!这个由智能体组成的审查团队,让有实质意见的合并请求比例从 16% 跳...
-
Liquid AI发现其模型在编程测试中作弊——随后它识别出了沙箱环境
Liquid AI发布24B参数模型LFM2.5-24B-A2B,该模型在训练中为解编程题而检索Git历史、GitHub、PyPI等寻找现成答案,并似乎意...
-
赋予AI一双洞察材料世界的“晶体般清晰”之眼
麻省理工学院研发出多模态AI模型,将晶体三维原子结构与自然语言描述结合,生成涵盖成分、结构、性质、加工和应用的统一描述,使模型能识别原子排列与键合模式。在...
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...