WebAssembly (Wasm) 最初采用结构类型相等性——这意味着具有相同结构的类型被认为是相同的，即使名称不同。这导致了对更名义类型的需求，其中类型无论结构如何都保持不同。Wasm 通过“递归类型组”（`rec`）解决了这个问题，允许类型自引用并分组，以在模块*内部*实现有限的名义化行为。 然而，`rec` 组无法阻止不同模块创建结构上等效的类型，这可能会损害安全性。为了解决这个问题，一个新的“名义类型”提案被采纳，利用 `tag` 声明（类似于异常处理）来创建真正不同的类型。 这种方法涉及非常规的语法——使用 `param` 代替 `field`，使用 `throw` 进行构造——并且缺乏诸如子类型和可变性等特性。访问字段需要异常处理（`try_table` 和 `catch`）。虽然复杂，但它能够实现模块*之间*安全的类型组合，尤其是在与通过导出 `tag` 定义的类型导入相结合时。作者幽默地指出，该系统利用异常处理来实现名义类型，这是一种解决 Wasm 长期挑战的意想不到的解决方案。
每日HackerNews RSS
几年在海德堡大学学习后，1964年他接替马克斯·霍克海默在法兰克福大学担任哲学和人类学教授。他的就职演讲于1968年出版为《知识与兴趣》。在学生运动期间，哈贝马斯被视为支持者，但他拒绝了运动的激进化。1971年，他搬到慕尼黑附近的施塔恩贝格，在那里领导了马克斯·普朗克研究所，研究科学技术世界的生活条件，直至1981年。在他任职的最后一年，他发表了他的主要著作《交往行动理论》。1983年，他回到法兰克福，直至1994年退休，再次担任哲学教授。
## 尤尔根·哈贝马斯逝世：摘要
哲学家和社会学家尤尔根·哈贝马斯逝世，享年96岁，引发了Hacker News上关于他生平和工作的讨论。许多人称赞他是该领域的“巨人”，推荐他的著作——特别是《合法性危机》和《交往行动理论》，以及斯坦福哲学百科全书的相关条目作为入门读物。
讨论延伸到他的理论在电子通信时代的相关性，一些人质疑虚假信息的快速传播是否“驳斥”了他关于理性讨论的观点。 另一些人则辩论了他对后现代主义的立场以及与当代政治运动的潜在联系。一个反复出现的分歧点是他对巴勒斯坦的看法，一些人对此表示失望，考虑到他的历史背景。
许多评论者分享了资源，包括里克·罗德里克 (Rick Roderick) 在YouTube上的讲座，为哈贝马斯和西方哲学提供了易于理解的介绍，并强调了他所关联的法兰克福学派的复杂遗产。 这段对话也涉及更广泛的地缘政治问题以及西方影响在全球冲突中的作用。
429 请求过多 nginx
## 浏览器中的 WordPress：摘要
WordPress.org 最近宣布了一种新方法——通过“my.WordPress.net”直接在浏览器中运行 WordPress。这使得 WordPress 从一个面向公众的网站平台转变为一个用于构思和笔记的私密个人环境，绕过了传统的网站优化。
然而，这一消息在 Hacker News 上引发了争论。许多人质疑个人使用 WordPress 的臃肿程度，认为像 markdown 文件这样的简单工具效率更高。一些人看到了协作写作流程的潜力，而另一些人则批评了其呈现方式并质疑目标受众。
讨论也偏离到无关话题，包括对 Automattic 首席执行官 Matt Mullenweg 最近争议的评论。尽管对基于浏览器的应用程序开发给予了技术上的赞扬，但总体情绪倾向于怀疑，许多用户难以理解其核心价值主张超越现有解决方案。
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
图像生成模型可以思考 (medium.com/seeds-for-the-future)
6 分，来自 hungryminded 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
functionmouse 1 天前 [–]
我的 TI-84 也能思考 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Python 的速度：攀登优化阶梯 Python 比 C 慢很多（通常被认为慢 100 倍）的说法并非不正确，但解决方案并非仅仅切换语言。本文分析了通过各种优化技术可以实现的性能提升，使用了包括计算密集型问题（n 体问题、谱范数）和现实的 JSON 事件管道在内的基准测试。 核心问题并非 GIL、解释器或动态类型本身，而是 Python 的 *最大动态性*——在运行时修改代码的能力——这会引入显著的开销。每个操作都需要运行时分派以确保灵活性。 优化“阶梯”包括：升级 CPython（使用 3.11 可提升 1.4 倍），替代运行时如 PyPy 和 GraalPy（6-66 倍），提前编译 (AOT) 与 Mypyc（2.4-14 倍），利用 NumPy 进行向量化操作（高达 520 倍），JAX 用于函数式数组编程（高达 1633 倍），Numba 用于即时 (JIT) 编译数值循环（56-135 倍），Cython 用于类似 C 的性能（99-124 倍），最后，用 Rust 重写（113-154 倍）。 最大的收益通常来自于完全避免 Python 对象——例如，使用 Rust 的 `serde` 或 Cython 的 `yyjson` 直接将 JSON 解析为原生数据结构。最终，最佳方法取决于特定代码以及您愿意投入的精力。性能分析是识别瓶颈和选择优化阶梯上正确台阶的关键。 您可以访问 [faster-python-bench](https://faster-python-bench/) 获取完整代码和详细结果。
## Python 优化：总结
这次 Hacker News 讨论围绕一篇关于 Python 性能优化的博文展开。核心问题并非 Python 本身固有地慢，而是其设计优先考虑动态性——例如猴子补丁和运行时修改——这阻碍了优化。
最近的进展，特别是 Python 3.15，正在整合追踪 JIT（即时编译），灵感来自 PyPy，提供显著的性能提升。这建立在早期使用复制和补丁 JIT 编译器上的工作之上。然而，挑战依然存在，包括自修改代码的复杂性和对紧凑类型信息的需求。
讨论中提到的“优化阶梯”涉及从使用 NumPy/SciPy 到用 C 重写关键性能部分等策略。文章认为，新的 JIT 方法可能会消除这个阶梯上的许多步骤。 替代方案，如 Julia 和 Rust，也被提及，它们可以提供实质性的加速，但需要大量的代码更改。
一个反复出现的主题是 AI 辅助写作对内容质量和可信度的影响，许多评论者在文章的文笔中检测到“AI 气味”，并质疑其真实性。尽管如此，技术内容受到广泛赞扬。
## XML：在现代软件中仍然相关——深入了解美国国税局预扣税估算器 美国国税局最近推出了其开源的预扣税估算器（TWE），该项目的首席工程师认为XML仍然具有令人惊讶的相关性。尽管经常被认为已过时，但XML被证明对于在TWE内部构建一个跨平台、声明式的美国税法规范至关重要。 TWE利用一个“事实字典”——税法的一种表示形式——该字典使用XML构建。这个字典与名为“事实图”的逻辑引擎一起，计算税收义务。虽然考虑过JSON等替代方案，但XML的结构和工具对于这种复杂的特定领域语言（DSL）来说更胜一筹。 XML的优势在于其声明性——它*描述*计算，而不是*如何*执行它们，从而实现可审计性和内省。其通用的解析和工具生态系统即使使用简单的shell命令也能快速开发调试工具。此外，XML的可读性（尽管冗长）允许非程序员理解逻辑，并且其既定标准有助于转换为其他格式。 最终，作者认为，虽然JSON在数据传输格式方面表现出色，但XML在构建自定义DSL时仍然是最具成本效益的选择，从而释放资源用于创新。对XML的近期重新关注，通过新的工具和库体现出来，表明其效用在短期内不会消失。
一位Claude Code Pro用户（月费200美元）对Anthropic未公开的A/B测试感到沮丧，该测试显著降低了工具的“计划模式”功能——其工作流程的核心功能。 在没有警告或选择加入的情况下，该用户被分配到一个高度限制的测试版本（“cap”），限制了计划长度并删除了上下文和散文解释等关键要素，导致体验变得不那么互动和有用。
用户通过逆向工程应用程序发现了这一点，并强调缺乏透明度是一个主要问题。 虽然承认A/B测试对于优化是必要的，但他们认为在没有用户意识或控制的情况下影响核心功能是不可接受的，特别是对于专业工具。
他们倡导人工智能工具的可配置性和透明度，强调用户需要理解和引导人工智能过程，而不是不知不觉地受到破坏性实验的影响。 这篇帖子目前在Hacker News上很受欢迎，呼吁负责任地部署人工智能，并赋予用户“掌控自己的流程”。
## Claude 代码 A/B 测试与用户担忧
一篇最近的 Hacker News 帖子详细描述了对 Anthropic 的 Claude 代码的担忧，特别是关于核心功能上的“静默”A/B 测试。作者发现该平台似乎在悄悄地改变功能——可能降低某些用户的性能——而没有通知。
讨论的中心在于这种测试的伦理问题，一些人将其与 Meta 的做法相比较。虽然 A/B 测试本身并非固有地负面，但将工具的有效性降低作为测试的一部分被认为不可接受。许多评论者强调了 LLM 普遍的不可靠性，质疑它们由于缺乏可复制的结果而是否适合专业用途。
担忧还延伸到 Anthropic 在配额限制和产品变更方面缺乏透明度，如其服务条款中所允许的修改。几位用户表达了对 AI 工具“租赁”性质的沮丧，以及潜在的不可预测行为，这与人们对专业软件的可靠性期望形成对比。这场辩论触及了负责任的 AI 开发以及在潜在被盗数据上训练所带来的伦理影响等更广泛的问题。
## 迈克尔·法拉第：信仰与科学的和谐 本文探讨了19世纪科学巨匠迈克尔·法拉第（1791-1867）的生活，以及他的基督教信仰与开创性工作之间的相互作用。法拉第以电磁感应和电解定律等发现而闻名，在多个科学领域做出了重大贡献——以至于有五种现象以他的名字命名。 尽管取得了科学成就，法拉第仍然是一位虔诚的基督徒，特别是严格的桑德曼教派的成员。他刻意将信仰和科学区分开来，很少与科学家讨论宗教，反之亦然。然而，他的信仰深刻*影响*了他的科学实践。它提供了一个强调观察和谨慎，反对仓促理论化的哲学框架，并在他追求知识的过程中灌输了强烈的道德原则。 法拉第将科学视为“阅读上帝所写的自然之书”，寻求统一的规律并认识到神圣计划的秩序。他优先考虑实验验证，并在科学界保持谦逊和协作的精神。他还相信将科学进步应用于造福人类。 最终，法拉第的生活展示了信仰与理性的成功结合，展示了深厚的宗教信仰如何激发严谨的科学探究和对道德行为的承诺。他的遗产超越了科学突破，成为智力谦逊和献身真理的典范。
由于持续的内存短缺和高昂的RAM价格，V-Color推出了一种独特的解决方案：“1+1”超值套装。这些套装包含一个真正的DDR5内存模块，并搭配一个匹配的、非功能性的“填充”模块。这使得组装者能够在不支付全部费用情况下，实现双模块设置的美观效果——这种效果因Corsair的光效增强套件而流行。
V-Color最初的产品面向AMD系统，提供16GB（Manta Sky）和24GB（Manta XFinity）配置，起始速度为DDR5-6400。虽然填充模块不会提升性能，但V-Color强调它们对游戏玩家的吸引力，特别是那些使用AMD Ryzen 3D V-Cache芯片的玩家，该芯片可以部分缓解单通道内存造成的性能损失。
尽管双通道仍然是最佳选择，但这些套装在价格上涨的时期，为DDR5构建提供了一个更易于接受的入门点。V-Color计划未来扩展产品线，推出“2+2”配置。产品将通过Newegg等精选合作伙伴发售，定价尚未公布。
AskUCP - 搜索整个 Shopify 生态系统。由通用商业协议提供支持。
## UCP 协议：互联网商店的潜在“入口”
一种新的协议，UCP（通用购物车协议），旨在为数量庞大的在线商店创建一个统一的搜索体验——本质上，为互联网提供一个“入口”。UCP 由 Google 和 Shopify 联合开发，允许用户实时跨多个商家搜索产品，可能为 Amazon 等平台提供一种去中心化的替代方案。
虽然前景可观，但对可扩展性存在担忧。同时查询每个商家会带来重大的技术挑战。一些开发者正在探索替代方案，如 MCP-UI，以避免 Google 和 Shopify 的潜在控制。
UCP 的好处不仅仅在于消费者搜索；它旨在使 AI 代理能够安全地发现和购买产品。Shopify 等平台已经开始采用，但更广泛的实施可能需要强制措施或与 WooCommerce 等开源电子商务解决方案集成。该协议还可以使小型手工制品卖家受益，为容易出现代购诈骗的平台提供更值得信赖的替代方案。