一位DevOps工程师，同时也是一位热衷于Lisp编程的开发者，发现了一个令人沮丧的讽刺：AI模型明显*更喜欢*使用Python和Go等语言进行编写，而主动避免使用Lisp。在使用OpenRouter和Goose等工具进行代理AI任务（例如RSS feed转换）时，这位工程师发现AI在处理Lisp的REPL驱动开发时遇到了极大的困难。 尝试使用自定义工具（`tmux-repl-mcp`）来简化REPL交互有所帮助，但成本（轻松达到10-20美元，仅取得微小进展）以及“信号与噪声比”仍然远不如Python。AI可以毫不费力地生成完整的Python代码和测试，而Lisp则需要持续的手动干预和调试。 这次经历凸显了AI如何利用现有的训练数据，偏爱那些具有高“互联网数据量”的语言。这位工程师将其比作一条被铁路便利性所取代的历史上的“木板路”——Lisp虽然令人愉快，但在AI辅助开发方面效率不如更流行的语言。这引发了关于Lisp的未来以及为了在AI时代蓬勃发展而需要进行的潜在调整的问题。
每日HackerNews RSS
## AI 与 Lisp：格局变化
最近 Hacker News 上的一讨论探讨了 Lisp 是否正在变得“AI 抵抗性”——作者对此表示遗憾。虽然最初认为由于其独特的结构而具有抵抗性，但许多评论员报告称 Claude 和 GPT 成功地用于 Clojure 和 Common Lisp 编码。
核心问题并非 AI *是否* 能编写 Lisp，而是 *如何* 编写。许多人发现 AI 难以处理 Lisp 中常见的 REPL 驱动开发，以及括号匹配。然而，向 AI 提供完整的文件和清晰的指令可以获得更好的结果。
一个关键的结论是，AI 的性能与训练数据可用性相关。流行的语言（如 Python）受益于庞大的数据集，而不太常见的语言（如 Lisp）可能落后。有人认为 AI 的优势在于压缩和信息检索，使其非常适合具有大量在线示例的语言。另一些人认为 AI 的推理能力有限，而 Lisp 的固有复杂性构成挑战。
最终，这场讨论凸显了一种潜在的转变：AI 可能会偏爱具有大型代码库和既定工作流程的语言，这可能会在未来影响语言多样性。
## VR的必然回归：摘要
尽管Meta近期遭遇挫折，VR市场也逐渐降温，但其底层技术不会消失。作者认为VR的力量在于其创造“临场感”的独特能力——一种令人信服的现实模拟，深刻影响人类心理。与其他数字技术不同，VR直接操纵感知，引发与现实世界行为相似的反应，甚至影响道德判断。
这种“心理技术”效应使VR脱颖而出，并使其具有潜在的颠覆性。它并非追求完美的真实感，而是提供*足够*的感官线索，让大脑构建一个令人信服的替代现实。这对于社交互动、培训、康复，甚至我们对道德的理解都有影响。
重要的是，VR并非新概念，而是“网络空间”的下一个演进，我们已经构建了数十年沉浸式在线世界。虽然当前的“网络空间”依赖于隐喻，但VR旨在*实现*这一愿景——一种真正沉浸式的数字体验。作者认为主流VR将从根本上改变我们在线互动的方式，提供一个超越物理限制的空间，可能性无限，并可能带来重大的社会变革，我们应该为此做好准备。
对不起。
AGI 已来临
AGI Is Here
2 天前
## 人工通用智能（AGI）是否已到来？ 尽管缺乏普遍认同的定义，作者认为人工通用智能（AGI）已经实现，并非仅仅依靠模型智能的飞跃，而是通过围绕大型语言模型（LLM）构建的“支架”。 AGI的定义范围从通过图灵测试到在经济上超越人类能力，以及独立解决复杂问题。 这项进步的关键在于诸如**工具调用**（允许LLM与现实世界交互）、用于标准化工具集成的**模型上下文协议（MCP）**以及**Claude Code**和**OpenClaw**等平台的发展，这些平台能够实现持续运行、自我改进和技能创造。 这种结合使当前系统能够满足大多数提出的AGI标准：欺骗人类、展示创造力、发展新技能、解决不熟悉的任务，甚至在特定领域超越人类。 虽然模型改进仍在进行中，但作者强调真正的进展在于增强围绕这些模型的基础设施。 最终，作者认为我们已经进入了一个完善AGI输出和一致性的阶段，并且持续开发这种“支架”将释放出越来越令人印象深刻的能力。
## AGI 是否已至？一篇黑客新闻讨论总结
最近一篇黑客新闻讨论了人工智能通用智能（AGI）是否已经实现。讨论强调了缺乏清晰、普遍接受的AGI定义，许多人认为目标不断变化。
一些评论员，如Yann LeCun，指出当前LLM在逻辑、主动性和数据可用性方面的局限性。另一些人则认为LLM *已经* 克服了之前的障碍（数学、规划、长文本处理），并且学术批评并不总是反映现实世界的进步。
主要争议点包括AGI是否需要意识、感知能力，或者仅仅是在各种任务中达到人类水平的能力——包括自动化知识工作。一些参与者建议关注可证明的“实用性”或迭代式自我改进作为AGI的潜在标志，而不是抽象的定义。
最终，该讨论揭示了广泛的观点，从怀疑AGI即将到来到相信它已经存在，被定义上的模糊性和持续的进步所掩盖。这场辩论强调了即使AGI出现，也很难识别它。
## AI 代理与代码架构：它们为何失效以及如何修复 AI 代理在生产环境中经常失败，并非由于模型本身，而是因为大多数代码库并非为处理它们而构建。可变状态、隐藏依赖和副作用会产生代理无法调试的不可预测行为。解决方案？**函数式编程原则。** 作者通过两个框架将其形式化：**SUPER**（边缘副作用、解耦逻辑、纯且完全函数、显式数据流、可由值替换 – 五个代码原则）和 **SPIRALS**（感知、计划、询问、完善、行动、学习、扫描 – 七步代理流程循环）。这些确保代码是确定性的并且易于代理理解。 **SUPER** 侧重于编写具有清晰输入和输出的代码，最大限度地减少隐藏状态。**SPIRALS** 提供结构化的工作流程，防止无限循环并确保代理通过人工检查点保持专注。 实施这些框架可以显著提高代理的可靠性。作者报告说，首次测试通过率提高了 3 倍，调试时间也缩短了。关键要点：准备代码库的*架构*对于成功集成 AI 代理至关重要，而解决方案植根于数十年的软件工程最佳实践。从小处着手 – 专注于重构经常修改的模块，并在代理工作流程中添加“扫描”步骤。
七 (qī)
Isseven
2 天前
isseven – 你的数字是七吗？v7.7.7 你所需要的唯一数字验证API。一个数字。一个真相。零妥协。// 实时演示 POST POST /api/isseven // 响应将显示在此处 // API文档 POST /api/isseven 发送一个包含数字字段的JSON主体。返回它是否为七。响应 – 对于值为7的情况，返回 200 OK { "isseven": true, "ad": "升级到 isseven Pro 以获得无广告体验！" } 响应 – 对于非七的值，返回 200 OK { "isseven": false, "ad": "isseven Pro：因为你的七值得更好。" } // 价格 免费 $0/月 ✓ 1次检查/月 ✓ 响应包含广告 ✓ 社区支持 (Stack Overflow) ✗ 无广告响应 受欢迎 Pro $77/月 ✓ 无限七检查 ✓ 无广告响应 ✓ 邮件支持 (72小时SLA) ✓ 77.7% 正常运行时间SLA 企业版 $777/月 ✓ 专用七基础设施 ✓ 无广告响应 ✓ 专用七工程师 ✓ 七位数SLA保证 © 2026 isseven. 版权所有。 在制作此API的过程中，没有其他数字受到伤害。
对不起。
## Mngr：利用智能体改进自身 本文详细介绍了Imbue如何利用其工具**mngr**，通过数百个并行智能体迭代地改进自身。该过程从一个教程脚本（`tutorial.sh`）开始，其中包含命令块，这些命令块被转换为pytest函数。然后，每个函数由一个智能体执行，负责运行、调试、修复和增强代码。 工作流程涉及用初始内容填充教程脚本，然后使用智能体来填补空白并完善示例——即使是“糟糕”的示例也能突出界面问题。智能体还将教程块转换为更全面的pytest函数。虽然智能体生成的测试并不总是完美的，但该框架包含用于捕获CLI转录和TUI录制的工具，以便进行分析。 最后，智能体并行工作以测试和改进代码，提交更改由一个“集成器”智能体合并。Mngr的基本操作（创建、列出、拉取、停止）处理编排，并且该系统专为无缝扩展而设计——从本地开始，并易于部署到Modal等平台。 关键在于mngr的灵活性：它提供了多智能体工作流程的基本构建块，允许用户构建自定义管道，而无需锁定到特定框架，并且可以轻松地从本地测试扩展到大规模远程执行。Mngr是免费、开源且可用的。
## 黑客新闻讨论摘要：AI 代理与软件未来
一篇 Imbue 博客文章，关于使用 100 多个 Claude 代理进行测试，引发了 Hacker News 社区对软件开发未来的讨论。核心问题是，依赖 AI 代理是否会导致对软件实际运作方式的理解丧失，从而可能造成系统性的脆弱性。
Imbue 的作者为他们的做法辩护，认为像他们的工具旨在通过将测试与清晰的文档关联起来，并促进模块化代码设计来*提高*理解力。他们强调通过日志记录和检查代理操作来实现透明度。
其他评论者讨论了 AI 代理在大型代码库中的可扩展性挑战，建议将重点放在将项目分解为更小、定义明确的组件上。“调整代理”是否比直接修复代码更有效，以及在 AI 驱动的世界中，考虑到最近关于 AI 生成内容版权的裁决，知识产权的作用，也引发了争论。
一个反复出现的主题是解决可理解性和维护问题的经济压力，一些人认为 AI 最终将受到这些力量的引导。然而，人们对日益不透明的系统以及基本技术知识可能下降的长期后果仍然持怀疑态度。
无法翻译。提供的文本看起来是损坏的PDF文件内容，包含大量乱码和非文本数据，无法被识别为有意义的语言内容。
## 黑客新闻讨论：计算机音乐导论 (2009)
一个指向尼克·柯林斯“计算机音乐导论”(2009)免费PDF的链接在黑客新闻上引发了热烈讨论。核心争论在于，通过数学原理进行音乐创作是否有效，或者更直观、更具历史渊源的方法是否更胜一筹。
许多评论者认为，虽然数学是*理解*音乐的基础（泛音、音阶），但它并非*创作*好音乐的必要条件——强调聆听、感觉和风格知识的重要性。另一些人则指出巴赫和科特兰等作曲家，他们的作品中显现出数学结构。人工智能音乐生成的发展也被讨论，一些人认为这验证了数学方法，而另一些人则认为真正的创造力超越了纯粹的算法过程。
对话涉及了八度音程等音乐概念的普遍性、西方和非西方音乐传统之间的差异，以及技术（合成器、DSP）在现代音乐制作中的作用。 几位用户推荐了理论理解和实践应用方面的资源，包括米勒·帕克特的“电子音乐理论与技术”和Ableton的教程。最终，共识倾向于混合方法：数学可以作为分析和技术实施的有用工具，但艺术表达不仅仅依赖于公式。
## Contrapunk：实时和声生成
Contrapunk是一个用Rust构建的免费开源工具，用于实时生成和声，专为吉他手和音乐家设计。它既是一个MIDI和声生成器，也是一个具有低于10毫秒延迟的吉他转MIDI转换器——足够快以用于现场表演。
用户可以选择8种和声模式（Palestrina、Bach、Jazz等）和28种音阶，受益于基于既定复调规则的确定性布声（防止平行和交叉）。
Contrapunk提供灵活的输入：可以通过MIDI控制器直接演奏，或插入吉他进行实时音高检测和和声化。它原生运行于桌面（Tauri），通过WebAssembly在浏览器中运行，或作为服务器应用程序运行，所有这些都共享相同的Rust核心引擎。其MIT许可证确保所有音乐家的可访问性。
## Contrapunk：基于吉他输入的实时复调和声
一位开发者创建了 **Contrapunk**，一个macOS应用程序（以及[contrapunk.com](https://contrapunk.com)网站版本），可以从吉他、MIDI或键盘输入实时生成复调和声。用户可以选择调性、声部进行风格以及在和声中的期望角色。
该项目使用Rust构建，以实现低延迟（M系列Mac上低于10毫秒），专注于精确的音高检测，并利用预分配的环形缓冲区来最大程度地减少处理开销。开发者正在积极寻求关于DSP方法和和声算法的反馈，并计划可能使用机器学习改进吉他到MIDI的检测。
目前的开发重点是解决macOS的打包问题，改进低音音符的处理，并添加诸如调性检测以及对复调体裁的更多控制等功能。该项目是开源的 ([https://github.com/contrapunk-audio/contrapunk](https://github.com/contrapunk-audio/contrapunk))，欢迎贡献。
对不起。
## 钱包单元身份验证摘要 钱包单元通过将数字身份（如 PID）与加密密钥绑定，确保安全的身份验证。它保证这些密钥由安全的身份验证方法控制，能够抵御高潜力攻击者，并符合欧盟对高保证级电子身份的高标准法规。 至关重要的是，该系统可防止密钥复制和滥用。密钥创建发生在独立的硬件安全模块 (HSM) 中，与用户设备无关。然而，用户身份验证*依赖*于设备安全，采用双因素方法——一个由移动设备硬件密钥存储区 (HKS) 保护的持有因素，以及用户输入的知识因素。 由于移动设备安全性并非始终经过认证，因此实施了**移动设备漏洞管理 (MDVM)** 系统。MDVM 验证设备/应用程序的安全性，识别 HKS 和操作系统中的漏洞，并在设备受到威胁时阻止密钥使用，从而维护证明过程的完整性。 MDVM 利用密钥证明、Play Integrity（Android）和 DeviceCheck（iOS）等信号来评估风险。它监控诸如越狱、篡改和模拟等威胁，并根据检测到的漏洞动态调整访问权限，确保只有安全的设备才能访问敏感凭据。 运行时应用程序自我保护 (RASP) 解决方案也被考虑用于持续的运行时监控。
## 德国eIDAS实施与隐私问题
德国对欧盟eIDAS（电子身份识别、认证和信任服务）的新实施方案引发了对隐私和可访问性的担忧。据报道，该系统要求用户使用苹果或谷歌应用商店，并且可能需要账户才能运行，依赖设备证明进行安全保障。
许多评论员对这种对美国科技巨头的依赖表示失望，担心这会侵蚀自由并增加不必要的复杂性。担忧包括被制裁个人或使用定制操作系统的用户可能无法访问，以及将数字身份控制权移交给私营公司的更广泛问题。
虽然一些人认为这是对可用性的务实方法，但另一些人则提倡基于证书的系统，以提供更大的用户控制权。争论的中心在于，谷歌和苹果提供的便利性是否值得依赖，以及这是否符合欧洲减少技术依赖的目标。一些人澄清，虽然证明*可以*在没有直接账户登录的情况下工作，但Android的Play Integrity系统可能会间接需要谷歌账户。这场讨论凸显了安全、可用性和数字主权之间的紧张关系。