➡️
继续阅读
-
早报|曝苹果机械臂版HomeView正在开发/蔚来三季度销量首次超BBA/英伟达否认RTX 5090停产
苹果开发机械臂版HomeView,iPhone Duo溢价回落;三星拟用台积电3nm为英伟达定制HBM,英伟达否认RTX 5090停产;蔚来三季度销量首超...
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
早报|iPhone Duo开启预购,发货排到明年/特斯拉超跑发布会现场飞了/华为阔直板出货量超71万台
本周末要闻:iPhone Duo开启预购,国行部分版本发货排至明年1月;特斯拉发布第二代Roadster,计划2028年量产;RTX 5090疑停产,已从...
-
弥合二进制盲区:面向npm包中LLM恶意软件分诊的领域知识注入
Databricks研究扫描npm恶意包,发现3.8%捆绑二进制文件,此类包比纯源码包更难被LLM识别,失败率为14.4%对6.2%。测试九个模型发现四种...
-
马斯克的砍价机器人,省钱靠的不是砍价
马斯克的Haggle Bot实为Grok Bot的公开提示词,只生成砍价策略,决策仍由人把关。其宣称省下的10万美元主要来自发现无人使用的软件席位,而非真...
-
GitHub 热门项目周刊 · 第 33 期 · 2026 年第 43 周
本期GitHub热门周刊精选过去7天10个开源项目,涵盖AI、开发工具、云原生等领域。最受关注的是基于Qwen-Image 2.1的NSFW与姿势控制图像...