➡️
继续阅读
-
苹果称首款折叠屏手机需求异常强劲;DeepSeek新模型Token消耗降超五成;黄仁勋称会停止向开发不安全AI的客户供货 | 日报
苹果称首款折叠屏iPhone Duo预购需求异常强劲,发货排至明年1月底,销量或超预期。DeepSeek发布V4.1 Flash-1017,多数场景Tok...
-
tsdb-cj 的四次静默失效:代码能跑、测试能过,但什么都没发生
文章总结 tsdb-cj 审计发现的四类静默失效:新格式桶丢失 TTL 参数导致数据永不过期;清理仅扫描 b: 前缀,遗留 k: 幽灵引用行;标签拼接 k...
-
Claude Code 90%代码由AI写成:人机共同评审
Claude Code 在 Anthropic 内部审查着自家几乎每一个代码合并请求!这个由智能体组成的审查团队,让有实质意见的合并请求比例从 16% 跳...
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
Rust 核心开发者发出“存在主义焦虑”:Agent 写代码的时代,语言设计者还有饭碗吗?
Rust核心设计者Niko Matsakis认为,在AI Agent时代,Rust因其性能默认值和类型护栏而受青睐。他提出“软件工厂”三支柱:设计、构造、...
-
Maeving RM2:高格调电动骑行,但仍有妥协
《The Verge》评测Maeving RM2电动摩托:外观复古时尚,骑行安静平顺,轮毂电机与可拆卸双电池设计巧妙;但15马力动力偏弱,极速难达70英里...