最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
两架 EA-18/F-18 航展相撞：别只看弹射成功，要看安全边界
美国爱达荷州 Mountain Home Air Force Base 的 Fighter Skies 航展上，两架海军 EA-18/F-18 战机空中相撞并坠毁，4 名机组人员弹射并确认安全。事故原因尚未公布，不能提前归因于飞行员、机型或天气。真正该看的，是高风险军事展示如何在公众传播、训练价值和安全冗余之间划线。
Prolog 的恐怖，不是怪语法，是程序安静地漏解
metalevel.at 的《Prolog Coding Horror》把 Prolog 常见反模式归成四类：丢失解、全局状态、不纯输出、低级构造。真正危险的不是程序崩溃，而是 `!/0`、`(->)/2`、`var/1` 这类写法让程序安静运行，却漏掉本该存在的解。对 Prolog 开发者和语言设计读者来说，这篇文章的价值不在语法教学，而在提醒：声明式语言最贵的资产，是可推理性。
Grid2Poster 开源：它把 OSM 电网数据做成海报，不是电网平台
open-energy-transition 开源了 Grid2Poster，可用 OpenStreetMap 的电力线路数据生成国家、地区或大陆级电网海报。它的价值是把电网可视化做轻，适合展示、传播和开源地图检查；但它不是权威规划图，也不是实时运行图。成图质量主要取决于 OSM 覆盖、Overpass 查询成本，以及使用者是否说清数据边界。
Fabricked 暴露 SEV-SNP 的硬伤：云平台不可信，启动链却还得信
研究者披露 Fabricked：在控制 UEFI 与 Hypervisor 的前提下，攻击者可误配置 AMD Infinity Fabric，阻断 PSP 初始化 SEV-SNP 的 RMP 写入，让机密虚拟机内存被任意读写。AMD 已确认 CVE-2025-54510，并发布公告与固件修复；这不是远程低权限漏洞，也不是打穿所有机密计算。真正刺痛人的地方在于：SEV-SNP 说要防不可信云平台，但关键初始化仍压在平台固件和配置链上。
GenCAD 的看点不是生成 3D 外形，而是生成可编辑 CAD 历史
GenCAD 提出从图像生成参数化 CAD 命令序列，再转换为 3D 实体模型。它的价值不在于多做一个 3D 外形生成器，而在于尝试绕开 mesh、voxel、point cloud，直接生成可编辑的 CAD program。工程团队可以把它当作设计自动化方向的研究信号，但不宜据此延后采购或迁移现有 CAD 流程，关键还要看精度、鲁棒性和复杂 B-rep 适配。
ThinkPad 还活着：黑盒子的命，不在情怀
ThinkPad 从 1992 年 IBM 300/700/700C 走到 2025/2026 年联想 AI 工作站叙事，少见地保住了商业笔记本的视觉连续性和企业定位。它真正的护城河不是“经典”，而是低摩擦采购、可管理性、扩展和维护。AI PC 时代，ThinkPad 要证明的也不是会不会贴 AI 标签，而是能不能继续服务企业真实工作流。
Teams 下线 Together Mode：会议软件不再陪你演“同处一室”
Microsoft 正在逐步下线 Teams 的 Together Mode，View 菜单入口、专属虚拟场景和座位分配都会移除。官方理由很朴素：减少平台碎片化，简化会议布局，把资源转向视频质量、稳定性和性能。它的退场说明一件事：疫情时期的“虚拟在场感”叙事，正在让位给企业软件最硬的基本盘。
Semble 开源：AI 编程代理该少读点废代码了
MinishLab 开源 Semble，面向 AI 编程代理做代码检索，项目方称相比 grep+read 可少用约 98% token。它的重点不是替代 grep，而是把 agent 在大型代码库里的“找路”过程做成基础设施。真正要验证的，是它在脏仓库、复杂任务和真实工具调用习惯里能不能稳定省钱省时间。
佛蒙特7部老投币电话接上 VoIP：补的不是怀旧，是公共求助入口
佛蒙特州电气工程师 Patrick Schlott 把老式投币电话改成免费 VoIP 公共电话，目前约 7 部，分布在商店、图书馆、学校和 town hall 等地点。用户不用投币，就能拨打美国和加拿大号码，还支持 211、411、988、911 等号码。它的价值不在复古，而在手机信号不足、学校限用智能手机后，补回一个固定、清楚、能求助的公共通信入口。
欧盟想限制美国云：机房在欧洲，不等于钥匙在欧洲
CNBC 称，欧盟委员会正在讨论限制成员国政府使用美国云平台处理敏感政府数据，目前还不是最终法规。受影响的会是欧盟成员国政府、公共部门 IT、AWS、Microsoft Azure、Google Cloud，以及欧洲本土云服务商。真正的争议不在数据放哪里，而在谁能控制软件、运维、法律风险和退出路径。
Siri 要靠“自动删聊天”翻身？苹果这张隐私牌还不够
据 Bloomberg 记者 Mark Gurman 报道，苹果可能在 6 月 WWDC 发布新版 Siri，并把隐私作为核心卖点，包括聊天记录自动删除、独立 Siri 应用，以及部分能力可能由 Google Gemini 支撑。这个线索比单纯的“自动删记录”更关键：新版 Siri 不只是改一个隐私设置，而是苹果试图把 Siri 从系统命令入口改造成 AI 聊天入口。隐私能帮苹果重新建立信任，但如果能力补课不够，Siri 还是很难从 ChatGPT、Gemini、Claude 手里抢回用户习惯。
偶发 ECONNRESET：不是网络玄学，是请求体没读完就 close
本机两个服务之间偶发 ECONNRESET，线索指向一个很窄的边界：服务端没读完客户端发来的数据，就写大响应并 close。实验里 tcpdump 看到了真实 TCP RST，strace 显示服务端 sendto 返回成功后正常 close，但这不等于客户端完整收到了数据。对 nginx/gunicorn/Flask 这类栈来说，关键不是先找替罪羊，而是确认请求体是否被读干净、关闭语义是否被框架抽象藏掉。
Eric Schmidt毕业演讲被嘘：AI机会叙事为什么不再好用
谷歌前 CEO Eric Schmidt 周五在亚利桑那大学毕业典礼谈 AI 时，多次被现场学生嘘声打断。关键不只是学生反感 AI，而是硅谷的“抓住机会”话术，撞上了毕业生对就业、信任和技术收益分配的焦虑。对年轻求职者和高校来说，接下来要看的不是 AI 口号有多热，而是入门岗位、课程训练和企业招聘标准怎么变。
NHS关仓库之后，GDS把底线说清了：默认开放，不是默认遮住
NHS 因 Project Glasswing 报告的漏洞，收回了部分开源仓库访问；这不是已证实的大规模攻击，也不是 NHS 全面放弃开源。GDS 随后发布公共部门指南，核心句是“Keep open by default”：默认开放，关闭要少用且有明确理由。真正的争议不在几个仓库，而在公共部门会不会把“看不见”误当成“更安全”。
AI在毕业典礼上挨嘘：学生反感的不是技术，是账单
2026年美国毕业季，多所大学演讲者提到AI时遭遇嘘声，但这不能简单写成“大学生反AI”。更准确的说法是：AI在年轻人那里，已经从未来机会变成就业压力、阶层焦虑和企业话术失信的集中符号。黄仁勋在卡内基梅隆谈AI未遭明显抵制，也说明关键不只是AI，而是谁在说、怎么说、对谁说。
80 美元 Doogee U10 跑 Debian：rk3562deb 好玩，但别当成量产 Linux 平板
开发者 tech4bot 发布 rk3562deb，称可让约 80 美元的 Doogee U10 从 SD 卡启动 Debian 12，不解锁 Bootloader，也不改写内置存储。这个项目的看点不是“廉价平板变工作站”，而是低价 ARM 安卓设备能不能靠社区逆向获得第二套系统生命。它适合 ARM Linux 玩家和本地 AI 实验者，但普通用户不该把它当稳定 Linux 平板购买理由。
《Hokum》走热后，真正该补的是《Oddity》这堂低成本恐怖课
《Hokum》上映后票房超预期，The Verge 借势推荐导演 Damian McCarthy 的前作《Oddity》。这部片可在 Hoopla、Kanopy、Hulu、Shudder 观看，预算未确证，有报道称低至 75 万美元。 更要紧的不是它有多吓人，而是 McCarthy 怎样用木制魔像、封闭空间和节奏控制，把恐怖片从特效堆料拉回气氛与道德恐惧。 恐怖片观众可以把它当补课片看；做类型片的人更该看它怎么把少数元素拍成持续压力。
埃博拉进了两国首都，真正危险的是发现太晚
世卫组织因刚果（金）和乌干达埃博拉疫情宣布PHEIC，但明确不构成pandemic emergency；病例已出现在金沙萨和坎帕拉。伊图里省报告246例疑似、80例死亡，仅8例实验室确认，另有13份检测样本中8份阳性，说明监测和确认已经慢于疫情线索。本轮是Bundibugyo毒株，暂无获批疫苗和疗法，真正的硬伤不是恐慌，而是冲突地区、跨境流动和检测盲区叠在一起。
YellowKey 绕过 BitLocker：高危本地风险，不等于微软后门已坐实
Nightmare-Eclipse 发布 YellowKey，称可在特定条件下绕过 Windows 11、Windows Server 2022/2025 的 BitLocker，第三方研究者称已验证相关行为。更稳妥的判断是：这是一个需要严肃处理的本地启动环境绕过问题，但“微软故意植入后门”仍缺关键证据。企业管理员现在该查 WinRE、启动策略、恢复密钥和维修退役流程，而不是把它理解成远程无交互破解。
20美元AI订阅不该再当固定成本：Copilot用量计费给企业提了个醒
GitHub Copilot 将在 2026 年 6 月 1 日转向用量计费，这是企业 AI 订阅价格被重估的明确信号。真正的风险不是所有厂商同时涨价，而是企业把 20 美元级订阅当成长期低价基础设施。CTO、CIO 和 CFO 现在要管的不是席位数，而是 token 消耗、并发任务和供应商替代方案。
AI得来速降温：麦当劳停下合作，Taco Bell重新算账
美国快餐连锁仍在试AI语音点单，但麦当劳在2024年结束与IBM的合作，Taco Bell也因用户吐槽和恶搞订单重新评估推广节奏。问题不只是识别准确率，而是AI能不能扛住高峰、错单、缺货、口音和顾客不耐烦。对AI商业化和餐饮零售从业者来说，真正该看的不是演示效果，而是人工接管率、补救成本和顾客是否愿意继续用。