启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
一个在Hacker News上展示的新交互式模拟，允许用户使用神经网络控制虚拟苍蝇。该模拟由Claude.ai开发，包含一个迷宫模式，苍蝇必须在其中导航障碍物。用户可以调整网络的超参数来提高性能。
最初的报告指出，在移动设备上模拟存在问题，即“食物”（可能是导航的视觉提示）不可见。提供了一个更新的链接来解决更复杂的迷宫中的导航问题。
一位评论员认为，由于适应函数奖励早期避免，苍蝇可能更倾向于避免迷宫入口，而不是完成迷宫。该模拟以简单直观的形式，提供了对神经网络控制和进化算法的迷人视角。你可以在这里找到它：https://claude.ai/public/artifacts/5f7017c8-98fb-4d89-a32c-1...
我写了 Karpathy 说的 agentic AI 缺乏的手册。
I wrote the manual Karpathy said was missing for agentic AI
21 小时前
受到近期人工智能工具快速发展带来的压迫感启发，Nicola Sahar 创建了一份免费手册，介绍如何使用 Claude Code 等 CLI 代理构建高效的 AI 系统。该手册解决了不利用这些新工具力量的“技能问题”——本质上，是一种强大但未记录的“外星工具”，正在重塑编程。 它概述了“形态编程”的**九个第一性原理**，侧重于将自然语言视为代码，并构建适应性强、自主的系统。关键概念包括**形态性、抽象、递归和令牌效率**，以及有关系统设计、上下文工程，甚至与这些随机 AI 实体合作的心理学的实用建议。 该手册旨在为开发者提供对这个新领域的根本理解，提供示例命令并鼓励社区反馈以供未来开发。它在 MIT 许可下免费提供。
## Agentic AI “手册”与讨论总结
一位用户nick2837分享了一份关于代理AI编程的“手册”（github.com/nicolasahar/morphic-programming），灵感来自Karpathy的一条推文，声称它概述了使用Claude Code等AI代理提高生产力的模式。该手册侧重于九个关键概念：可塑性、抽象、递归、内部一致性、可重复性、形态复杂性、端到端自主性、token效率以及变异/探索。
然而，该提交引发了争论。许多评论者质疑该手册的价值，一些人将其斥为“幻觉般的胡言乱语”，并指出其中的不准确之处（错误的日期、代码错误）。一个关键的争论点是自然语言*是否*是新的代码，还是仅仅是请求代码的工具。
进一步的讨论表明，该手册本身是由AI生成的，这导致了对其诚实性和投入精力的批评。尽管存在怀疑，但有些人认为这些概念很有趣，而另一些人则开玩笑说AI领域发展迅速，创建持久的方法论是徒劳的。
## Daft Punk 的隐藏节拍：深入分析《Harder, Better, Faster, Stronger》
多年来，Daft Punk 的《Harder, Better, Faster, Stronger》一直被广泛报道为 123 BPM。然而，应用程序开发者 John Scalo 在完善他的实时 BPM 检测应用程序“Tempi”十年后，认为真正的节拍是 123.45 BPM——这是一个经过深思熟虑的细微细节。
标准的 BPM 检测软件依赖于复杂的算法，这些算法并不总是精确的。Scalo 的手动分析，即数节拍和测量时长，始终显示出 123.45 BPM 的数值。这种精确度意义重大，因为 Daft Punk 使用了能够支持小数 BPM 的音序工具——特别是 E-mu SP-1200、Akai MPC-3000 和 Emagic Logic，其中 Logic 甚至提供高达四位小数的精度。
与 123.45 的接近性引发了一种可能性，即 Daft Punk 故意选择了这个节拍，可能作为一种内部笑话。尽管他们对计算机在音乐创作中的使用存在相互矛盾的说法，但证据表明这是一个经过计算的决定，在标志性的曲目中隐藏了一个“彩蛋”超过 25 年。
## Daft Punk 的《Harder, Better, Faster, Stronger》及隐藏的 BPM 彩蛋
Hacker News 上的一则讨论探讨了一个关于 Daft Punk 热门歌曲《Harder, Better, Faster, Stronger》的有趣理论。这首歌的 BPM 正好是 123.45，一些人认为这并非是经过音乐选择的节奏，而是一个刻意的“彩蛋”。
该理论认为，BPM 反映了一种机器人般、制造感，呼应了歌曲关于自动化主题以及乐队在《星际迷航 5555》电影中作为机器人化表演者的形象。一位用户认为，这不同寻常的节奏源于一位经理简单地将连续数字输入到 BPM 字段中。
尽管存在争议——一些人认为这种精确性是巧合或是一种刻意、古怪的选择——但这场讨论凸显了 Daft Punk 对细节的细致关注以及在其作品中隐藏层面的偏好。进一步的分析揭示了歌曲的节奏和节拍数中潜在的数字学联系。该帖子还延伸到关于 BPM 检测准确性、模拟录音技术以及 Daft Punk 更广泛的艺术方法的讨论。
## 特斯拉销量下降与马斯克的影响 - Hacker News 摘要
特斯拉2025年销量下降9%，连续第二年出现下滑。Hacker News上的讨论集中在导致这一现象的原因上，许多人将其归咎于埃隆·马斯克日益具有争议的公众形象以及他对人工智能和机器人技术的关注转移。
一些评论员指出，尽管销量下降，特斯拉的股价仍然很高，质疑其作为汽车制造商的表现是否能证明这一价格。另一些人强调该公司在电池和能源解决方案方面的长期投资，作为潜在的未来增长领域。
一个主要担忧是特斯拉缺乏新车型以及在与其它电动汽车制造商（尤其是比亚迪）竞争中遇到的困难。一些人认为特斯拉对政府补贴的依赖正在减弱，从而影响未来的销量。关于马斯克进军机器人等领域是否现实或仅仅是分散核心业务问题的注意力，也存在争论。最终，许多人对特斯拉的未来表示怀疑，理由是其设计过时、Cybertruck的反响平平，以及品牌因其首席执行官的行为而日益受损。
## Linux内核安全流程：概要 Linux内核安全流程优先考虑快速修复漏洞并公开发布补丁，以完全透明的方式运作——安全团队本身不会发布任何公告。报告会提交给一个专门的、志愿者内核开发者团队，他们会对问题进行分类，并与子系统维护者合作进行修复。 关键点： * **被动响应，而非主动预防：** 团队专注于*修复*报告的漏洞，与更广泛的内核自我保护工作分开。 * **仅限纯文本：** 报告*必须*以纯文本电子邮件的形式发送到安全别名，避免使用附件或格式化。 * **独立运作：** 团队成员独立运作，在问题解决之前无法透露讨论内容，确保各国之间的独立性。 * **通常不实行禁运：** 修复会迅速合并，禁运时间限制在7天内，且很少使用。 * **CVE单独处理：** CVE分配由一个*不同的*团队在修复公开发布*之后*进行。 * **硬件例外：** 复杂的硬件相关问题需要一个受限制的、加密的列表，并且勉强容忍禁运，开发者对此过程并不喜欢。 核心理念，由Linus Torvalds于2008年建立，是所有漏洞修复都很重要，将某些漏洞标记为“安全”具有误导性。因为任何内核漏洞*都可能*根据使用情况成为安全问题，所以团队专注于快速修复所有漏洞，并将漏洞评估留给最终用户。
## Linux 内核漏洞报告与安全讨论
一则 Hacker News 讨论围绕着 Linux 内核开发团队认为“漏洞就是漏洞”，不特指为“安全漏洞”的立场。许多评论者强烈反对，认为这种做法不成熟且可能造成损害，因为它有淡化关键漏洞的风险。
核心争论在于将漏洞归类为安全相关是否有帮助或有害。一些人认为这可以避免“为攻击者画一个霓虹灯标志”，而另一些人则认为这对于优先级排序和适当处理至关重要——包括专门的披露流程和禁运修复。
进一步讨论的点包括 HTTPS 的重要性（即使对于静态网站），中间人攻击的可能性，以及*任何*内核漏洞的内在安全影响，即使是看似微小的漏洞，例如崩溃或内存泄漏。一些人认为 Linux 内核团队的观点源于他们的特定限制，而另一些人则批评这是一种有缺陷的理由。 讨论还涉及安全与整体系统功能之间的平衡，参考了 OpenBSD 的安全优先方法以及对漏洞修复进行整体考量的必要性。
## Uxn32：一款多功能的Uxn虚拟机模拟器
Uxn32是一款轻量级、单执行文件的Uxn虚拟机模拟器，兼容Windows（95-11）和Wine下的Linux。它设计简单，无需安装程序或依赖项。
主要功能包括：用于ROM安全的沙盒文件系统，具有单步执行、反汇编以及内存/堆栈检查功能的强大调试器，以及高DPI支持。Uxn32优先考虑性能，以全速运行Uxn程序并立即重绘，即使在高刷新率显示器上也是如此。它还通过抢占式执行防止冻结。
该模拟器具有高度的可适应性，可以使用从Visual C++ 6.0到Clang和GCC的现代版本的各种工具链进行编译。开发通过CMake简化，并且直接从源代码构建非常简单，只需三个C源文件和一个资源文件。最近的添加包括音频输出、控制台集成和图形调试器，持续开发重点是性能优化和资源监控。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Uxn32: Windows 和 Wine 的 Uxn 模拟器 (github.com/randrew)
34 分，ibobev 发表于 4 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
publicdebates 发表于 2 小时前 | 下一个 [–]
我从未想过我会对 Windows XP 的界面产生怀旧之情，毕竟它对 Windows 98 完美无缺的简洁实用设计进行了如此丑陋的扭曲。但现在我们到了这一步。回复
ravetcofx 发表于 2 小时前 | 上一个 [–]
Uxtal 是一个非常棒的平台，可以开发出稳定可靠的 ABI。它非常轻量级且稳定，但又很小众，真的感觉像一场反文化运动，对抗着主流的垃圾代码、氛围编码和 JS。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Jank：Clojure 遇见 LLVM
Jank 是一种新的通用编程语言，它构建为 Clojure 的一种方言，基于 LLVM，为 Clojure 基于 JVM 的方法提供了一个引人注目的替代方案。它旨在与 Clojure 具有很强的兼容性，保留其交互式、函数式和面向值的特性，但利用 LLVM 实现原生运行时性能和无缝的 C++ 互操作性。
主要特性包括默认的持久化、不可变数据结构，以及在需要时进行临时副作用。Jank 使用与 Clojure 相似的语法（注释以 `;` 开头），并提供核心函数来实现高效的不可变数据操作。
目前处于 Alpha 阶段，Jank 允许开发者直接调用 C++ 代码，从而释放性能优势并扩展可能性。该项目欢迎赞助，以支持进一步开发。您可以在“jank book”中找到更多详细信息和全面的指南。
## Jank Lang Alpha 版本总结
Jank，一种新的 Clojure 方言的 alpha 版本发布，在 Hacker News 社区引起了关注。由 Jeaye 开发，Jank 旨在成为 Clojure 的近亲，提供无缝的 C++ 互操作性，并可能扩展诸如 Carp 语言那样的渐进式类型等特性。
该项目的配套书籍可在 [https://book.jank-lang.org/](https://book.jank-lang.org/) 找到，开发者欢迎针对语法更正的 pull request。针对 Emacs 用户的开发工具（nREPL 服务器）正在进行中，目前受到 Clang 错误的阻碍。
目前，Jank 仍然是动态类型的，继承了 Clojure 的这一特性，但未来计划提供可选的静态类型模式。讨论还涉及 Clojure 本身现有的静态类型选项（core.typed）以及与 Carp 语言社区合作的可能性。alpha 版本的发布是项目开发一年后的一个重要里程碑。
此代码修复了VLC视频源的音频卡顿或在低端/旧设备上流式传输视频源几分钟后CPU占用率过高的问题。请在初始设置前查看readme.txt文件。资源 星标 观察者 分支。
一位Hacker News用户分享了一份批处理脚本（可在GitHub上找到），旨在让2011年的ThinkPad T420可靠地进行24/7直播。该脚本通过每30分钟自动重置VLC视频源，解决了OBS中的卡顿问题。
原作者正在进行Twitch直播（WaveLounge）来演示脚本的有效性。评论者建议进行常规维护，例如清洁风扇和重新涂抹散热膏，其中一人报告在完成这些操作后温度降低了20°C。另一些人质疑Windows本身是否是瓶颈，建议使用轻量级的Linux发行版作为更高效的替代方案，尤其考虑到旧硬件的安全更新可用性。该脚本旨在为旧笔记本电脑的直播用途注入新的活力。
列出、检查和探索OCI容器镜像、其层和内容。
List, inspect and explore OCI container images, their layers and contents
23 小时前
## Cek：探索OCI容器镜像，无需运行它们
Cek是一个命令行工具，用于检查OCI容器镜像*内部*的文件系统——无需运行容器。它允许您浏览文件、读取其内容并直接从本地守护进程（Docker、Podman、containerd）或远程注册表了解图层结构。重要的是，**cek从不执行容器。**
安装很简单，通过`go install github.com/bschaatsbergen/cek@latest`或克隆GitHub仓库即可。
主要功能包括：
* **镜像检查：** 查看摘要、大小、图层和架构等详细信息。
* **文件系统浏览：** 使用`cek ls`列出文件（合并或在特定图层/目录中），并提供过滤选项。
* **内容提取：** `cek cat`读取文件内容，可管道传输到其他工具进行分析或比较。
* **镜像比较：** 快速识别镜像版本之间的更改。
* **标签列出：** 发现仓库中可用的标签。
* **镜像导出：** 创建tar归档文件，方便共享或备份。
* **树形视图：** 可视化镜像的目录结构。
Cek优先考虑本地缓存（如果可用守护进程），以避免速率限制，并支持可配置的拉取行为（`--pull always`、`--pull if-not-present`、`--pull never`）。它无需root权限，并且与任何符合OCI标准的注册表兼容。
一个新的工具用于检查OCI容器镜像、层和内容已经在Hacker News上分享（github.com/bschaatsbergen）。讨论很快就凸显了现有工具的生态系统，它们服务于类似的目的。
流行的选项包括**Dive**（带有交互式终端界面）、**Google的Crane**和**Red Hat的Skopeo**。 许多评论者指出这个新工具使用了Google的`go-containerregistry`。 其他提到的工具是**Microsoft的Oras**、**regctl**和**Jon的oci.dag.dev**，用于层检查。
来自Podman团队的Skopeo，因其镜像管理能力以及检查功能而受到关注。 基本上，开发者有多种选择来探索容器镜像，复杂度和功能各不相同。
## POSSE：掌控你的在线内容
POSSE（Publish (on your) Own Site, Syndicate Elsewhere）是一种专注于**所有权和控制权**的在线发布策略。它优先将内容发布到你自己的网站*首先*，然后分享到像社交媒体这样的平台上的副本或链接。这确保了你保留作品的原始来源，避免对第三方服务的依赖。
**为什么选择POSSE？** 它减少了对可能改变或消失的平台的依赖，确立了明确的所有权，提高了可搜索性（你的网站托管原始网址），并允许利用其他平台的社交特性，同时保留控制权。重要的是，POSSE专注于与*现有*的朋友和受众建立联系，而不是追逐未来的平台采用。
**运作方式：** 通常，POSSE涉及从分享的副本链接回你网站上的原始帖子，帮助发现并可能提高搜索排名。存在工具和软件可以自动执行此过程，适用于Twitter、Facebook和Mastodon等平台。
**超越博客：** POSSE是IndieWeb运动的核心原则，不同于仅仅写博客或仅仅依赖社交媒体平台。它是一种强大、面向未来的在线存在方式，优先考虑在碎片化的数字环境中建立关系和内容所有权。
## POSSE：拥有你的内容，在其他地方分发
这次Hacker News讨论的中心是“POSSE”原则——**在自己的网站上发布，在其他地方分发**——作为一种夺回在线内容所有权的方式。 许多评论者提倡建立个人网站作为发布中心，然后将内容分享到Twitter、Mastodon和LinkedIn等平台。
核心论点是拥有自己的网站可以提供长期的稳定性和控制力，避免依赖可能不稳定的社交媒体平台。 虽然分发可以提高覆盖面，但人们承认不同平台上的互动方式不同，并且需要在每个社区中积极参与。
尽管有好处，但挑战依然存在。 由于API限制和反垃圾邮件措施，自动化分发正变得越来越困难。 在多个平台上维护对话非常耗时。 然而，像Posse Party这样的工具旨在简化这个过程。
值得注意的是，RSS订阅仍然是许多个人网站的重要流量来源，这证明了去中心化内容消费的持续相关性。 讨论还涉及语义网标准的重要性以及对更简单、更开放的集中式社交媒体替代方案的需求。