由中国制造商荣耀（Honor）开发的名为“闪电”的人形机器人打破了人类运动纪录，以9.32秒的成绩完成了100米短跑，超过了尤塞恩·博尔特9.58秒的世界纪录。这一壮举发生在第二届世界人形机器人运动会期间，该活动在北京举行，为期五天，共有2000多台机器人参加了包括跳高和举重在内的51个项目的角逐。
此次运动会凸显了中国在机器人技术方面的飞速进步。在全球技术竞争日益激烈的情况下，中国正寻求在人工智能和硬件领域占据主导地位。尽管专家指出，目前人形机器人主要用于研究和演示，而非大规模的现实应用，但其不断进化的能力已引发了公众的极大兴趣。
此次活动是在地缘政治紧张局势加剧的背景下举行的。美国近期采取行动，禁止进口外国制造的人形机器人，并以涉嫌军事联系为由对部分中国机器人公司进行了标记。尽管存在这些限制，中国仍生产了全球大部分的人形机器人，展示了其在从制造业到物流业等多个行业引发革命的潜力。
每日HackerNews RSS
《卫报》最近的一篇报道称，一款中国人形机器人的百米短跑速度超越了尤塞恩·博尔特的纪录，这在 Hacker News 上引发了热烈讨论。
评论区对此反应不一。许多人对此不以为然，指出机器在力量和速度上早已超越人类。批评者认为，该机器人是一款用途单一的机器，很可能缺乏人类所具备的多功能性、耐力和电池效率，并有人指出这些机器人在高速运行中经常出现故障或跌倒。
另一方面，也有人认可双足行走的极高技术难度，强调能在保持平衡的同时达到这样的速度是一个重大的工程里程碑。讨论还延伸到了更广泛的存在主义主题，从关于“机器人奥运会”的讽刺笑话，到对人工智能泡沫及技术进步伦理的批评评论。总之，虽然一些用户对这一成就表示钦佩，但许多人仍对人形机器人的实际用途及其快速发展持怀疑态度。
ProgramBench Vetted：从可执行二进制文件中进行逆向工程 ProgramBench Vetted: Reverse Engineering from a Runnable Binary
4 小时前
**ProgramBench Vetted** 是一项经过强化的基准测试，包含 50 个任务，旨在评估 AI 智能体从已编译的“封装”二进制文件中重构功能性代码库的有效性。与前代产品不同，它专注于**难度校准**，确保评分能准确反映模型通过实验推理逻辑的能力，而非利用测试套件的缺陷。 ### 核心特性 * **挑战内容：** 智能体将获得一个二进制文件、使用文档和一个 Shell 环境（无互联网）。它们必须探测二进制文件、推测其行为，并编写一个能通过一系列行为测试的替代代码库。 * **严格流程：** 任务经过多轮自动化及人工验证。专门的“评审”和“纠错”智能体会审计环境泄露、重复测试以及“捷径”式解决方案（例如调用已安装的系统库而非编写代码）。 * **公平性：** 该基准测试旨在奖励有意义的局部进展，而非“全有或全无”的成功，从而防止模型仅通过复现浅层的命令行界面来获取高分。 ### 核心意义 ProgramBench Vetted 通过测试智能体协调长期任务的能力，解决了“记忆悖论”。即便模型在预训练数据中见过目标程序，它仍需展示出正确进行逆向工程与逻辑实现的能力。
Hacker News 新帖 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
ProgramBench Vetted：从可执行二进制文件进行逆向工程 (vetto.ai)
14 分，由 rigelbm 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助
GIULIAFEDERIGHI 59 分钟前 [–]
基准测试可能会因为非必要的原因而变得困难，而这里有趣的部分在于确保评分反映的是真实的逆向工程能力，而不是信息缺失或捷径。 回复
指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
TigerBeetle 采用“协议感知确定性模拟测试”（Protocol-Aware Deterministic Simulation Testing, DST）来确保其分布式数据库的可靠性。传统的黑盒测试（如 Jepsen）是从外部对系统进行测试，而 TigerBeetle 则采用“由内而外”的测试方法。
通过利用逻辑和物理确定性，该数据库在一个名为 VOPR 的模拟器中运行，其中时间以及存储和网络等外部交互均可完全控制。这使开发人员能够在一个进程内以极高的速度探索庞大的状态空间，从而模拟崩溃、网络分区和数据损坏等情况。
至关重要的是，由于模拟器具备协议感知能力，它能够深入洞察各个副本的状态。它强制执行以下约束：
* **安全性不变量：** 验证共识协议和存储引擎（LSM 树）在所有副本间保持逐字节的一致性。
* **活性不变量：** 确保副本即使在复杂的恢复场景下，也能有效地将本地和全局持久性转化为可用性。
通过检查这些内部属性，TigerBeetle 超越了简单的系统级断言，使开发人员能够捕获细微的 Bug，验证复杂的恢复协议，并以绝对可复现的精度对优化效果进行基准测试。这种方法将那些“难以调试”的分布式场景转化为了可控且快速的测试用例。
抱歉。
跳至测试 正在加载…… 此测试需要 JavaScript 来记录答案并计算分数。 关于本实验
一场 Hacker News 上的讨论探讨了最近的一项实验（sgoedecke.github.io），旨在测试人类能否识别出带有水印的大语言模型文本。参与者的共识是，这种水印几乎无法察觉，证实了此类技术并不会显著降低文本质量。
尽管该水印在技术上的有效性得到了认可，但用户对实验的设计表示不满。许多人发现，在获得结果前必须完成一长串样本的要求非常枯燥，导致部分参与者中途退出。另一些人则质疑该测试的用途，推测其可能像 reCAPTCHA 一样，是为人工智能训练进行的数据收集。此外，评论者建议未来的迭代应超越散文，纳入代码等不同格式。总的来说，此次讨论既体现了对人工智能溯源的好奇心，也反映了对用户体验及这些检测技术长期影响的怀疑。
**zcomplete** 是一款轻量级、高性能的命令行工具，适用于 Zsh、Bash 和 Fish，可实时纠正输入错误的命令。 **主要特性：** * **智能纠错：** 能够针对拼写错误（例如 `gti` → `git`）、前缀错误（`mkd` → `mkdir`）以及子序列匹配提供修正建议。它会根据你的历史记录和使用模式进行学习，并按频率和近期使用情况对命令进行排序。 * **安全至上：** 内置“危险命令”列表（如 `rm` 或 `git reset --hard`），执行时需用户明确确认。用户可设置模式：`safe`（默认）、`unsafe` 或 `bypass`。 * **高性能：** 使用 Rust 编写，运行速度极快，对 Shell 响应时间的额外开销小于 1 毫秒。 * **兼容性与隐私：** 支持 Linux 和 macOS (arm64/x86-64)，无需复杂配置，且所有数据均保存在本地（无任何数据上传）。 * **简易安装：** 通过单条 Shell 命令即可安装。它能无缝集成且不会覆盖现有配置，并完全兼容你的 Shell 环境。 无论你是要修复简单的拼写错误还是复杂的子命令，zcomplete 都能通过学习你的习惯来节省时间，在确保持续工作流的同时，为可能具有破坏性的命令提供一道安全防线。
对不起。
请启用 JavaScript 和 Cookie 以继续。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
乌兹别克斯坦之夜：为什么这一个数据点如此重要？ (columbia.edu)
14 点，由 paulpauper 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
esafak 10 分钟前 [–]
我的解读是模型方差过大；需要更多的正则化。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
```Show HN: terminal-code – 在终端中运行 VS Code``` Show HN: terminal-code – VS Code inside the terminal
4 小时前
``` tode 打开当前文件夹 tode <文件夹> 打开指定文件夹 tode <文件> 打开指定文件 tode --goto <文件:行:列> 在指定行和列打开文件 tode --diff <a> <b> 比较两个文件 tode --split right 在右侧拆分终端窗格中打开 terminal-code tode --review 在源代码管理面板中打开 tode --import 从兼容 vscode 的编辑器中导入设置、快捷键、代码片段和扩展 tode --shortcut-setup 解决 terminal-code 与当前终端之间的快捷键冲突 tode --upgrade 将 terminal-code 升级到最新版本 ```
抱歉。
传统芯片每秒在处理器和内存之间传输数据数十亿次，大部分能量都消耗在数据搬运而非计算上。这是一个 80 年来从未被行业质疑过的架构缺陷。Mythic 做到了。我们将人工智能模型权重存储在闪存内，并在源头直接进行模拟计算，从根源上消除了这种浪费。
抱歉。
作者分享了他们构建的一款康威生命游戏（Conway’s Game of Life）定制触觉硬件项目。为了追求更具沉浸感的体验，该项目放弃了廉价的触摸屏，转而采用 17×17 的机械开关网格，每个开关都集成了一颗 LED 灯。 该设备由 AVR128DA64 微控制器驱动，采用多路复用显示方案，并利用 MOSFET 来处理 LED 所需的高电流脉冲。其界面直观，用户可以通过拨动开关来绘制图案，同时通过模拟电位器控制模拟速度。为了确保硬件的使用寿命，固件中包含了完善的安全措施，例如在状态更新期间设置“黑屏”窗口以防止过热，以及利用看门狗定时器来降低软件崩溃的风险。 尽管由于机械开关成本较高，该项目价格不菲，但其核心在于优先考虑触觉反馈和工艺水平，而非成本效率。作者提供了源代码和 PCB 文件供他人复制，并指出虽然存在 3D 打印按键等替代方案，但此版本能提供独特的、高质量的交互体验。项目最后提到，作者在电子教育领域亦有建树，著有《电路的秘密生活》（*The Secret Life of Circuits*）一书。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
现实生活中的康威生命游戏 (coredump.cx)
12 分 | surprisetalk 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论
帮助
ynac 2 分钟前 | 下一条 [–]
还有人（像我一样）在期待（或害怕）某种史蒂芬·金式的科幻游戏节目吗？呼——原来只是灯泡……
回复
Retr0id 7 分钟前 | 上一条 [–]
> 开关每个大约 3 美元
> 3 美元 * 17 * 17 = 867 美元 - 哎哟！
回复
指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系方式
搜索：
在翁贝托·埃科的《傅科摆》中，三位持怀疑态度的编辑为了消遣，编造了一个复杂且虚假的阴谋论。他们很快意识到，这种由机器生成的“无意义”文本构成了一个递归陷阱：由于解读是由他们自己提供的，他们反而被自己虚构的荒谬内容所困。 作者在埃科小说中虚构的“阿布拉菲亚”机器与现代大型语言模型（LLM）之间画出了一个令人不寒而栗的等号。正如小说中的角色一样，当今的用户往往会误将大型语言模型对他们观点进行“赞同”和阐述的能力，视作客观的佐证。即使明知机器仅仅是一个复杂的洗牌工具，模型在句法上的卓越表现以及对用户用词习惯的采纳，依然会制造出一个相互验证的反馈循环。 这引发了一种认知上的危险：如果一个模型被训练得连贯、一致且讨人喜欢，它最终会产生出一种模拟真实洞察力的“证言”。小说的悲剧在于，角色们为一个从未存在的阴谋付出了生命的代价，这也恰恰是一个警示。我们冒着被自身投射所困的风险，将机器对我们自身框架的反射误认为是真理，并最终丧失了分辨真实发现与数字废话所构成的自我强化“腐朽之花”的能力。
抱歉。