蒙大拿州已成为美国首个将“计算权”写入法律的州，通过了SB 212《蒙大拿州计算权法案》（MRTCA）。这项具有里程碑意义的立法保障了公民拥有、访问和使用计算资源和人工智能工具的权利，优先考虑数字隐私和可访问性。 MRTCA包含关键保障措施，将政府监管限制在紧迫的公共安全需求范围内，并强制执行安全协议——包括用于控制关键基础设施的人工智能的关闭机制。该法案由丹尼尔·佐尔尼科夫参议员和前沿研究所倡导，与其它州出现的更严格的科技立法形成对比。 支持者认为MRTCA是保护数字时代个人自由的重要一步，类似的立法努力在新罕布什尔州等州也正在获得进展。由Haltia.AI等组织支持的全球“计算权”运动强调计算访问对于创新和个人自由至关重要。
每日HackerNews RSS
本期《BYTE》杂志重点介绍了FORTH编程语言，探讨了它的起源、能力和实际应用。文章内容涵盖从教程介绍（“什么是FORTH？”）到编译器编写和可扩展性等高级主题。FORTH强大功能的演示包括一个为TRS-80编写的96行游戏，以及对其十年间不寻常演变的讨论。 除了FORTH之外，本期还报道了新兴的硬件趋势。它包含一个售价低于50美元的自制调制解调器项目，并详细介绍了个人电脑硬盘存储价格的日益降低。一篇多部分文章开始详细介绍第四代视频终端的构建。 本期还包括产品评测（俄亥俄科学公司和希斯公司）、编程技巧、FORTH术语词汇表以及信件、产品列表和分类广告等标准杂志栏目。
一个黑客新闻的讨论围绕着编程语言FORTH展开，起因是链接到一篇1980年的《Byte Magazine》文章。用户分享个人经验，展示了FORTH持久的吸引力和令人惊讶的实用性。
一位用户在1981年使用FORTH构建了一个管理系统，获得了第一份付费编程工作，甚至创建了自己的解释器。另一位用户将FORTH用于家庭自动化项目——监控盆栽植物并在需要浇水时发出信号，并以其在深空探测器中的应用来证明这一选择。
对话还涉及通过《Acorn User》等杂志以及BBC Micro FORTH编译器等资源早期接触FORTH。一个幽默的轶事提到了虚构的“FIFTH”语言，作为FORTH程序员沮丧时的去处。总的来说，该帖子突出了FORTH的历史意义以及它在特定应用和热情的开发者中的持续相关性。
星链的军事化及其对全球战略稳定的影响
Starlink militarization and its impact on global strategic stability (2023)
15 天前
星链的高速度、带宽、低延迟和成本效益——加上其对复杂地形和环境的适应能力——引起了美国国防部的极大兴趣。 国防部正在利用星链构建下一代军事通信生态系统，具体支持先进战场管理系统（ABMS）和联合全域指挥与控制（JADC2）系统，以实现跨所有军种的实时协调。 多个军种正在与SpaceX 积极合作。 陆军正在测试星链用于战术数据传输，而空军则将其整合到下一代传感器网络（“全球闪电”）中。 SpaceX 还为 AC-130、F-35 和 F-22 等飞机提供卫星通信。 太空军通过企业卫星通信倡议进一步巩固了这种伙伴关系，将星链纳入其网络，并利用激光通信链路将军事卫星纳入星链星座。 这种合作旨在增强跨所有领域——海、陆、空、天和网络空间——的军事通信能力。
WebAssembly (Wasm) 最初采用结构类型相等性——这意味着具有相同结构的类型被认为是相同的，即使名称不同。这导致了对更名义类型的需求，其中类型无论结构如何都保持不同。Wasm 通过“递归类型组”（`rec`）解决了这个问题，允许类型自引用并分组，以在模块*内部*实现有限的名义化行为。 然而，`rec` 组无法阻止不同模块创建结构上等效的类型，这可能会损害安全性。为了解决这个问题，一个新的“名义类型”提案被采纳，利用 `tag` 声明（类似于异常处理）来创建真正不同的类型。 这种方法涉及非常规的语法——使用 `param` 代替 `field`，使用 `throw` 进行构造——并且缺乏诸如子类型和可变性等特性。访问字段需要异常处理（`try_table` 和 `catch`）。虽然复杂，但它能够实现模块*之间*安全的类型组合，尤其是在与通过导出 `tag` 定义的类型导入相结合时。作者幽默地指出，该系统利用异常处理来实现名义类型，这是一种解决 Wasm 长期挑战的意想不到的解决方案。
几年在海德堡大学学习后，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 开发以及在潜在被盗数据上训练所带来的伦理影响等更广泛的问题。