在 PostgreSQL 中，使用 `count(DISTINCT user_id)` 的查询本质上是串行的，无法并行运行。由于计算去重计数需要知道某个值是否出现在其他工作进程的数据集中，因此不存在用于合并部分结果的“合并”步骤，这迫使数据库必须对整张表进行单线程排序——通常还会导致内存溢出并写入磁盘。这一瓶颈也会影响其他有序聚合函数，并破坏同一 `SELECT` 语句中任何具备并行能力的函数的性能。 为了进行优化，你可以通过将去重操作推送到使用 `GROUP BY` 的子查询中来绕过这一限制。通过将查询重写为： `SELECT count(*) FROM (SELECT user_id FROM events GROUP BY user_id) s;` PostgreSQL 就可以利用并行哈希聚合，允许多个工作进程构建本地哈希表，并由主进程进行合并。这种重写方式速度显著提升，因为它避免了基于磁盘的排序，并能随 CPU 核心数扩展。请务必检查 `EXPLAIN` 的输出；如果你看到大规模排序且没有 `Gather` 节点，说明你的查询很可能处于串行模式，重写该查询将会有所帮助。
每日HackerNews RSS
这篇 Hacker News 讨论聚焦于一篇关于 SQL 中 `COUNT(DISTINCT)` 性能局限性的博文。
对话强调了几个关键的技术要点：
* **近似算法：** 用户建议，当不需要精确计数时，Flajolet-Martin、LogLog 或 HyperLogLog 等概率算法可以提供无需排序的高性能替代方案。
* **内置解决方案：** 许多现代数据库为此提供了诸如 `APPROX_COUNT_DISTINCT` 之类的原生函数。
* **并行化：** 评论者讨论了 `COUNT(DISTINCT)` 的并行化能力，一些人指出使用 `GROUP BY` 等技术往往能更高效地达到类似结果。
该讨论串也反映了社区对人工智能生成内容的普遍疲劳。几位用户批评原文看起来是由大语言模型（LLM）撰写的，从而引发了关于人工智能撰写的技术文章其价值和可信度的元讨论。一些参与者认为，识别“垃圾内容”是一项必要服务，有助于他人避开低质量文章；而另一些人则认为，对 AI 生成内容的持续抱怨是多余且无益的。
Jane Street 发布了一项新的技术挑战：一个硬件逆向工程谜题。参与者将获得一个定制专用集成电路（ASIC）的最终 GDS 布局——即其晶体管和布线的几何表示——并必须重建该电路的网表以确定其功能。一旦理解了逻辑，目标就是输入特定信号来触发“成功”输出，并揭示一个隐藏的字符串值。
为了帮助初学者，组织者包含了一个以简单二进制加法器为特色的“热身”练习，并建议使用 KLayout 或 Magic VLSI 等开源工具来分析这些文件。鼓励参与者进行协作，在 2026 年 9 月 4 日之前提交的最引人注目的解题报告将会在后续文章中展示，表现优异者还将获得奖品。
该谜题反映了 Jane Street 硬件团队的实际工作，他们经常需要对复杂的 ASIC 和 FPGA 系统进行故障排除。此外，该公司预告了即将举行的一项竞赛，届时参与者将设计自己的芯片以进行实际制造。所有必要的文件、规则和指南均可在其项目网站上找到。
Hacker News 最近的一场讨论探讨了逆向工程专用集成电路（ASIC）的可行性。
参与者普遍认为，虽然物理上可行，但该过程极其繁琐且技术要求极高。相关方法包括对芯片进行“去层”处理——利用化学或机械工艺、扫描电子显微镜和聚焦离子束对芯片裸片进行拍照，以及使用专业软件从 GDS（版图）文件中提取网表。
此次讨论引发了关于“通过示波器探测引脚即可逆向工程复杂 GPU”这一“都市传说”的辩论。专家指出，现代芯片过于复杂，无法使用此类粗糙的方法；硬件逆向工程通常需要精密的实验室设备或软件级分析（例如检查驱动代码或在可访问的总线上使用逻辑分析仪）。
许多贡献者强调，现代的“标准单元”设计比过去的人工优化芯片更容易理解，但同时也指出，真正的困难在于如何从底层的门电路逻辑中还原出高级功能。归根结底，该讨论将此项任务定性为专家级的难题，通常仅在工业或研究环境中为了验证安全性或发现未公开功能时进行，而非初学者能够轻易完成的任务。
Herdr 的独立开发者 Can 已将该项目从一个个人工具发展成为拥有 2.5 万颗星标和 34 万次下载量的广泛应用平台。Herdr 最初旨在解决管理 AI 智能体的“瓶颈”问题，它提供了一个强大的终端运行环境，将终端视为一等公民，使智能体能够在不同环境中持续运行并无缝协作。
由于意识到单凭一人之力已无法维持其快速增长，Can 正在加入 Y Combinator 的 F26 批次，以组建专业的团队。Herdr 的核心运行时已重新授权为 Apache-2.0 协议，以确保其对所有人保持免费和开放。
展望未来，重点仍在于通过丰富的插件生态系统保持核心的精简与可扩展性，同时建立跨机器的连接并增加客户端以支持复杂的工作流。尽管转型为一家公司，其使命依然不变：为开发者提供一种精简、灵活的 AI 智能体管理方式，而不受限于束缚性的专有工具。Can 强调，尽管 Herdr 在不断演进，但其追求简洁、高性能和用户自定义工作流的理念将始终保持不变。
开发工具 **Herdr** 是一款专为管理多个 AI 智能体而设计的终端复用器，目前已加入 Y Combinator。尽管该工具的运行时保持开源（herdr.dev），但这一消息在 Hacker News 上引发了关于开源开发工具的未来以及风险投资影响的激烈辩论。
讨论的主要议题包括：
* **风险投资与开源：** 许多用户表示怀疑，担心出现“平庸化”（enshittification）现象——即风险投资支持的工具最终会优先考虑盈利而非用户体验，并引用了 Warp 等过往案例作为佐证。
* **可持续性难题：** 支持融资的一方认为，维护复杂的开发工具并非零成本。他们主张，由于用户往往不愿意捐赠，风险投资是防止项目被废弃的必要选择。
* **“感觉编程”（Vibe Coding）时代：** 用户指出，现代 AI 技术使得个人分支（fork）变得轻而易举。一些人认为，如果某个项目关闭源代码或质量下降，用户可以轻易地复制或修改它，从而降低了传统闭源软件带来的“供应商锁定”风险。
* **实用性：** Herdr 的普及源于其能够追踪多个并行 AI 智能体任务状态的能力，用户认为这一功能优于标准的 tmux 配置。
科技行业已从一个充满趣味、高速增长的环境，转变为一个以动荡、大规模裁员和人工智能替代威胁为特征的领域。这种悲观氛围标志着该行业“学习编程”乐观主义的衰退，促使许多从业者寻求新的保障形式。 在这种不确定性中，加州大学的 2100 名信息技术员工通过投票加入 UPTE-CWA Local 9119 工会，实现了历史性的里程碑。此次运动是美国劳工史上规模最大的科技工作者组织行动，其驱动力源于对合约裁员保护的渴求，以及将技术导向社会公益的集体承诺。 在接受《雅各宾》（Jacobin）杂志采访时，UPTE-CWA 的领导者丹·拉塞尔（Dan Russell）和马克斯·贝拉斯科（Max Belasco）探讨了此次运动的成功。他们认为，传统的工会组织仍然是科技工作者获得自主权最有效的工具，能够确保未来的技术进步服务于公共利益，而非仅仅让企业高管获益。
这次 Hacker News 讨论聚焦于科技行业工会的可行性与必要性。讨论凸显了科技界内部存在的分歧：
* **反对工会的观点：** 反对者认为，科技从业者受益于一个重视个人能力、股权和流动性的独特高杠杆市场。他们担心工会会引入僵化的等级制度，保护表现不佳的同事，限制职业灵活性，并可能抑制就业创造。许多人认为工会与“创业”文化及科技行业高回报的本质不兼容。
* **支持工会的观点：** 支持者认为，随着裁员、AI 导致的岗位流失以及企业权力扩张，科技行业的“黄金时代”正在消逝。他们认为个人的议价能力是一种错觉（或至少是暂时的），工会能提供必要的稳定性、道德代表权，并抵御万亿级科技巨头的专断权力。他们强调，集体谈判是一种预防性工具，而非事后补救手段。
* **共识：** 许多参与者认同当前的行业环境正在发生变化，使得传统的科技职业路径不再那么稳固。然而，他们仍然怀疑现有的工会模式（通常为其他行业设计）是否适用于高利润、高度专业化且波动性大的软件工程领域。
在人工智能驱动软件开发的时代，生产的“壁垒”——即曾作为质量过滤器发挥作用的技术难度——已经崩塌。由于生成看似合理的代码如今近乎瞬时完成，只求“足够好”的经济激励已经消除了平庸的自然门槛。 作者认为，在这一新环境中，“品味”是唯一剩下的核心技能。品味被定义为一种无法言喻的直觉判断，用以区分“尚可”的作品与“正确”的作品。从历史上看，开发者通过自身失败的磨砺来培养这种品味；而消除了这种磨砺，我们便面临着培养出一代程序员的风险——他们什么都能构建，却无法辨别什么值得构建。 尽管市场目前推崇速度与数量，导致“貌似合理却毫无意义”的内容泛滥成灾，但真正的匠心已从“创造”转向了“抉择”。策划与判断力已成为最终的稀缺资源。机器可以自动化生产，但无法复制人类拒绝平庸的信念。在一个针对无限且平庸产出进行优化的领域，拒绝交付仅仅“尚可”的作品，是人类真正意图仅存的证明。
Hacker News 的这篇帖子讨论了《品味是唯一剩下的东西》（*Taste Is All That's Left*）一文。该文认为，在人工智能将技术生产商品化的时代，人类的“品味”——即评判质量和方向这种主观且难以言表的判断力——是唯一持久的竞争优势。
讨论主要集中在两个主题上：
1. **AI 的真实性与“垃圾内容”（Slop）：** 讨论中很大一部分关注的是文章本身是否由 AI 生成。批评者认为，其文风——频繁使用破折号、短促有力的句子以及重复的“类 AI”过渡词——是大型语言模型的典型特征，并对首页出现这类“垃圾内容”表示沮丧。作者否认使用了 AI，这引发了关于“人类是否正在采用 AI 式写作”，或者“读者是否对特定文体特征变得过于敏感或武断”的激烈辩论。
2. **“品味”与“工程”的本质：** 评论者争论“品味”究竟是有意义的专业指标，还是精英主义的一种模糊委婉语。怀疑论者认为，“品味”只是工程师在优先考虑速度和产出的市场中，为了寻求优越感而使用的一种防御机制。支持者则认为，品味是本质上的“人类”特质——即辨别什么值得创造并有目的地进行迭代的能力——而 AI 仅能提供“足够好”的产出，需要人类的判断才能使其变得真正有价值。
**ChipTycoon** 是一款交互式主题公园风格的模拟器，旨在直观呈现半导体制造的复杂工艺。用户将跟随一片硅晶圆，经历从原始沙粒到成品芯片的二十个专业建筑生产环节。 为了提升体验感，该模拟器将现实中通常涉及 60 层堆叠的生产流程压缩为四个加速循环。在最初八分钟的游览中，运载车会在每个站点停顿，供用户阅读说明展板，并通过进度条显示剩余时间。教育阶段结束后，模拟器会加快速度以提供更流畅的视觉观感。 该项目在制造顺序上保持了高度的技术准确性，涵盖了直拉法（Czochralski）晶体生长、光刻胶曝光以及铜镶嵌布线等工艺步骤。尽管为了游乐体验缩小了规模，但逻辑依然符合行业标准。该模拟器完全由基础多边形构建，以实现最佳性能，并提供直观的控制功能：用户可以随时暂停、跳过步骤、调整速度或手动探索园区。ChipTycoon 是一款高效的浏览器端教育工具，将复杂的芯片制造物理原理简化为易于理解的实时体验。
最近 Hacker News 上的一场讨论关注了 Laurentiu Gabriel 的项目“Chip Tycoon”，这是一个通过动画网页可视化演示来讲解半导体制造的项目。该工具受到《过山车大亨》等游戏等轴测美学的启发，旨在让非专业人士更容易理解芯片制造这一复杂的多步骤工艺。
虽然许多用户称赞该项目是一个富有创意且“可爱”的教育资源，但它也在技术专家中引发了争论。行业人士指出，该模拟简化或忽略了关键细节——例如前道工艺与后道工艺的区别、扩散和氧化等——一些人还批评其“循环”的比喻在技术上不够准确。
讨论还涉及了该行业的更广阔背景：芯片生产惊人的复杂性（可能耗时数月且包含数千个步骤）、消费电子产品的寿命与“三年使用周期”的神话，以及电子垃圾对环境的影响。
开发者 Laurentiu 积极回应了这些反馈，承认了技术上的局限性，并重申其目标是为外行提供一个易于入门的起点。根据用户的建议，他此后对该工具进行了更新，使制造工艺的视觉呈现更具描述性。
7月24日，GitHub 其中一个可用区出现网络连接故障，导致数据包丢失，影响了该可用区 25% 的网络容量。此次中断发生在世界标准时间（UTC）16:04 至 17:36 之间，起因是计算集群的脊柱交换机与聚合层之间的链路故障。 该事件导致多个服务出现间歇性性能问题和报错，包括 GitHub Actions、Issues、Copilot、身份验证及 Git 操作。GitHub 通过将流量重新路由至备用光纤路径缓解了影响，并于世界标准时间 17:36 完全恢复了服务稳定性。 为防止此类事件再次发生，GitHub 正在加速推进一项计划中的基础设施升级，将网络接口从 100Gbps 提升至 400Gbps。此次升级将增加交换网络结构的带宽，从而确保在未来面对设备或链路丢失时具备更强的韧性。
GitHub 近期发生了一次重大服务中断，严重影响了全球开发者的工作流程。此次事件通过 GitHub Status 进行了追踪，并在 Hacker News 上引发了用户的强烈不满，尤其是针对其对 CI/CD 流水线造成的影响。
用户表示，即使是自托管的运行程序也受到了此次故障的影响，导致团队无法部署关键的热修复程序或按时完成发布。评论者们强调了这对依赖 GitHub 基础设施的组织所造成的巨大经济影响，并质疑像这样一个对全球软件开发至关重要的服务，为何在没有有效冗余或备份系统的情况下会面临如此长时间的停机。此次讨论凸显了中心化带来的风险，因为该故障导致企业无法在高峰时段维持运营的稳定性。
请启用 JavaScript 和 Cookie 以继续。
OpenAI 更新了其 ChatGPT 产品线，将免费层级升级为 **GPT-5.6 Luna**，并改进了付费用户的 **GPT-5.6 Sol** 模型。此举旨在提升普通用户的模型能力，同时应对来自谷歌 Gemini 及其他人工智能提供商的市场竞争。
Hacker News 讨论的要点如下：
* **商品化**：用户指出基础模型正日趋商品化，促使 OpenAI 将重心从单纯的模型性能转向生态整合、广告支持的免费层级以及更佳的用户体验。
* **模型混淆**：多种层级（Luna、Sol、Terra）和强度等级（低、中、高、超高）的引入让资深用户感到困扰。许多人认为缺乏标准化、直观的界面，甚至缺乏对这些模式差异的明确说明，是一种“黑暗模式”或产品尚不成熟的迹象。
* **性能**：虽然一些人称赞 Luna 比之前的“即时”模型有显著升级，但其他人仍对当前模型冗长且“多巴胺驱动”的语调持批评态度，认为它们缺乏直接、高效的回答。
* **商业策略**：普遍观点认为，提供高质量的免费访问是一种获取市场份额的营销成本，其长期价值预计将来自 B2B 集成和代理工作流。
在 7 月下旬至 8 月初期间，人工智能领域表现活跃，其中最受瞩目的是 **Claude Opus 5** 的发布，它以更具性价比的价格为代理型知识工作设定了新标准。
这一时期伴随着广泛的模型评估，包括 **DeepSeek V4 Flash** 和 **Kimi K3** 的更新，以及 **Ling 3.0**、**Muse Spark 1.2** 和 **Inkling Small** 等新模型的推出——其中 Inkling Small 以极少的参数实现了与前代产品相当的性能，令人印象深刻。
此外，平台更新包括推出了旨在追踪同一模型在不同部署环境下表现的“端点准确度指数”（Endpoint Accuracy Index）。在方法论方面，对“任务成本”（Cost per Task）的计算进行了调整，以提高价格估算的准确性。总体而言，这一时期反映了行业持续优化模型性能、增强推理能力并改善“成本-智能”比率的趋势。
关于 Qwen 3.8 Max 在 Artificial Analysis 的“智能体指数”（Agentic Index）中荣登榜首，Hacker News 上的讨论揭示了一个观点分散且高度怀疑的开发者群体。尽管一些用户称赞该模型是中国人工智能能力的一大飞跃——表现甚至超过了 Claude Opus 5 等美国主流“前沿”模型，但另一些人则认为这一排名是方法论调整和基准测试选择性偏差的结果。
该讨论帖的主要观点包括：
* **市场怀疑态度**：许多开发者对“情绪化编程”（vibe-coding）时代感到沮丧，并指出 Claude Opus 5 等模型存在性能下降、过于冗长以及令人厌烦的“个性”。
* **成本与效率的转变**：开发者越来越倾向于在智能、成本和速度之间取得平衡的模型。用户正逐渐转向 Qwen 和 DeepSeek 等中国模型，因为它们具有极高的性价比。
* **对本地大模型的偏好**：用户对较小的自托管模型（如 27B 版本）表现出浓厚兴趣，因为它们提供了隐私、速度和自主权，使用户能够摆脱限制性强且昂贵的基于订阅的 API。
* **对方法论的不信任**：社区对排行榜的变动持深度怀疑态度，并指出排名变化往往与方法论的更新或“可疑”的时间节点吻合，这引发了关于品牌忠诚度与客观能力之间的争论。
近期 Airtable 以 12.8 亿美元被收购，标志着“无代码”（No-Code）时代可能已经走向没落。尽管无代码平台曾弥补了电子表格与定制软件之间的空白，但如今它们却深受平台锁定以及扩展性和灵活性受限等问题的困扰。 大语言模型（LLM）的崛起从根本上改变了软件的构建方式。作者认为，与其依赖僵化且封闭的无代码界面，不如回归“枯燥”但强大的技术：基于 Linux 的技术栈。通过利用编码代理（coding agents）直接在 Linux 上进行开发，用户可以创建定制化且可移植的业务工具，摆脱传统平台的束缚。 作者的平台 **exe.dev** 正是通过提供易于部署的 Linux 虚拟机来推动这一转变，让 LLM 代理充当开发者。用户可以实时迭代应用程序，绕过繁琐的采购流程和无代码工具的局限性。这种方法提供了“低门槛、高上限”的体验，使用户能够构建安全、可扩展且完全自主的基础设施。归根结底，定制化业务软件的未来不在于限制性的低代码孤岛，而在于利用 LLM 发挥开源环境的通用灵活性。
这场 Hacker News 讨论围绕一篇颇具争议的博文展开，该文章既是一篇技术思考，也是一款托管产品的广告。尽管一些用户批评该文是“伪装广告”，但也有人维护该公司的内容，指出他们一贯保持着高质量、信息丰富的工程文章水准。
讨论随后转向了“智能体时代”（agentic age）软件开发的未来。参与者辩论了人机协作的可行性，特别是质疑人类审查 AI 生成代码是否具有可持续性，或者这是否会不可避免地成为一项令人疲惫且易出错的任务。与会者对当前的“无代码”界面表示怀疑，认为在 AI 时代，它们反而成为了瓶颈。相反，人们倾向于为智能体设计新的、领域特定的文本界面，以便进行高层次的人工监督，而非枯燥的逐行调试。总体而言，该讨论反映了新开发工具的营销与将自主 AI 智能体整合进专业工作流程的实际挑战之间存在的张力。