航天与深空
Artemis II顺利推进，离开地球轨道并带回震撼地球影像，小故障已排除
- 阿尔忒弥斯二号宇航员拍下地球“震撼”美景：宇航员从猎户座飞船舷窗拍摄地球夜色与昼夜分界线，调整曝光后细节清晰。
- 阿尔忒弥斯二号乘组拍摄了几张令人着迷的地球照片：点火入月转移轨道后拍下极光与黄道光，展示地球遮挡太阳的独特景观。
- NASA的Artemis II任务已脱离地球轨道：猎户座完成主发动机点火，开启10天绕月之旅，将飞掠月球背面进行成像与观测。
- NASA终于解决了Artemis II的Outlook故障问题：任务中遇到的微软Outlook问题已修复，航天器系统运行稳定。
AI产业与算力基础设施
OpenAI与Anthropic人事与并购频繁，AI企业加码能源自供与政策游说，公众对数据中心建设顾虑上升
- OpenAI高层调整，COO Brad Lightcap新任“特别项目”负责人：多位高管调整岗位，产品与商业职责重分配，市场负责人请假，公司称运营稳定。
- OpenAI通用人工智能主管请假中：AGI团队负责人因健康原因休假，组织架构微调，市场与传播岗位临时代理。
- Anthropic斥资4亿美元收购生物技术初创公司Coefficient Bio：报道：以股票并购切入医疗与生命科学，约10人团队并入健康业务线。
- Anthropic加码政治活动，成立新政治行动委员会：新PAC资助两党候选人，主要由员工捐款，进一步参与政策与监管博弈。
- AI公司大举兴建天然气发电厂为数据中心供电，风险何在？：巨头在德州、路易斯安那自建燃气电厂应对电力缺口，但面临燃机短缺、供气放缓与价格波动风险。
- 人们宁愿自家后院有亚马逊仓库，也不愿有数据中心：调查显示多数美国人反对在社区建AI数据中心，主因担心推高电价，就业拉动有限。
安全与数据泄露
欧盟机构与AI数据供应链遭黑客入侵，推动企业反思密钥管理与供应链安全；SSH证书与系统级粘贴防护成为热点
- 欧洲网络安全机构指责黑客团伙导致大规模数据泄露：黑客盗取Trivy API密钥入侵欧委会云账户，92GB数据外泄，至少影响29个欧盟实体。
- Meta暂停与Mercor合作 因数据泄露威胁AI行业机密：供应链攻击波及训练数据承包商，AI实验室暂停合作，暴露第三方依赖风险。
- SSH 证书：更优质的 SSH 体验：用OpenSSH CA签发用户与主机证书，替代TOFU与分散密钥，简化大规模密钥管理并提升安全。
- macOS 26.4 剪贴板保护：系统基于私有API识别剪贴板来源应用并决定是否警告；测试显示对部分命令情境保护有限。
开发者与开源工具
轻量RTOS、Go编译器、向量压缩与网络堆栈实践齐发，AI检索与异步确定性带来工程新思路
- HN展示：TinyOS —— 用C语言编写的极简Cortex-M实时操作系统：内核<10KB、最低2KB RAM，支持256级优先级、网络栈、TLS/DTLS、MQTT/CoAP与OTA，适配Cortex-M/RISC-V/AVR。
- 深入探讨嵌入式系统与 WebAssembly：TinyGo让Go代码跑在微控制器与WASM环境，提供在线Playground，便于嵌入式开发入门与实验。
- 展示 HN：TurboQuant 向量搜索，2-4 位压缩技术：无需训练、在线可增量，压缩8–16倍，构建比FAISS PQ快3–4倍，4位量化召回更高。
- 把 Linux 电脑变身路由器，会发生哪些变化？：详解启用IP转发、桥接、nftables/conntrack、NAT、dnsmasq与hostapd，梳理内核数据包路径与钩子。
- 我们用虚拟文件系统取代了RAG，打造AI文档助手：将UNIX命令映射为数据库查询，复用Chroma索引实现秒级启动与零边际算力，权限控制内置。
- 异步 Python 暗藏确定性秘密：利用事件循环的确定性调度，在首次await前分配稳定步骤ID，实现并发且可重放的工作流。
- Show HN：Apfel——你Mac上已有的免费AI助手：命令行调用Apple Silicon本地LLM，开放本地HTTP接口与多轮对话，隐私友好、零费用。
芯片与物联网、复古硬件
ESP32新SoC面向多协议与边缘AI，社区自制与怀旧硬件活跃
- ESP32-S31：双核RISC-V SoC，支持Wi-Fi 6、蓝牙5.4及先进HMI：双核320MHz、Wi‑Fi 6/BT5.4/802.15.4/千兆以太网，支持Thread/Zigbee/Matter与ESP‑IDF，面向智能家居与工业场景。
- DCJ11Hack+ —— 基于DEC PDP/11的自制电脑：基于DCJ11的模块化开发板，含文本显示与内存映射示例，复古指令集开发与仿真齐备。
- 用树莓派打造属于你的拨号上网ISP：树莓派+电话线模拟器+56K猫复刻拨号上网，mgetty/PPP配合代理让老设备访问现代互联网。
平台与生态
苹果与互联网平台的小改进与摩擦：开发者诉求、系统体验、车载互联与社区治理并行
- 应用商店为开发者带来的那些小改进：呼吁支持发布后编辑元数据、加速App Store Connect、改善促销码流程与搜索排序等。
- 致约翰·特纳斯的一封信：倡议苹果回到“做更好的电脑”，尊重用户时间与隐私，避免过度商业化干扰。
- Google Meet 现已支持 CarPlay：iPhone用户可在车载以音频参会与查看日程，禁用视频以确保行车安全。
- Reddit 大幅关闭 r/all，但还有办法能访问：r/all重定向至首页，旧版Reddit仍可访问；平台继续强化个性化分发。
- 同人小说网站AO3终于告别测试阶段正式上线：运营17年后正式出测，1,000万用户、1,700万作品，继续以非营利模式迭代。
- 三星Magician磁盘工具卸载流程繁琐，需18步操作加两次重启：Mac版臃肿难卸载、残留多且需关闭系统保护，暴露用户体验与资源浪费问题。
企业与劳工、行业动向
科技企业裁撤与转型并存，劳资关系与车型策略成焦点
- 甲骨文在大规模裁员中提交H-1B签证申请：两财年逾3100份H‑1B申请与数千裁员并行，引发“以外包替代本土岗位”的质疑。
- 报道称特斯拉得克萨斯工厂2025年员工数量缩水22%：奥斯汀工厂人员从2.12万降至1.65万，全球总人数仍增长。
- 特斯拉Model X和S的谢幕时刻到了，所有目光都聚焦在Cybercab上。：S/X停产清库存，马斯克押注无方向盘自动驾驶Cybercab与机器人业务。
- 特朗普劳工委员会要求亚马逊与斯塔滕岛仓库工会谈判：命令亚马逊承认并与工会谈判，或成劳工运动里程碑。
标准与许可费用
视频编解码专利费再起风波，流媒体平台面临更高成本
- 公司将H.264流媒体许可费用从10万美元猛涨至450万美元：Via LA将H.264年度封顶改为分级收费，新申请者最高达450万美元，或重演H.265高费争议。
科研与数据、开源知识
公民科学、自动形式化与数据建模方法论落地，行业提取场景走向“自我纠错”
- iNaturalist：全球自然观察社区，众包鉴定与科研数据共享，推动生物多样性研究与保护。
- 自动教科书规范化：RepoProver用多代理协作将研究生教材自动形式化为Lean，保障主分支可编译并提供可视化分析。
- 范畴论告诉我们关于数据框的那些事：将数据框操作归纳为Δ/Σ/Π三类迁移函子，构建类型安全API以优化与组合变换。
- 保险行业最棘手的文档提取难题：面向loss runs构建自验证与迭代纠错的AI代理，准确率由80%升至95%。
游戏与内容产业
AI岗位调整与项目推进并行，工作室更迭频繁
- Take-Two裁掉了人工智能部门负责人及若干员工，具体人数未公布。：AI负责人及团队受影响，官方未评论；管理层仍看好生成式AI提升生产力。
- 就像游戏里的僵尸一样，《State of Decay 3》竟然依然顽强存活：5月启动一系列Alpha测试，聚焦四人协作、基地建设与资源策略。
- Jason Blundell 宣布成立全新工作室 Magic Fractal：前《黑色行动》总监新开工作室，项目未公布，延续叙事向动作风格传统。