Shopify正从React Native回归Swift和Kotlin
Shopify is moving from React Native back to Swift and Kotlin
发布时间: 2026-09-10
链接: https://shopify.engineering/back-to-native
描述:
Shopify 宣布将移动应用从 React Native 迁回 Swift 和 Kotlin 原生开发。公司表示，2020 年选择 React Native 曾带来显著收益，但编码智能体（LLM）的进步大幅降低了双平台原生开发的成本，因此重新评估了技术栈。迁移将采用全新重写而非渐进式改造，Shop 应用已在 12 周内完成原生重建并上线，Shopify 应用等其余应用也将陆续迁移。
评论要点:
跨平台系统普遍需要投入大量时间处理平台边界与集成问题，这几乎是共性痛点。JetBrains产品在体验上远胜Xcode，但具体短板与Xcode的优势仍需讨论。至于Twitter的现状，工程失败与文化及审核政策变化各自的影响程度难以简单区分。
深度求索 v4.1 闪电版
DeepSeek v4.1 Flash
发布时间: 2026-09-10
链接: https://twitter.com/deepseek_ai/status/2097930608790167907
DeepSeek 发布 DeepSeek-V4.1-Flash，称其更智能、更快速、更高效。该模型是新架构家族中体量最小的模型，具备原生视觉理解能力，设计目标是提升能力、加快推理速度、提高吞吐量，并可扩展至更大模型。
评论要点:
有人提到可以购买去审查版的Kimi K3，并希望看到关于该模型架构变化的讨论。有观点认为V4.1 Flash明显是为智能体工具调用优化的模型，牺牲了上下文窗口和知识量，通过减少KV缓存和仅用80亿活跃参数预填充来降低托管成本、加快响应，架构巧妙但版本号命名略显随意，与Deepseek V4 Flash差异巨大。另有用户表示选择OpenCode Zen而非Go，因为Zen自行托管模型并能保证数据处理方式，而Go是补贴服务，会将数据发送给第三方并受其条款约束。
关于研究人员能否在未发表数学成果上信任OpenAI的更多疑问
More questions about whether researchers can trust OpenAI with unpublished math
发布时间: 2026-09-10
链接: https://mathstodon.xyz/@andreasthom/117240535270608201
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
评论认为，错误死亡诉讼与故意伪造隐私开关在规模和消费者信任风险上不可相提并论，后者是对全体用户的蓄意欺骗，后果可能严重到构成刑事欺诈，不值得为微小收益冒险。分歧在于，一方质疑这种冒险的合理性，另一方则强调该主张本身极不寻常，且即便没有抄袭，也无法确定人类参与程度。
别让任何人拿走你那装满线缆的大盒子。
Don't let anyone take away your big box of cables
发布时间: 2026-09-10
链接: https://blog.jim-nielsen.com/2026/hands-off-my-cables/
描述:
作者看到 Tyler Gaw 的一条帖子，说他在“大电缆箱”底部找到了十多年没用过的两根电缆，感叹不要让别人拿走你的电缆箱。作者受此启发，把这条帖子截图打印、剪下，用透明胶带贴在自己那个被妻子标注为“FAMILY TECHNO BOX”的电缆箱正面，以此提醒自己保留这箱电缆的意义，并对想扔掉它的人起到警示作用。
评论要点:
有人想买标签打印机，并发现还能换字体。另有人批评扎带滥用，比如收纳延长线时也扎，以及线缆束每隔几英寸就扎一次。还有人因线缆塑料老化发黏，多年来扔掉了大量线缆。
Rust是微软的一级语言
Rust is tier-1 language at Microsoft
发布时间: 2026-09-10
链接: https://rustfoundation.org/media/guest-post-rust-is-tier-1-language-at-microsoft/
描述:
微软DevDiv团队开发的rustc_codegen_utc是rustc的替代代码生成后端，接入MSVC后端，自2026年初起已可用于生产环境，自Rust 1.90起实现自托管，目前已有100多个微软项目仓库使用。该后端让Rust与C++共享统一的代码生成平台，支持Windows工具链与ABI兼容、二进制加固、链接后合规分析、跨语言内联优化、调试与性能分析等能力，尤其有利于Rust/C++混合项目。Rust由此成为微软内部与C++、C#、TypeScript并列的一级支持语言，获得从本地开发到生产部署的完整工程路径。
评论要点:
有观点认为，真正的嵌入式开发指的是裸机单片机固件，比如笔记本里的嵌入式控制器、蓝牙SOC和卫星通信模块固件。分歧在于Rust能否通过选择C ABI，用普通Rust编译器生成动态链接到Rust库的二进制文件。
LG否认电视间谍指控，称跟踪与窥探担忧“不实”
LG denies TV spying claims, says tracking and snooping concerns 'not true'
发布时间: 2026-09-10
描述:
LG就Gamers Nexus发布的调查视频向Tom's Hardware发表声明，强烈否认其智能电视持续记录并上传数据、在待机时录制音频等指控，称这些说法"不属实"。LG表示，电视仅在用户按住遥控器语音键或激活远场语音识别后说出"Hi LG"唤醒词时才处理语音数据，否则不收集或录制环境对话，唤醒词识别在本地完成并即时删除。LG承认电视会扫描同一网络中的设备，但称这是智能电视和智能家居设备的常见标准功能；自动内容识别（ACR）为选择性加入功能，未经同意不用于广告。LG未回应视频中关于以明文存储转录文本等其他指控，Tom's Hardware也未独立核实双方说法。
评论要点:
有人认为，取消中心服务器的远程访问反而让设备更容易被直接攻击，但这本质上与局域网或WiFi无关，而是任何未过滤网络接入都存在的风险；即使有过滤，也可能被绕过。争论的分歧在于，是否只有彻底防火墙隔离或物理断网才能防止设备通过云端回传数据，以及像LG电视这类设备是否会在无人使用网络功能时仍偷偷上传信息。由此还引出一个诉求：谁来打造真正开放、私密且可持续的电视，类似电视界的Framework。
宜家为《天际》制作了一个模组[视频]
IKEA made a mod for Skyrim [video]
发布时间: 2026-09-10
链接: https://www.youtube.com/watch?v=iZODN0QUgjI
宜家为《上古卷轴5：天际》特别版推出免费官方模组“Kallax Storageborn”，将Kallax置物架做成可携带物品、缓解负重问题的同伴，由演员Matt Berry配音。玩家需通过任务线在矮人家具店发现并组装它，击败杂物魔像，并用“Aya Key Yah”龙吼召唤。模组还包含Allenblade武器、蓝黄主题护甲和肉丸头盔等物品，可在PC或Xbox上获取。
评论要点:
有人认为，商标保护针对的是模仿品牌以误导顾客的竞争对手，而游戏中出现字母完全不同的仿制店铺，理性人未必会误以为宜家在赞助该游戏，因此宜家若与对方财力相当，胜诉可能性极低，并援引E.S.S. Entertainment v. Rock Star Videos案佐证。另有人指出，不同法院可能要求商标持有人积极维权，否则可能丧失商标权，且法律判断未必符合常理或社会直觉。还有人补充，宜家本身早已推出官方VR游戏，说明其与游戏领域并非毫无关联。
告诉HN：OpenAI不断重新启用“允许训练”设置
Tell HN: OpenAI keeps re-enabling the 'allow training' setting
发布时间: 2026-09-10
链接: https://news.ycombinator.com/item?id=49643556
描述:
无法获取文章内容：该 Hacker News 帖子没有外链地址。
评论要点:
是否付费会影响功能恢复，有人每隔几个月检查一次，但相关功能仍未重新开放。数据导出速度也有差异，Claude和Google较快，OpenAI约需两天，有人怀疑这与后台调度有关。对于功能未恢复的原因，一方猜测可能出于恶意，另一方则认为更可能是切换账号时搞混了。
我有一个理论，软件会让人发疯。
I have a theory that software drives people insane
发布时间: 2026-09-10
链接: https://graybeard.ing/software-drives-people-insane/
描述:
作者提出一个观点：软件会让人失去分寸感，因为软件同时具备速度、金钱、复杂性和几乎无限的修改自由。软件本身大多只是“高级电子表格”，但修改成本隐藏在系统和人的头脑中，难以察觉，导致“可以做”变成“应该做”，再变成“为什么还没做完”。行业缺乏“完成”的定义，人们不断拉动各种杠杆，把公司也当成永远可重构的软件。作者认为解药是分寸感，以及克制不去改动那些已经正常运转的东西。
评论要点:
“Sprint”一词用词不当，应改为“迭代”，因为其本质是把工作视为一系列收集反馈并据此改进后续工作的机会。有人批评对方不懂“ad hominem”的含义，但认同其写作水平属于入门级。分歧在于，一方认为对方曲解了自己的用词并凭空指责其带有负面情绪，另一方则坚持应按字面理解，不应事后要求读出言外之意。
索尼网站上提及玩家“拥有”其数字游戏的参考列表
List of references on Sony websites to players "owning" their digital games
发布时间: 2026-09-10
链接: https://consumerrights.wiki/w/Sony_PlayStation_digital_game_ownership_lawsuit
描述:
加州四名PlayStation买家起诉索尼，称其数字游戏购买实为受限、可撤销的许可而非所有权，商店结账页面的“Buy Now”“Confirm Purchase”等用语及不显眼的许可披露违反加州数字商品透明度法。索尼于2026年8月21日请求强制仲裁，并主张理性消费者不会误以为获得了数字游戏所有权。案件仍在审理中，听证会定于2026年10月1日。
评论要点:
有观点认为，数字商品的使用许可不等于版权所有权，用户不能随意更改许可，物理与无形商品的差异也影响法律保护。争论“拥有”无形商品可能是错误的斗争方向，更值得争取的是自由软件与自由文化。另有人指出，在索尼等封闭平台中，企业拥有近乎完全的控制权，消费者只能通过立法逐步削弱这种控制。还有评论批评将责任推给个人，认为大公司塑造了选择范围，拒绝参与榨取式游戏的人最终会失去资金流动。
Cognition推出全新SWE-2模型，媲美Fable 5.1与GPT-Astra
Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra
发布时间: 2026-09-10
链接: https://cognition.com/blog/swe-2
描述:
Cognition 发布新一代编码模型 SWE-2，在 FrontierCode 1.1 Main 上得分 50.0%，与 Fable 5.1 相差不到一个百分点，但成本低 64%。该模型基于 Kimi K33 后训练，首次将强化学习扩展到数万亿参数规模，并在单次训练中覆盖全部推理强度档位。SWE-2 即日起在 Devin Desktop 和 CLI 上线，并将逐步推广至 Devin Web 和 Fusion。
评论要点:
命令行工具仍需 Pro 订阅，免费可用的只有速度较慢的 SWE-1.6。有用户反映 Opus 经常出现类似问题，而 Grok 4.6、Kimi K3 甚至 Sol 反而很少遇到。也有人认为这属于所有模型的通病，准确率本就无法达到百分之百。
同样的九个流媒体订阅每年比2021年多花费702美元。
The same nine streaming subscriptions cost $702/year more than in 2021
发布时间: 2026-09-10
链接: https://honestlyranked.com/guides/streaming-price-increases/
描述:
HonestlyRanked 追踪了 Netflix、Disney+、Hulu、HBO Max、Apple TV+、Paramount+、Peacock、YouTube Premium 和 Spotify 九项订阅服务的价格变化。2021年3月这九项服务合计每月95.91美元，如今为154.41美元，涨幅61%，相当于每年多支出702美元。各服务涨幅从HBO Max的23%到Apple TV+的200%不等，且多数为同一档位、未取消或降级。
评论要点:
一位听众以自己一年听近三千张专辑、其中半数为新专辑为例，认为按提议的预算无法在不牺牲探索新音乐的前提下完成。另一位则指出，作者高估了普通人的技术能力，实际操作远不止30秒，可能需5分钟，并提到自己连“30s”都要别人解释。还有人追问对方具体指哪个指标，若是CPI就直接说CPI。
操纵卫星照片的技术如今揭示古代图像 (2025)
Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)
发布时间: 2026-09-10
链接: https://spinoff.nasa.gov/Manipulating_Satellite_Photos_Now_Reveals_Ancient_Images
描述:
NASA喷气推进实验室开发的去相关拉伸技术原本用于增强卫星图像对比度，后被数学博士乔恩·哈曼应用于考古图像处理。他基于该技术开发了Dstretch插件，用于显现褪色严重的古代岩画和壁画。该工具已帮助在新墨西哥、挪威、埃及、加拿大和希腊等地发现此前不可见的古代图像与遗迹，并扩展到木乃伊纹身增强等领域。
评论要点:
试用该算法和Gimp方法后，石刻文字的可读性并未提升，周围环境也没显现隐藏细节，这在意料之中，因为可读性取决于光照角度。不过它在识别活植物并将其与干草分离方面效果出奇地好。有人询问实际效果如何，也有人对相关技术被专利保护表示遗憾。
Windows XP使用什么算法来选择你的初始用户图片？
What algorithm did Windows XP use to choose your initial user picture?
发布时间: 2026-09-10
链接: https://devblogs.microsoft.com/oldnewthing/20260909-00/?p=112683
描述:
Windows XP 在首次创建账户时，使用 RtlRandomEx 随机数生成器从默认用户图片目录中挑选初始头像，并以 GetTickCount() 的当前值作为初始种子。选择过程采用单遍随机选择算法，即 k 为 1 的蓄水池抽样特例：遍历文件时对第 count 个文件以 1/count 的概率将其选为当前结果。该算法只需一次遍历，减少文件系统调用，并能应对遍历期间目录文件数量变化的情况；采样在 100 张图片后停止，以避免目录中存在大量文件时的异常行为。
评论要点:
在FAT和FAT32文件系统中，统计目录文件数需要扫描目录表，复杂度为O(n)，而非像inode那样直接记录。有人提出可以预先计算100个随机数，从而可能提前终止迭代。此外，有用户表示曾关注某人，但因读到一些争议性新闻而改变了态度。
OpenAI智能体API
OpenAI Agents API
发布时间: 2026-09-10
链接: https://developers.openai.com/api/docs/guides/agents-api/overview
描述:
Agents API 通过 OpenAI 托管的 API 让应用使用 Codex 运行框架，由 OpenAI 管理会话、编排、上下文压缩与恢复，应用提供工具并选择执行环境。代理可在沙箱中执行代码、编辑文件、连接 MCP 服务器并生成产物。其核心概念包括 Agent、Environment、Session 以及 Events 和 items，模型按所选模型费率计费。该 API 目前仅在美国支持数据驻留，且不支持零数据保留。
评论要点:
有用户指出，即便在VS Code中使用，情况也一样，暗示问题并非特定平台所致。评论认为，OpenAI的服务条款虽承诺不“训练”用户内容，但保留内容用于“安全评估”和调试，实际上可能通过强化学习持续吸收用户的新信息，用户可能在无意中帮助提升了模型能力。分歧在于：一方认为“退出模型改进”选项并未真正保护用户数据，另一方则观察到开源模型能以符号化方式呈现其推理过程，更透明地展示任务核心。
展示HN：身体奇异现象
Show HN: Bodily Oddities
发布时间: 2026-09-10
链接: https://vester.si/bodily-oddities/
描述:
该页面收录了155种人体偶尔能做出的奇特现象，可按类型浏览并支持输入搜索。条目涵盖耳动、瞳孔不等大、芦笋尿气味、香菜尝起来像肥皂、双小趾甲、浸水利尿、夜惊等，并给出大致发生率或研究数据。页面还设有“现在就能试一个”和“吓人但正常”等分类，介绍后像、双手同利、心盲症、良性肌束颤动等。
评论要点:
有人批评在Show HN上无视他人数月成果、只嘲讽页面像AI生成的做法极其无礼，认为公开贬低他人项目不可接受。分歧在于：被批评者辩称自己的评论因具体情境而正当，而同样的评论用在别处就不对；批评者则认为这种事后编造的细微差别分析完全颠倒黑白，本质是双重标准。
21世纪课堂音乐理论
Music Theory for the 21st-Century Classroom
发布时间: 2026-09-10
链接: https://musictheory.pugetsound.edu/mt21c/MusicTheory.html
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
有观点认为，视奏教材对非钢琴演奏者门槛偏高，单音乐器出身的人即便有钢琴基础也未必能轻松视奏文献片段。另一分歧在于书名中“21世纪”更多是区分标签而非内容描述，真正的新意是带作业的开源教材。关于移调，有人强调它是所有乐器的重要技能，长号手虽可借中音和次中音谱号省力，但仍需处理临时升降号，移调远不止换谱号；也有人补充次中音谱号在现代音乐剧中很常见。
Neki – 分片式Postgres
Neki – Sharded Postgres
发布时间: 2026-09-10
链接: https://planetscale.com/blog/introducing-neki
描述:
PlanetScale推出分片Postgres产品Neki，目前处于平台预览阶段。Neki通过路由器兼容Postgres线协议，每个分片运行真实Postgres集群，支持在线执行模式变更、版本升级、故障转移和重新分片等操作，并集成Insights、分支等功能。用户也可先以单主库加副本的非分片模式运行，待需要时再执行重新分片。
评论要点:
发布帖应在首句说清“这是什么”，拖到第三段才交代是失败，不是读者的问题。有人指出自己此前没听说过该产品，但也不混“无基础设施团队却突遇扩容需求”的圈子，而这似乎正是其目标市场。另有人发现博客原文中某句话后来被删除了。
死亡射线：一种让不受信任的网站冻结Mac的简单方法
The Deathray: A simple way for an untrusted site to freeze a Mac
发布时间: 2026-09-10
链接: https://auberon.xyz/blog/posts/deathray/
描述:
该文章介绍了一种名为 Deathray 的方法：不受信任的网站可利用 WebGPU 着色器让 Mac 的图形系统挂起，导致桌面界面无法使用，需强制重启。作者在 MacOS 的 Chrome、Firefox 和 Safari 上复现了该问题，其他操作系统未复现。其原理是计算着色器陷入无限忙循环，阻塞依赖同一缓冲区的顶点着色器，进而拖垮 WindowServer，最终可能触发内核崩溃重启。作者已于 2026 年 7 月向 Apple 报告，但 Apple 认为不构成安全问题。
评论要点:
有人认为，WebGL和WebGPU这类技术已存在十五年，从未引发实际问题，HN上的恐慌缺乏证据，主张封禁是脱离现实的过度反应。另一些评论则强调设计与开发之间的认知鸿沟：开发者常低估界面与流程设计的专业性，把民间经验当作权威，导致独立开源项目难以吸引开发者以外的用户。还有人就某类漏洞指出，仅靠冻结电脑重启并不足以牟利或造成严重破坏，除非攻破大型广告网络，但长期未修复仍令人难以接受。
另一位研究员称OpenAI基于对话进行训练，随后宣称取得突破。
Another researcher says OpenAI trained on conversations, then claimed breakthrou
发布时间: 2026-09-10
链接: https://bsky.app/profile/did:plc:ckaz32jwl6t2cno6fmuw2nhn/post/3mv4mt4ikss2d
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
有人认为如今的大模型在小规模数学推理上已经足够强，只要研究项目接近目标，模型就能自行完成。另有人则把讨论转移到包含原始来源的新链接，并打算在那里汇总其他相关链接。分歧在于，一方强调模型能力已足以推进研究，另一方更关注信息来源的整理与集中讨论。
Forgejo <=16.0.3 严重远程代码执行漏洞
Forgejo <=16.0.3 Critical RCE
发布时间: 2026-09-10
链接: https://codeberg.org/forgejo/forgejo/src/branch/forgejo/release-notes-published/16.0.4.md
Forgejo 16.0.4 修复了一个严重远程代码执行漏洞。从模板仓库生成新仓库时，Forgejo 会克隆模板、删除 .git 目录、对 .forgejo/template 中列出的文件做变量模板展开，再初始化新 git 仓库；变量展开可被滥用来创建新的 .git 目录，被 git 在初始化时采纳，从而读取主机任意数据并执行任意进程。修复方式是在变量展开完成后、初始化 git 仓库前再次删除已存在的 .git 目录。
评论要点:
有用户反映其Forgejo实例遭攻击：即便配置了DISABLE_REGISTRATION=true，攻击者仍通过启用OpenID注册创建了超级管理员账户、大量仓库并尝试提权，因此呼吁尽快升级。另一条评论则批评有人曲解他人对“主要由LLM编写的项目”的排斥，认为这并非反对任何LLM参与，更不应被夸大为滑向极权。
我想我讨厌互联网
I think I hate the internet
发布时间: 2026-09-10
链接: https://strategictree.bearblog.dev/i-think-i-hate-the-internet/
描述:
作者读完Sarah Wynn-Williams的《Careless People》后，回顾了自己先后删除Facebook、Instagram和WhatsApp账号的经历，并表示并不怀念这些平台，反而有更多时间做感兴趣的事、与好友线下见面。作者认为互联网和社交网络已背离连接人的初衷，沦为诈骗、仇恨言论、儿童诱骗、政府操纵和剥削性广告的温床，其负面影响远超正面价值。作者还抱怨日常事务被迫依赖手机和应用，感到疲惫，正把iPhone改造成功能简单的手机，并渴望搬到没有网络连接的乡下生活。
评论要点:
评论认为，应当回归1990年代之前反垄断法的执行方式，无需新立法，只需务实适用现行法律。分歧在于，有人质疑反竞争行为是否真的完全不存在。另有观点强调，解决这一问题将带来极大价值。
九种编码工具对比你的笔记本电脑
Nine coding harnesses vs. your laptop
发布时间: 2026-09-10
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
有人认可这个思路，但认为“单一模型”对64GB甚至128GB的Mac来说规模太小，而Q3已被证明能力较弱，因此建议首次运行时提供Q级提升且不牺牲原有性能。另一方则强调，674行C代码实现可用代理恰恰反驳了“必须依赖框架”的说法，价值在于提示词和工具而非框架本身。还有人称赞pi是优秀的通用工具，并主张将单一模型与单一硬件组合发挥到极致，更换模型时只保留主体、舍弃草稿器和内核。
检测与应对AI滥用：2026年9月
Detecting and countering misuse of AI: September 2026
发布时间: 2026-09-10
链接: https://www.anthropic.com/threat-intelligence-report-september-2026
描述:
Anthropic威胁情报团队在2025年12月至2026年8月期间识别并阻止了威胁行为者滥用Claude进行恶意活动的行动，涵盖网络攻击、影响力行动、监控、诈骗、生物滥用、常规武器开发和模型蒸馏七个危害领域。报告详述了与俄罗斯间谍活动相关的GTG-20006案例，该行为者利用AI自动化侦察、钓鱼、数据窃取和恶意软件改写，攻击乌克兰及欧洲的政府、军事和无人机供应链目标；以及疑似ShinyHunters附属团伙利用AI加速机会性入侵和数据勒索的案例。
评论要点:
雌蝇20天生命周期内可产约3000枚卵并飞行200公里，美国1971年确诊473例，1972年迁移蝇突破绝育蝇屏障，1973年病例激增至超10万例。评论借此讽刺根德森市长，并指出“围堵”在盖子没盖好的情况下根本行不通。
我在Home Assistant中添加了一台非Wi-Fi的三菱空调
I added a non-wi-fi Mitsubishi AC to Home Assistant
发布时间: 2026-09-10
描述:
无法获取文章内容：该外链无法访问或没有可用正文。
评论要点:
有用户认为，如果空调支持遥控器回传室温，用ESP32加红外发射模块和温度传感器就能实现更准的控温，Home Assistant或ESPHome并非必需，自己写少量代码也行，必要时还可加入PID修正。另一用户则表示已安装四台设备且运行完美。还有用户已用ESPHome接入四台机器，但更关注分支配件诊断，因为多区域机组行为难以预测，并愿意自备设备和线缆参与测试。
硅谷正在改变军工复合体？（2024）
Silicon Valley is transforming the military-industrial complex? (2024)
发布时间: 2026-09-10
描述:
人类学家Roberto González的报告指出，美国军工复合体正从华盛顿向硅谷迅速扩张，国防部日益寻求采用人工智能系统。大型科技公司、风险投资和私募股权从数十亿美元的国防合同中获利，小型国防科技初创企业也获得更多资金。研究显示，2018至2022年微软、亚马逊和Alphabet共获约280亿美元合同，2019至2022年前五大科技公司合同上限合计至少530亿美元；2021至2023年风险投资向国防科技初创企业投入近1000亿美元，比此前七年总和高出40%。报告认为这些受益于机密国防合同的硅谷企业将用纳税人的钱制造昂贵、低效、不可预测且不安全的高科技国防产品。
评论要点:
有人认为，美国过去百年的霸权给世界带来深重苦难，而中国尚未如此，因此即便中国未来可能更糟，基于历史经验也不太可能；相比“秃鹰行动”之类的暴行，他宁愿承受监控和债务陷阱的风险。另一分歧在于对哈马斯的定性，一方称其“试图种族灭绝”，另一方则嘲讽这种说法离谱可笑。
OpenAI的Navier-Stokes发布包含Lean 4形式化证明
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
发布时间: 2026-09-10
链接: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/
描述:
OpenAI 在宣布解决流体力学中纳维-斯托克斯方程一个长期问题的同时，还发布了该证明的 Lean 4 形式化证明。文章指出，过去形式化验证极其繁琐，2005 年的经验估计是每页本科数学教材约需四十小时，而研究论文密度更高、依赖更广。若按研究文章比教材页面多二十倍工作量估算，形式化 OpenAI 那篇 166 页论文需约 13.28 万人工小时，而 OpenAI 仅用 17 小时就在 Lean 中验证了证明，成本降低约四个数量级。作者认为形式化验证还可用于安全策略一致性、智能合约责任上限和关键算法正确性等更易量化回报的领域。
评论要点:
欧拉问题的解法本应同时署名两人，这点没有争议。争论在于纳维-斯托克斯方程的解法：OpenAI解决了该问题，而Buckmaster和Alpoge没有。OpenAI曾提议合作，但让身为Anthropic员工的Alpoge参与OpenAI的研究项目会显得很奇怪。据称OpenAI提出让Buckmaster先发表，条件是移除Alpoge的署名。此外，有观点认为在大规模形式化方面，规模化的弊端可能超过其益处，但这一判断信心较低。
Julia 1.13 亮点
Julia 1.13 highlights
发布时间: 2026-09-10
链接: https://julialang.org/blog/2026/09/julia-1.13-highlights/
描述:
Julia 1.13 已发布，预编译时间比 1.12 减少约 30%，启动速度提升约 20%。REPL 新增语法高亮和类似 fzf 的历史搜索，Windows 上支持括号粘贴。垃圾回收方面，系统镜像和包镜像中的对象被永久标记，完整回收成本大幅降低；哈希函数改用 RapidhashNano。Pkg 默认请求 zstd 压缩包，解析器和注册表处理也有优化。
评论要点:
有人提到2009年一个直观对比不同编程语言的可视化项目，认为这种方式至今仍有参考价值。另一位分享了自己从Commodore BASIC、汇编、C到Julia的漫长编程经历，目前借助AI重新回到汇编开发，同时用Julia做数学和复杂系统研究。还有评论关注Python的内存管理，希望借鉴跳过镜像对象标记的做法，让fork真正节省内存并减少引用计数开销。
创造力是新护城河
Creativity is the new moat
发布时间: 2026-09-10
链接: https://www.inventbuild.studio/blog/genuine-creativity-is-your-new-moat
描述:
文章回顾了Flash时代网页设计的创意爆发，认为当前网页虽更标准化、功能完善，却趋于平庸，而生成式AI正让大量同质化网站快速涌现。作者主张，当执行和设计变得廉价时，真正的竞争力来自持续创新的能力，即不断质疑前提、尝试新交互与体验，而非复制既有答案。AI可加速实验，但关键决策仍须由人做出，创造力应成为一种习惯。
评论要点:
AI真正的威胁不在于取代工作，而在于重新定义衡量个人价值的标准，这一趋势正在职场中持续发生。关于内容创作，有人认为带有“预约咨询”等行动号召的文章本质上属于内容营销，会因此降低对其评价，但也有人尊重为朋友辩护的立场，并承认文章本身经过深思熟虑。此外，有观点认为当今时代创新反而更容易被复制，真正难以复制的是项目规划与执行能力。
多亏了Siri回顾功能，你的Apple Watch始终在倾听。
Thanks to Siri Recaps, your Apple Watch is always listening
发布时间: 2026-09-10
描述:
苹果为 Apple Watch Series 12 和 Ultra 4 推出 Siri Recaps 音频智能功能，利用手表传感器总结用户一天的活动，包括发生的对话，可通过日程或智能叠放开启。该功能不录制或存储音频、不显示转录文本，而是由 Siri AI 实时处理，数据经端侧 AI 和私有云计算保护，摘要七天后自动删除。文章认为该功能对会议记录有用，但可能引发类似 Meta 智能眼镜的隐私争议，因为旁人可能不知自己正被监听。
评论要点:
评论者认为，索尼Walkman只提供录音工具、不介入用户录制内容，而苹果的Siri recap会跨设备传输并分析录音，因此苹果可能因“持有并个别处理”录音而承担法律责任，具体取决于州法。分歧在于：一方质疑苹果分析非法录音为何要负责，另一方则指出若法律明文禁止分析非法录音，责任便可能成立；同时承认美国缺乏判例，各州法律措辞不同，结果并不确定。