航天与太空计算
太空任务与轨道边缘计算并进，数据处理更贴近传感器源头。
- 从 iPhone 随阿尔忒弥斯 2 号升空，谈谈 Apple 设备的太空征程：宇航员用 iPhone 17 Pro Max 拍摄地球成焦点。回顾苹果设备自 90 年代进入太空的历程与严格测试，展望空间计算参与科研的可能。
- 最大规模轨道计算集群正式投入运营：Kepler 在轨部署约 40 个 Nvidia Orin，联手 Sophia Space 测试轨道计算软件，攻关被动散热与边缘处理。大规模太空数据中心被认为要到 2030 年代。
- NGC 602 及其背后的故事：哈勃拍到小麦哲伦星云边缘的年轻星团 NGC 602，强辐射和冲击波侵蚀周围气体尘埃，触发由内向外的恒星形成，画幅约 200 光年。
AI 基础设施与开发者生态
GPU 软件栈竞争加剧，AI 工具的计费与体验问题暴露。
- 用ROCm挑战CUDA：“一步一个脚印”：AMD 持续投入开源 ROCm，支持 Triton 等生态以提升可移植性与效率，目标迈向即插即用、版本无感的开发体验。
- Pro Max 用量限制在1.5小时内被耗尽，尽管使用量适中：用户反馈 Pro Max 5x 计划配额异常消耗：cache_read 全额计费、闲置会话持续扣费、自动压缩触发峰值、1M 窗口放大用量。呼吁明确计费与改进配额透明度。
编程语言与算法前沿
新运算与数据结构压缩表达表达式空间，形式化与编译优化齐头并进。
- 所有由单一二元运算构成的初等函数：用 eml(x,y)=exp(x)-ln(y) 与常数 1，可生成 e、π、i、四则运算与常见初等函数，统一为二叉树语法，并支持基于梯度的符号回归。
- OBDD 的标准推广：提出树决策图（TDD）推广 OBDD，保持可处理性同时更简洁；树宽为 k 的 CNF 可用 FPT 大小的 TDD 表示，并分析自底向上编译复杂度与因子宽度关系。
- 64位平台上32位无符号常数除法的优化技巧：改进 Granlund–Montgomery 方法，在 Xeon 与 Apple M 系列上最高提速 1.98 倍；补丁已合入 LLVM 主分支。
- 一门可完善的编程语言：Lean 以依赖类型与定理证明让程序在语言内自证性质，结合元编程与自定义语法提升表达与开发效率，尽管性能仍有优化空间。
网络与安全
基础设施脆弱与治理失当会引发广泛外溢影响，设备默认安全依旧是痛点。
- 离谱！西甲一开赛，Cloudflare 就被封，Docker 也跟着崩了：LaLiga 依法封锁盗播 IP，误伤大量 Cloudflare 节点，影响 Docker 拉取、GitHub 等服务，暴露基于 IP 封锁的过度波及问题。
- 年度最蠢黑客事件暴露了一个真实问题：多城行人按钮被远程植入假音频，源于默认密码与薄弱防护。事件推动更严格的密码与合同安全条款。
消费设备与交互
设备形态与交互在细节上迭代，改善实际使用阻力。
- 微软全新Xbox手柄光标功能，为掌机加装虚拟鼠标：新增模式为不支持手柄的应用提供虚拟鼠标，提升 Windows 掌机可用性。
- 华为新款宽屏折叠屏碾压苹果三星：Pura X Max 传采用“护照式”宽高比折叠形态，被视为与传闻中 iPhone 折叠机型思路相近。
行业与组织
平台政策在收拢与合规中前行，工程管理回归成本与价值常识。
- 派早报：微软宣布改进和简化 Windows 预览体验计划：微软精简 Windows 预览频道、取消分批推送；港金管局发放首批稳定币牌照；红帽缩减中国研发转向印度；Linux 内核要求标注 AI 辅助代码并明确责任；网信办约谈第三方抢票平台，强调 12306 稳定与安全。
- 软件团队经济学：大多数工程组织为何都在盲目摸索：8 人团队年成本约 104 万欧元，产出需达 3–5 倍才健康。文章批评只看活动或满意度的虚指标，呼吁以可衡量的财务回报指导规模与资源配置。
AI 产业与社会
产业人物安全与 AI 社交新尝试并存，伦理与治理仍是重点。
- 据报道，Sam Altman 再次遭遇袭击：其旧金山住所再遇枪击，两名嫌疑人被捕并被控过失开枪；此前曾遭燃烧瓶袭击，警方缴获多把枪，案件调查中。
- AI 代理人正瞄准你的爱情生活：Pixel Societies 用基于 LLM 的个性化代理模拟社交与匹配，尝试节省相亲社交时间；面临数据准确性、成本与伦理挑战。