## AI 代理时代自由软件的复兴
近期人工智能“氛围编码”的进步，有望大幅提升*自由软件*——软件赋予用户运行、研究、修改和分享的自由——的重要性，正如理查德·斯托尔曼最初设想的那样。虽然开源运动淡化了这种理念，侧重于代码共享而非用户权利，但AI代理改变了游戏规则。
过去，软件自由在很大程度上是学术性的，被SaaS的便利性所掩盖。现在，能够理解和修改代码的代理，使得非程序员也能获得访问源代码的*实用*能力。用户不再局限于功能请求，而是可以利用代理根据自身需求定制软件——前提是该软件真正是自由的。
这种转变已经显现，一些思想家已经认识到代理可以赋能开源的潜力。然而，挑战依然存在。自主托管会带来运营负担，而代理可能在不贡献的情况下使用开源软件，威胁到维护者的可持续性。
最终，未来可能需要新的模式来平衡便利性和定制性。随着代理成为主要的接口，非自由软件将被视为障碍，从而推动对真正开放和可适应工具的 renewed 需求。核心原则——对工具的控制——再次变得重要，不仅仅对程序员，而是对所有人。
每日HackerNews RSS
## 编码代理与自由软件的未来
这次Hacker News讨论的中心是编码代理（由人工智能/大型语言模型驱动）是会复兴还是进一步破坏自由和开源软件（FOSS）。许多贡献者感到矛盾，他们贡献的代码可能被用于训练这些模型，但并未获得直接补偿，这让他们觉得自己正在为可能取代他们的技术做出贡献。
一个关键的担忧是关于大型语言模型在训练许可代码（如GPL）方面的法律模糊性，以及对需要许可才能进行大型语言模型训练的许可的需求。然而，许多人怀疑公司会遵守这些许可。
尽管存在这些担忧，但普遍的观点是，大型语言模型*降低*了软件创建的门槛，可能使个人能够构建定制工具。这可能会导致大量基于FOSS基础的个性化、闭源应用程序的出现。一些人认为，这会将重点从上游贡献转移到下游定制。
最终，这场讨论凸显了协作式FOSS开发理念与人工智能 democratize 软件创建的潜力之间的紧张关系——即使这意味着软件的构建、维护和署名方式会发生变化。
法国标志性的高速公路标志，于1974年推出，是艺术与科学的精心融合。这些由Widmer和Sauvage设计的标志，专为高速行驶的驾驶员设计，采用简单、普遍易懂的象形图，并使用独特的棕白配色方案。信息呈现分两个阶段——先图像，再名称，以便快速理解。Helvetica小写文本进一步提高了可读性。 1984年，Vinci委托Philippe Collier对标志进行现代化改造，转向更详细的插图。重要的是，这种新方法让当地社区参与到选择代表他们地区的元素中，最终产生了950个独特的设计。虽然最初的标志优先考虑高效的沟通，但Collier的作品旨在庆祝区域身份和文化遗产，将路边标志转变为一种文化体验。
## 法国路标与旅行体验
这次黑客新闻的讨论集中在独特的法国路标上，这些路标包含详细的插图，宣传当地景点。用户分享了将其与美国、英国以及意大利、德国和匈牙利等其他欧洲国家类似标志的比较经验。虽然这些标志通常被认为是法国的特色，但其起源存在争议，一些人认为法国率先使用了它们。
对话突出了旅行基础设施的对比。一些评论员欣赏这些标志，认为它们能揭示隐藏的瑰宝，并丰富自驾游体验，而另一些人则指出它们的方向指引有限。讨论的关键点在于法国的让行规则，尤其是在环岛交通中，以及高速公路驾驶和速度限制的不同体验。
许多用户强调这些标志的美学吸引力以及它们在漫长旅途中营造场所感和前进感的作用。该帖子还涉及实际问题，例如法国房车过路费以及发现这些景点的详细地图（如米其林地图）的可获得性。最终，这场讨论展示了对这些独特标志以及它们所促进的旅行体验的喜爱。
## 图形摘要的奇特案例 科学论文的标准格式（AIMRaD）几十年来的变化不大，但一个新的元素——“图形摘要”——正逐渐流行起来。它旨在以视觉方式总结论文并吸引更广泛的读者，但其用处备受争议。 作者质疑单张图片是否真的能够传达复杂的研究内容，并指出许多例子在不阅读完整摘要的情况下难以理解。虽然图形摘要可能有助于社交媒体推广，但支持其提高影响力的证据不足，而执行不佳的图形甚至可能引起负面关注（如人工智能生成失败的例子所示）。 然而，作者提出了一种新颖的方法：首先创建图形摘要，作为研究人员在写作*之前*明确论文核心逻辑和结构的一种工具。这种“涂鸦”可以指导写作过程，然后在发表前被丢弃。尽管作者个人持怀疑态度，但他承认期刊越来越多地鼓励或要求提供图形摘要，并建议创建者优先考虑清晰度，如果可能的话，再加入一点创造力——但一定要避免“碳蛇”（指糟糕的设计）。
对不起。
启用 JavaScript 和 Cookie 以继续。
## Sky 获得法庭命令以揭露IPTV用户身份
Sky 在爱尔兰获得了一项法庭命令，以识别 300 名 Revolut 银行账户持有人，他们涉嫌通过盗版 IPTV 服务非法传输内容。 这效仿了英国采取的类似法律策略，利用“Norwich Pharmacal”命令迫使银行披露客户详情。
此举引发了关于针对订阅者合法性和道德性的辩论。 一些人认为，用户可能不知道他们正在从事非法活动，尤其是在价格低廉的服务中，这些服务被宣传为合法的有线电视替代品。 另一些人则认为，明知支付大幅折扣内容就应意味着意识到存在不法行为。
评论员将此与过去灰色市场技术的实例进行了比较，并强调了消费者在验证服务合法性方面面临的困难。 一个反复出现的问题是，版权侵权虽然在技术上并非“盗窃”，但仍然会损害创作者的利益，重点应该放在追究*提供*非法流媒体的人，而不是最终用户。 有些人甚至认为，历史上，盗版曾刺激了 Spotify 和 Crunchyroll 等合法流媒体服务的创新。
## Crazierl：一个冒险的 Erlang 操作系统演示 Crazierl 是一个实验性的 Erlang 操作系统，可以通过模拟器 (v86) 在浏览器中直接运行。其主要特点是可以与朋友连接到一个分布式集群，只需共享一个带有共同标签的 URL。 **但请注意重要的安全警告：** Crazierl 缺乏连接节点之间的安全性，使用未加密的通信，并依赖于第三方中继服务。**连接到未知人员存在严重风险——恶意用户可能会获得对您系统的控制权，甚至可能控制您的浏览器。** 此演示仅供受信任的连接使用，不符合加州数字年龄保证法等数据隐私法规。用户在继续之前确认了解这些风险。连接后，您可以尝试 `chat:start()` 函数。
## Ohm v18：一个速度提升50倍的解析工具包
Ohm 是一个 JavaScript/TypeScript 解析工具包，现在版本 18 带来了重大性能升级。核心解析引擎已完全重写，与先前版本相比，速度提高了 50 多倍，内存使用量减少了 10%。
这种加速源于将 Ohm 语法（基于解析表达式语法或 PEG）编译成 WebAssembly。v18 不再*解释*解析表达式树 (PExpr)，而是*编译*它。关键优化包括 WebAssembly 线性内存中的具体语法树 (CST) 的 bump 分配器，从而减少开销并改善内存管理。
进一步的增强包括块稀疏记忆化（缓存规则应用）、参数化规则的静态特化以及优化的空格跳过——避免在处理空格时创建不必要的节点。这些技术以及较小的改进，如规则内联和预分配节点，都有助于实现显著的收益。
Ohm v18 通过 npm 提供 beta 版本，为构建解析器、解释器和编译器提供强大而高效的解决方案。团队欢迎在 Discord 或 GitHub Discussions 上提供反馈。
对不起。
## ChatGPT 的机器人检测：深入了解 Cloudflare Turnstile 最近对 ChatGPT 机器人检测系统 Cloudflare Turnstile 的分析显示，其加密方案出乎意料地薄弱，并且进行了一个全面的指纹识别过程。研究人员解密了嵌入在 ChatGPT 网络流量中的 377 个 Turnstile 程序，发现它超越了简单的浏览器指纹识别。 Turnstile 评估浏览器特征（WebGL、硬件、字体）、Cloudflare 网络数据（IP 位置）和完全渲染的 ChatGPT React 应用程序状态这三个层面的 55 个属性。至关重要的是，它会验证一个*完整*的 React 应用程序启动 – 无头浏览器或不完整的渲染将会失败。 “加密”依赖于一个简单的 XOR 密码，密钥公开嵌入在程序的字节码中，使得解密变得简单直接。这使得观察确切的指纹识别清单成为可能。 除了指纹识别之外，Turnstile 还利用“信号协调器”来跟踪用户行为（击键时间、鼠标移动）以及工作量证明挑战。然而，其核心防御在于验证一个真实、完全加载的应用程序环境。 虽然混淆会阻碍随意检查，但分析表明该系统并非具有密码学安全性，而是依赖于通过混淆和动态检查来实现操作安全。该研究强调了一个隐私问题：生成密钥的服务器固有地可以访问指纹数据。
## Glupe：面向代码未来的语义元编程
Glupe 是一种新颖的“元”编程语言，它操作于*意图*而非语法之上，将人类定义的逻辑翻译成 40 多种目标语言的代码。与传统的元编程不同，Glupe 旨在抽象掉特定于语言的细节，确保代码在不断发展的技术中保持可移植性——解决“在我机器上可以运行”的问题，但针对的是*时间*，而不仅仅是环境（就像 Docker 解决空间问题一样）。
用户使用纯文本和特殊块 (`$$...$$`) 定义程序，以指定用于 AI 驱动代码生成的部分。这允许开发者在利用 LLM 处理实现细节的同时，保持架构控制，并安全地隔离 AI 逻辑。Glupe 通过与 LLM 的反馈循环来协调代码生成、编译，甚至错误修正。
主要特性包括对本地和云端 LLM 的支持、自动构建检测（Makefile、CMake 等）以及用于修复代码、生成文档甚至基于终端的技术支持的实用命令。Glupe 本身不是编译器，而是一种连接意图和实现的工具，可以加速原型设计并降低软件工程的门槛。它在 [GitHub](https://github.com/alonsovm44/glupe-tutorial) 上可用，并提供适用于 Windows、Linux 和 macOS 的简单安装指南。
## Hacker News 上关于 “Glupe” 的讨论摘要
一位开发者分享了 “Glupe”，一个旨在弥合伪代码和 LLM 生成代码之间差距的新系统。其核心思想是使用特定语法 (`$${ }$$`) 定义逻辑“块”，然后由 LLM 填充，从而提供一个潜在的版本控制抽象层，位于生成的代码之上。
然而，该项目收到了大量负面反馈。 担忧集中在其必要性上——许多人质疑为什么这个系统比直接向 LLM 提供伪代码更好。 一个主要问题是 LLM 的非确定性，破坏了可靠、可重现代码的目标。
几位评论员指出该项目的 README 组织混乱，缺乏对它所解决问题的清晰解释。 还有人指出 “Glupe” 这个名字在斯拉夫语言中带有负面含义。 对于依赖像 LLM 这样年轻的技术来定义核心软件，以及考虑到 LLM 可能引入的错误而产生的安全性问题，人们表示怀疑。 有人认为这只是“带有额外步骤的氛围编码”。
尽管有人对更结构化的 LLM 集成方法表现出兴趣，但总体情绪是 Glupe 目前还没有提供一个引人注目的解决方案。
由于政治预算僵局和由此导致的人员配置问题，航空旅行陷入混乱，促使作者乘坐Amtrak的克雷森特列车从亚特兰大前往华盛顿特区观看NCAA锦标赛。这段650英里、14.5小时的旅程成为对人们常常认为理所当然的便利设施的反思，特别是政治和基础设施对日常生活的影响。
火车提供了一种更慢、更可靠的旅行体验，避开了机场安检线和延误。它也展现了美国社会的多样化截面，穿越不同的景观，与过去种族隔离的铁路旅行形成鲜明对比。
这段旅程突出了铁路在美国发展中的历史作用，从亚特兰大作为铁路枢纽的起源，到客运铁路衰落并被汽车和航空公司取代。尽管缺乏现代设施，火车却提供了一种社区感和自由感，在政治僵局中成为一种受欢迎的替代方案，并提醒人们美国生活的相互联系。即使在旅途中达成了一项资金协议，政治僵局仍在继续，强调了政策对即使是最简单的旅程的持续影响。
## 认知黑暗森林 本文反思了互联网如何从一片充满机遇的开放草地，演变成一个“黑暗森林”——一个可见性会引来剥削的危险环境。最初，公开分享想法促进了创新；执行是关键，而连接则能放大成功。然而，企业和政府权力的整合，以及人工智能的兴起，改变了这一格局。 现在，由于人工智能，执行变得廉价，而*被注意到*的成本却在上升。大型平台可以迅速复制创新想法，凭借雄厚的资本吸收独特性。与此同时，与中心化人工智能平台的每一次互动——每一次提示——都会暴露意图，为这些平台创建一张新兴想法的地图。 这形成了一种令人不安的动态：开放性滋养着威胁独立创新的实体。自然反应——退回到私有开发——具有讽刺意味地为“森林”提供了训练数据。抵抗不会被压制，而是被*吸收*，从而增强了主导力量。 作者承认，即使*描述*这种动态也存在悖论——这篇文章本身也会成为它所警告的系统的素材——强调无法逃离这片森林，只能在其中航行。