每日HackerNews RSS
据报道，领先的量化交易公司简街资本（Jane Street）因市场波动及其对人工智能对冲基金“Situational Awareness”的投资，在7月份遭受了150亿美元的损失。尽管遭受重创，有报道称该公司今年已创造了超过400亿美元的净交易收入，展现了其强大的盈利能力。
这一消息在Hacker News上引发了关于该公司商业模式及高频交易（HFT）更广泛影响的激烈辩论。批评者认为，简街资本等公司通过订单流支付（PFOF）和做市商价差等机制，以牺牲散户投资者为代价获利；而支持者则主张，这些公司为散户交易者提供了必要的市场流动性并缩小了价差。
除了财务分析外，讨论还涉及了该公司作为顶尖工程人才聚集地的声誉——特别是其对OCaml语言的广泛应用——以及其神秘的企业文化。虽然一些评论者批评了该公司的社会效用，但另一些人则为其技术复杂性和在现代金融市场中的作用进行了辩护。最终，该讨论帖中的共识凸显了高频交易公司所处的两极化境地：它们既因工程实力受到钦佩，又因对市场公平性的影响而受到审视。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
作者对人工智能生成的庞大合并请求（PR）日益增多的趋势表示不满。他认为 PR 应该保持精简易读，以确保人类审查者能够真正理解并核实代码。虽然 AI 工具加快了开发速度，但它们也为维护者制造了瓶颈，因为维护者现在不得不解析成千上万行机器生成的代码。 作者驳斥了“功能无法拆分为更小提交”的借口，并强调 PR 是为了方便审查者，而不仅仅是为了交付成品功能。此外，他还批评了代码过度注释的趋势，指出描述性的变量命名优于冗长且不必要的注释。 最后，作者反对让审查者使用 AI 来“理解”庞大 PR 的建议。如果代码需要借助 AI 才能读懂，那么人类的审查过程就已被绕过或失效。作者的核心呼吁是，开发者应将可维护性和人类可读性置于 AI 输出速度之上，并警告称，将海量 PR 抛给审查者会造成不可持续且令人沮丧的工作流程。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
Racket v9.3 现已发布，可前往 [racket-lang.org](https://download.racket-lang.org/) 下载。本次更新带来了多项显著改进与功能： * **文档与教学：** `raco setup` 现已支持生成 Markdown 文档，且 `#lang` 教学语言与语言对话框中的设置已保持一致。 * **性能与效率：** DrRacket 的后台扩展速度更快，`racket/base` 也经过优化，所需的内部模块更少。 * **包管理：** `raco pkg install` 命令新增了配置选项，包括 `--adjacent-deps` 和 `--destdir`。 * **系统与库增强：** 新增了用于库定位的 `define-runtime-lib` 机制，改进了 ZIP 文件生成控制，并增强了 `tcp-listen` 重试逻辑的稳健性。 * **开发者体验：** 更新包括 `impersonate-prompt-tag` 的新选项、合同（contract）检查的优化以及可自定义的错误位置映射。 本次发布得益于 28 位社区成员的贡献。如需查看完整的变更列表、详细文档及进一步讨论，请访问[官方发布公告](https://blog.racket-lang.org/2026/08/racket-v9-3.html)，或在 Discourse 和 Discord 上加入 Racket 社区。
关于 Racket v9.3 发布的 Hacker News 讨论凸显了该语言的优势，特别是其强大的标准库、稳健的外部函数接口（FFI）以及由 Chez Scheme 提供支持的高效运行时。诸如 Herbie 数值编译器维护者等资深用户对其功能丰富的环境给予了高度评价，包括内置绘图、HTTP 服务器以及先进的宏系统，这些特性使其在复杂项目中表现出色。
讨论还涉及了语法偏好，具体是关于 `#:foo` 关键字的使用。资深用户解释说，这一惯例是为了兼容 Racket 的 Scheme 渊源，在 Scheme 中，普通的冒号被视为合法的标识符。尽管部分参与者对其他 Lisp 语言中更简洁的关键字语法表现出兴趣，但另一些人指出，Racket 的灵活性允许开发者在需要时自定义语法。
最后，该帖文还回应了社区对 Racket 核心团队所谓“有毒”文化的担忧。常驻用户大多否认了这些说法，称他们并未经历过此类行为；而其他人则认为，偶尔的人际冲突是该项目学术背景的副产品，而非对整体社区文化的真实反映。
这段文字对 RISC-V 指令集架构（ISA）进行了批判性评估，认为其流行源于“廉价”而非“优秀”。作者强调了几个根本性的设计缺陷：
* **过度可选性**：该指令集极端的模块化导致了生态系统的碎片化。由于将核心功能（如 CSR、中断和特权模式）设为可选，规范制造出了互不兼容的硬件版本，使得“标准合规”实际上毫无意义。
* **编码糟糕且效率低下**：作者批评立即数被随意分散，这增加了解码和仿真的复杂度。此外，缺失了“显而易见”的功能（如寄存器加寄存器寻址和简单的位测试指令），迫使开发者使用次优的多指令序列来完成任务。
* **标准化失败**：试图通过“配置集”（如 RVA23）来解决碎片化问题的尝试，反而创造了二级标准，进一步排挤了无法满足这些新要求的硬件。
* **结论**：作者预测 RISC-V 将凭借“价格足够好”的优势，取代 8051 等架构，从而统治低成本微控制器和嵌入式“保姆级”芯片市场；但作者认为，它在根本上不适合高性能桌面或服务器计算，因为在这些领域，AArch64 等设计更出色且成熟的架构能提供更优越的性能和软件稳定性。
抱歉。
Nix 的语言定义基于“惰性求值”（laziness），这意味着它仅计算被访问的特定属性。因此，开发者可以创建无限或递归的数据结构，只有在被遍历时这些结构才会“存在”。
这一特性带来了传统软件包管理之外的独特可能性。例如，在 `nes-nix` 项目中，一个属性路径（如 `.right.jump.right` 这样的序列）被视为《超级马力欧兄弟 3》的一系列输入。在这个“属性树”中，每个节点代表游戏的一帧，而每个子节点都是由按键操作产生的新状态。
由于 Nix 的派生（derivations）是可复现的并存储在 Nix 存储中，每一帧游戏画面都成为一个可缓存、可重用的派生。存储本质上充当了持久化的存档历史；从游戏序列的分支开始几乎不需要任何成本，因为之前的帧只是被引用，而无需重新模拟。
归根结底，这表明 Nix 的属性路径不仅仅是目录中的静态名称，而是函数式程序。利用该语言的惰性求值特性以及存储持久化状态的能力，人们可以将软件包管理器重新用于系统地模拟和记录复杂的、可复现的状态机。
这场 Hacker News 讨论围绕着一篇名为《超级马力欧衍生（Super Mario Derivations）》的博文展开，探讨了如何通过“滥用” Nix 包管理器来执行传统软件打包以外的任务。
尽管一些用户起初质疑该项目的实用性，但社区还是挖掘出了其在实践和理论层面的多种应用：
* **缓存与组合：** 利用 Nix 的惰性求值特性，开发者可以将状态机或复杂的数据流水线视为衍生（derivations）。这不仅能够对中间步骤进行细粒度缓存，还能解决构建配置中常见的组合爆炸问题（例如 `foo.withGtk.withOgg`）。
* **文档与测试：** 这种模式可以自动生成文档截图，确保其与代码变更保持同步，或者将其用作一种严苛的内存压力测试工具。
* **理论洞察：** 评论者指出，该项目突显了时间依赖（temporal dependencies）与显式数据依赖之间的关系。通过将游戏的“逐帧”执行过程转化为 Nix 衍生图，它展示了高精度模拟与构建系统如何能从共同的优化技术中获益。
归根结底，社区达成的共识是：虽然该项目是一个“极其疯狂”的技术奇想，但它为函数式组合、可复现构建以及依赖管理提供了宝贵的见解。
「去他妈的每一个网站」—— 工业垃圾版（Slop Edition） 看起来像个屁眼的图标 v0.0.1 毫无意义的实时状态 老规矩：衬线字体、随机的斜体字，以及作为顶梁柱的破折号——就是那个破折号。 三 · 个 · 词 我猜 主要行动号召 (CTA) 次要行动号召 (CTA)，没人会点的那种 → $ curl -fsSL install.sh | sh # 无论是不是垃圾代码，你要是运行这个就太蠢了 复制 LOGO LOGO LOGO LOGO LOGO LOGO LOGO 信任背书……来自同一期 YC 孵化器的六家公司。
这篇 Hacker News 帖子讨论了一个名为“Every fucking website: 2026 edition”的病毒式讽刺网站，该网站调侃了现代网页设计的潮流。用户觉得该网站极具共鸣，并指出它精准地嘲讽了当前的流行套路，例如过度的 `backdrop-filter` 模糊效果、干扰性的 Cookie 横幅、不必要的时事通讯弹窗，以及重复出现的、充斥着同一期 YC 孵化初创企业的“受信任客户”板块。
除了设计层面，讨论还强调了对网页开发中“人工智能生成的垃圾内容”的普遍不满。讨论的很大一部分集中在 `curl | bash` 这种常见安装方式的安全风险上，用户批评这是一种未经审查且危险的代码运行方式。评论者解释说，直接通过管道传输至 shell 尤为危险，因为这允许服务器检测请求并提供恶意负载，这些负载比传统的软件包或二进制文件更难审计。总的来说，该帖子是对现代网页标准的一种批判：臃肿、模板驱动的设计往往被置于性能、安全和实际用途之上。
本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
此次讨论的焦点在于：随着 Manifest V3 (MV3) 标准的推行，Firefox 是目前唯一能完全支持 **uBlock Origin** (uBO) 的主流浏览器。Chrome 及其他基于 Chromium 的浏览器已基本淘汰了 uBO 所依赖的 Manifest V2（该版本支持深度的网络请求过滤），而 Firefox 则继续提供支持。
**讨论要点如下：**
* **安全性与控制权：** 谷歌认为 MV3 通过限制扩展程序可访问的数据来提升安全性；但批评者认为这只是削弱广告拦截功能并保护谷歌广告收入的借口。
* **性能与追踪：** 用户指出，尽管兼容 MV3 的“轻量版”广告拦截器可以隐藏广告，但它们往往缺乏 uBO 所具备的网络层级追踪数据剥离能力，也无法动态更新拦截列表。
* **浏览器替代方案：** 对话强调，虽然大多数主流浏览器（如 Chrome、Edge、Safari）已转向 MV3，但一些分支版本（如 Brave 和 Vivaldi）正尝试通过自定义重写来维持对 V2 的兼容性，尽管这种做法长期来看可能难以持续。
* **市场主导地位：** 许多参与者感到沮丧，因为尽管 Firefox 在隐私保护和自定义方面具有技术优势，但其市场份额依然较低，原因在于大多数用户倾向于使用操作系统预装的浏览器。
ICTP将2026年狄拉克奖章授予了四位物理学家——伯纳德·德里达（Bernard Derrida）、迪帕克·达尔（Deepak Dhar）、马克·梅扎德（Marc Mézard）和海姆·索姆波林斯基（Haim Sompolinsky），以表彰他们在统计力学领域做出的开创性贡献。他们的工作成功突破了传统物理学的界限，为分析生物学、计算机科学、经济学和人工智能等多个领域的复杂系统建立了强有力的框架。 这些获奖者的个人成就对现代理论物理学至关重要： * **伯纳德·德里达**：开创了诸如随机能量模型等数学模型，用于描述复杂无序系统中的集体行为。 * **迪帕克·达尔**：著名地解决了“沙堆模型”问题，解释了简单的局部相互作用如何引发大规模、不可预测的事件，这与地震和金融市场波动等现象如出一辙。 * **马克·梅扎德**：开发了“空腔法”，这是一种理解无序系统的变革性工具，后来被他应用于优化问题和信息论中。 * **海姆·索姆波林斯基**：通过将统计力学应用于神经回路，架起了物理学与生物学之间的桥梁，成为理论神经科学和大脑功能研究领域的奠基人物。 这些研究人员共同证明了统计力学的原理如何为定义现代世界的复杂系统提供重要见解。
抱歉。