西部数据2027财年Q1营收增55%,AI存储需求推高毛利率
西部数据2027财年第一财季营收43.81亿美元,同比增长55%;毛利率升至57.8%,下一财季营收指引继续加速,AI数据经济对高容量存储的拉动成为焦点。
微软CEO纳德拉2026财年薪酬9060万美元,同比下调6.11%
微软披露纳德拉2026财年总薪酬为9060万美元,较上一财年下调6.11%。云与AI业务达标,但Xbox营收下滑拖累了绩效奖金指标。
腾讯 WorkBuddy 接入 Kimi-K3.1-Pro:百万上下文,另有 2-3 倍速高速版
腾讯 WorkBuddy 宣布接入 Kimi-K3.1-Pro 及高速版模型,支持 100 万上下文,代码与 Agent 类评测逼近头部闭源模型。现阶段仅向企业旗舰版和个人订阅用户优先开放。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
《Crystal Lake》剧评:给 Pamela Voorhees 补上前史
Peacock 前传剧集《Crystal Lake》把镜头对准 Jason 的母亲 Pamela Voorhees。剧评认为前段偏慢,但人物补写和时间线调整让故事逐渐找到后劲。