最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
范畴论进了 Rust 代码：这份 Tiny ML 草稿别急着吹，也别急着笑
《Category Theory for Tiny ML in Rust》上线的是开放访问工作草稿，不是成熟 ML 框架，也不是性能突破。它把 tiny ML 管线、Rust 类型系统和范畴论的对象、态射、组合放到同一套可运行示例里。真正值得看的是：抽象数学有没有机会变成 AI 工程里的类型边界、组合纪律和审计线索。
八小时睡眠不是唯一答案：一篇地中海作息札记提醒我们重看朝九晚五
Dylan Araps 以地中海农耕社会和希腊午休为例，质疑现代人把连续八小时睡眠和朝九晚五当成天然标准。它的重要性不在于推翻睡眠医学，而在于提醒我们：工业化时间制度可能切断了人对日照、季节和气候的感知。
无机场孤岛上的3.3吨空投：英国这次远程医疗支援暴露了什么
英国政府5月9日出动RAF A400M运输机和Voyager加油机，向特里斯坦-达库尼亚空投医疗人员和约3.3吨物资，应对MV Hondius邮轮相关疑似汉坦病毒事件带来的医疗压力。真正重要的不是“军事奇观”，而是一次远程人道支援把全球最偏远有人岛的医疗、交通和公共卫生脆弱性摆到了台前。
Sea 把 Codex 推进研发组织，AI 编程的考题换了
Sea 正在把 OpenAI Codex 推向开发者组织，覆盖代码理解、调试、功能开发和 CI/CD 等环节。OpenAI 披露的 87% 周活来自内部数据，73% 推荐率来自给 Codex 打 4 或 5 分的开发者反馈，不能当成第三方评测。真正该看的是：AI 编码代理能不能进入工程流程，而不是只在 demo 里写出漂亮代码。
Bun 转向 Rust，暴露的是语言锁定正在变薄
Simon Willison 摘录了 Mitchell Hashimoto 对 Bun 从 Zig port 到 Rust 的评论：编程语言正在变得更可替换。重点不是 Rust 赢了，而是 AI 和代理式工程正在压低迁移成本。对开发者和技术负责人来说，真正要重估的是技术栈护城河，而不是语言信仰。
AI 编程代理让技术栈迁移变轻：React Native 个案背后的新变量
Simon Willison 记录了一家公司用 coding agents 将两款老牌 iOS、Android 原生应用重写为 React Native，理由是 React Native 近年改进已覆盖其需求，若判断错误也能再迁回原生。这个案例的重要性不在于 React Native 赢了，而在于 AI 编程代理正在降低迁移和回滚成本，让技术栈选择更像可修正的工程判断。
AMD把FSR 4.1下放老Radeon：好消息迟到了，代价还没算清
AMD确认FSR 4.1将下放到旧款Radeon：2026年7月先支持RDNA3/3.5，2027年初再支持RDNA2。RX 7000、RX 6000、部分Radeon核显和Steam Deck终于进入范围，但旧架构要从FP8转到INT8，性能损耗和画质差异还要等实测。对玩家来说，现在不是急着换卡，而是先看三件事：帧率掉多少、游戏覆盖多快、AMD能不能把这次补票做成稳定体验。
太浩湖供电到期：AI 数据中心先把电网账单逼出来了
NV Energy 将在 2027 年 5 月停止向太浩湖地区供电，Liberty Utilities 需要为约 4.9 万名加州居民重新找电源。目前 Liberty 约 75% 电力来自 NV Energy，风险不是已经停电，而是替代供应、输电通道和监管审批同时卡点。数据中心需求不是唯一原因，但北内华达到 2033 年可能新增 5900MW 用电需求，已经把 AI 基建的真实成本推到居民供电安全面前。
手机成了供词簿：很多证据不是被监听，是自己敲进去的
Kouri Richins 因丈夫芬太尼过量死亡案被判谋杀及金融、保险欺诈，量刑为终身监禁不得假释；检方重点使用了搜索记录、删除短信痕迹、定位和备用手机数据。搜索记录本身通常不是铁证，关键在于它能和动机、行动轨迹、物证、证人证言拼成链条。真正反常的是：很多人怕平台偷听，却主动把最危险的念头交给搜索框、聊天框和设备记忆。
删了 96 个政府数据库，却把犯罪过程录进了 Teams
34 岁双胞胎 Muneeb Akhter 和 Sohaib Akhter 被 Opexus 通过 Teams 解雇后，利用尚未切断的权限删除了 96 个美国政府数据库。最关键的证据不是神秘监听，而是 Sohaib 自己开启的 Teams 录制，HR 离开后还继续录了约一小时。真正该紧张的不是 Teams，而是企业离职权限、VPN、数据库访问和内部威胁防线一起掉链子。
男性气泡音更多，为什么挨骂的总是年轻女性？
麦吉尔大学研究者 Jeanne Brown 在美国声学学会会议上报告：在一组加拿大公开视频/音频样本中，男性使用气泡音比女性更多，且年龄越大越常见。这个结论还不能当成全球定论，但足够提醒我们：很多所谓“声音缺陷”，其实是听者偏见被包装成了说话者问题。真正受影响的，是年轻女性、播客和媒体从业者、以及在面试中被声音风格牵连职业形象的人。
Meta Ray-Ban Display 补上虚拟手写：智能眼镜开始从演示走向可用
Meta 正向所有 Meta Ray-Ban Display 用户推送虚拟手写，支持 WhatsApp、Messenger、Instagram，以及原生 Android 和 iOS 消息。更关键的是，显示录制、导航、实时字幕和开发者预览一起补上了输入、记录、扩展三块能力。我的判断是：它更像平台了，但还不是成熟 AR 生态。
《银河战士 Prime 4》首次大降价：Switch 2 玩家更该买折扣版再升级
Best Buy 正在将《Metroid Prime 4: Beyond》Switch 实体版降至 39.99 美元，比原价低 20 美元。对 Switch 2 玩家来说，更划算的买法不是直接买 70 美元的 Switch 2 Edition，而是买折扣实体版再花 10 美元升级，总成本约 50 美元。
本田把混动推回台前：新雅阁和讴歌RDX原型车背后的现实路线
本田在年度业务说明会上展示新一代混动雅阁轿车和讴歌RDX SUV原型车，并计划到2030财年末推出15款下一代混动车型。更关键的变化不是两款车本身，而是本田下调了此前激进的电动车销量目标，把混动重新放到北美销量和产能安排的中心位置。它没有退出电动车，但正在承认一个现实：在充电、成本和需求都不稳定的阶段，混动比纯电更能撑住规模。
Cerebras IPO大涨：Benchmark差点被“硬件不投”挡在门外
Cerebras IPO大涨，早期投资方 Benchmark 持有 9.5% 股份，获得数十亿美元级回报。更关键的是，这笔投资当年差点被 Benchmark 近 10 年不投硬件的纪律拦下。它说明的不是“反共识必胜”，而是 AI 基础设施周期里，旧经验一旦失效，真正的超额收益会先出现在让人不舒服的地方。
Lovable 参投 Atech：AI 写代码，能把硬件原型门槛降到哪一步
丹麦硬件初创 Atech 获得 80 万美元 pre-seed 融资，Lovable、a16z scout fund、Sequoia Scout Fund 和 Nordic Makers 参投。 Atech 想把“描述需求—AI 生成代码”的开发方式带进硬件原型：用户先买 starter hardware kit，再通过网站聊天机器人生成项目代码。 我更在意的是它能否降低原型启动门槛，而不是把它提前包装成硬件开发革命。
Codex 进 ChatGPT 手机端：OpenAI 抢的不是屏幕，是编程代理的缰绳
OpenAI 把 Codex 接入 ChatGPT 手机端，但重点不是让开发者在手机上写代码，而是让手机变成 AI 编程代理的随身控制台。新增信息把边界说清了：Codex 仍在本机、devbox 或远程环境里运行，手机负责查看状态、批准命令、改方向和接管关键决策。真正受影响的是开发者和技术负责人，前者少陪跑，后者要重新设计权限、审计和自动化边界。
SpaceXAI合并后50多人离职：马斯克的AI队伍正在被谁掏空
据 The Information 报道，SpaceX 2月收购 xAI 并在5月更名为 SpaceXAI 后，已有50多名研究员和工程师离职，流失岗位覆盖预训练、编码、世界模型和 Grok 语音等关键方向。真正重要的不是“又有员工离开马斯克公司”，而是合并后的管理压力、竞品挖角和股权流动性，正在同时考验 SpaceXAI 的核心模型研发能力。TechCrunch 已向 SpaceX 寻求置评，目前相关信息主要来自 The Information 报道。
DS4 火了：本地 AI 终于摸到生产力门槛
Redis 作者 antirez 的 DwarfStar 4 因 DeepSeek v4 Flash 和 2/8 bit 非对称量化走红，高端本地机器第一次有机会跑出接近严肃可用的 AI 体验。它还不能全面替代 Claude 或 GPT，但已经把本地 AI 从“能跑”推到“部分任务值得用”。真正的门槛不在热度，而在模型、量化、硬件和持续工程能力。
拆掉 2024 款 RAV4 的联网模块：隐私能自救，但安全和保修都要付账
安全研究者 Arkadiy Tetelman 记录了从 2024 款 Toyota RAV4 Hybrid 上拆除 DCM 通信模块、断开车机 GPS 天线的过程，目的不是改装性能，而是阻断车辆遥测数据远程外传。这个案例说明，物理断网在这辆车上可行，但会失去 OTA、Toyota 云服务、SOS 自动呼救等功能，也可能带来保修争议。更要紧的是，它暴露了一个尴尬现实：车主想要可信的离线模式，往往只能靠拆硬件来试。
Mullvad 的问题不是泄露真实 IP，而是把出口 IP 做成了指纹
研究者发现，Mullvad 的 WireGuard 出口 IP 由用户公钥决定，不是每次连接都独立随机分配。9 台服务器、3650 个公钥的测试里，理论组合超过 8.2 万亿，实际只出现 284 种。它不等于真实 IP 泄露，但会削弱 VPN 用户最在意的不可关联性，尤其影响频繁切换服务器、长期使用同一公钥的人。