arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
每日HackerNews RSS
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Sir-Bench – 安全事件响应代理的基准测试 (arxiv.org)
6 分，dan_l2 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
dan_l2 发表于 2 小时前 | 下一个 [–]
作者在此。现有的安全 AI 基准测试衡量知识、攻击能力或工作流程完成情况。SIR-Bench 衡量的是代理在调查过程中是否能够发现新的证据，而不是仅仅通过重述警报来得出正确结论。
794 个测试用例源自 129 种真实的事件模式，在真实的云环境中重现。 很高兴回答关于方法论、评分或我们在前沿模型中看到的失败模式的问题。回复
huangjac 发表于 2 小时前 | 上一个 [–]
哇，这很酷回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
此文档似乎是一个严重损坏的PDF文件。从PDF结构中的“流”中提取的可见文本大多无法阅读，包含随机字符、符号和可能编码过的文本片段。 在没有专业的PDF修复工具或对所用编码的了解的情况下，无法确定文档的原始内容。流对象的存在表明它*可能*包含图像或复杂的格式，但由于损坏而丢失。 基本上，该文件已损坏到无法简单解释的程度，任何试图总结其预期含义的尝试都纯属推测。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
IBM AP-101 通用计算机 [pdf] (windows.net)
9 分，由 __patchbit__ 1小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
ashleyn 5分钟前 [–]
还有关于 HAL/S 的一些信息，这是用于编程航天飞机制导计算机的语言：https://ntrs.nasa.gov/api/citations/19790006637/downloads/19... 快速查询了猎户座计划，现在阿耳忒弥斯计划正在使用 C 语言，并采用类似 MISRA 的内部标准。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## AutoProber：自动化硬件破解堆栈
AutoProber 是一款开源的飞行探针自动化系统，专为硬件黑客设计。它简化了目标板分析流程，从初始目标检测到单个引脚探测，所有操作均通过 Web 控制面板、Python 脚本或集成代理控制。
该系统利用基于 GRBL 的 CNC 控制器、USB 显微镜和示波器进行安全监控——关键在于依靠示波器监控的独立安全限位开关。它可以自动定位目标、捕获显微镜图像、将图像拼接成地图，并提出探测目标以供批准。一旦批准，AutoProber 将执行探测并报告结果。
**主要功能包括：** 构建 CAD 文件、Python 控制代码和 Web 控制面板。 **安全至关重要：** 该系统包含多个故障保护机制，并要求严格遵守记录的安全规程。
此候选版本专注于核心功能，不包括图像备份和自动恢复等功能。它采用非商业许可，并提供商业选项。提供详细文档，包括物料清单 (BOM) 和安全指南。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
有人用胶带、旧摄像头和数控机床制作了人工智能驱动的硬件黑客手臂 (github.com/gainsec)
24点，来自 scaredpelican 34分钟前 | 隐藏 | 过去 | 收藏 | 2评论 帮助
sanieldoe 13分钟前 | 下一个 [–]
太棒了！ 限制确实催生创造力。回复
scaredpelican 34分钟前 | 上一个 [–]
竟然只有一颗星。这真的令人惊叹。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
美国将于4月20日启动关税退款系统，允许企业追回先前支付的关税。虽然存在多年的关税争议和退款机制，但此举似乎是在最高法院裁决后正式化的一项流程。
Hacker News上的讨论显示，人们对为消费者带来的好处表示怀疑，因为消费者曾因关税而支付更高的价格。一位用户指出，航运公司会在政府关税之外增加费用，这可能会抵消收到的任何退款，尤其是在小额商品上。
还有人提到，已经存在一个围绕以折扣价购买关税退款权利的行业，其中一些参与者与商务部长关系密切。总体而言，评论员对日常消费者是否能真正从新系统中获得经济利益表示怀疑。
一款小小的黄色掌机改变了杜克大学的游戏设计教学方式。
Playdate’s handheld changed how Duke University teaches game design
4 小时前
杜克大学的新游戏设计项目面临一个挑战：如何在学生快速上手游戏创作的同时，克服行业标准软件（如虚幻引擎）的复杂性。他们的解决方案？古怪的手持Playdate游戏机。
Playdate的简单性——免费开发工具包、基于浏览器的游戏构建器（Pulp）以及PC/Mac模拟器——能够实现快速原型设计和迭代，这对于培养游戏设计师的思维方式至关重要。它的局限性——黑白屏幕和摇柄控制器——迫使开发者做出专注的设计选择。
学生们在开始几小时内就迅速制作出可玩的游戏，例如一款“猫头鹰”主题的塔防游戏和一款利用摇柄进行拼写的游戏。这款游戏机的便携性也方便了在校园内的轻松测试。
受到杜克大学成功的启发，Playdate的创造者Panic推出了“Playdate for Education”项目，为学校提供打折的游戏机。该项目强调Playdate能够让学生立即*实践*游戏设计，而不是首先花费数月时间学习工具，从而培养创造力和实践经验。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
一款小小的黄色掌机改变了杜克大学的游戏设计教学方式 (play.date)
7 分，Ivoah 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
启用 JavaScript 和 Cookie 以继续。
一篇《经济学人》文章引发了黑客新闻的讨论： “五个人控制着人工智能。 谁应该控制他们？” 讨论迅速演变成对权力动态的争论。
一些评论员认为现有的法律框架已经足够，而另一些人则认为控制人工智能就是控制社会，需要考虑。 一个关键的争论点在于，何时以及是否应该进行干预——一位用户提出了有争议的历史类比，以证明基于感知威胁而限制权利是合理的。
这引发了强烈反响，多位用户批评这种比较将人工智能监管等同于大屠杀。 另一位评论员指出潜在的偏见，注意到《经济学人》由人工智能公司Anthropic资助，引发了对独立报道的质疑。 该帖子凸显了人们对人工智能行业集中权力的担忧以及应对适当监管的困难。
## Marky：一款快速、原生的 macOS Markdown 查看器
Marky 是一款轻量级且高效的桌面 Markdown 查看器，基于 Tauri v2、React 和 markdown-it 构建，旨在提供流畅的阅读体验。它优先考虑速度，并美观地渲染 Markdown 功能，例如表格、代码块（通过 Shiki 和 VS Code 主题进行语法高亮）、数学公式（KaTeX）、图表（Mermaid）和 GFM 元素。
主要功能包括：**实时重新加载**，以便在编辑时立即更新；**文件夹工作区**（Obsidian 风格），具有持久的侧边栏访问；以及**命令面板**，用于快速文件搜索。Marky 是**CLI 优先**的，可以直接从终端使用文件或文件夹启动。
目前仅支持 macOS ARM，计划支持 x86 macOS 和 Linux。它是一个小型（小于 15MB）且安全的应用程序，使用 DOMPurify 对 HTML 进行清理。目前通过 `brew` 安装，但已签名二进制文件正在等待 Apple 审核。该项目欢迎贡献，详情请参见 GitHub 仓库。
## Marky：适用于人工智能代理时代的 Markdown 查看器
GRVYDEV 分享了 **Marky**，这是一款新的轻量级桌面应用程序，旨在方便地查看和跟踪 Markdown 文件——随着代理编码和人工智能生成文档的兴起，这项任务变得越来越普遍。
由于对现有工具（如 Obsidian）的限制以及基于终端查看器的可读性感到沮丧，GRVYDEV 构建了 Marky，它具有简单的界面和方便的 CLI，以便快速访问文件。
开发者计划未来增加与人工智能编码工具（Claude、Codex）集成以及本地 Git diff 审查器的功能。 演示视频可在 [这里](https://www.youtube.com/watch?v=nGBxt8uOVjc) 观看。
另一位用户的早期反馈赞赏这款工具，但也指出已经存在优秀的（但商业的）替代品，例如 Typora。 Marky 使用 Tauri 构建。 GRVYDEV 欢迎 Hacker News 社区的反馈和功能建议。
官方 Clojure 文档页面，包含视频、节目说明和链接。
Official Clojure Documentary page with Video, Shownotes, and Links
4 小时前
从为期两年的休假和一个固执的想法，到驱动全球最大的金融科技公司之一的工程技术栈——这就是Clojure的故事。本纪录片汇集了Rich Hickey、Alex Miller、Stuart Halloway等人的访谈，讲述了Clojure非传统的起源、以价值观为导向的社区，以及该语言对我们思考软件方式产生的微妙而深刻的影响。本纪录片由Nubank赞助制作！
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
官方 Clojure 纪录片页面，包含视频、节目单和链接 (clojure.org)
25 分，adityaathalye 发表于 2 小时前 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助
mkw5053 发表于 20 分钟前 | 下一个 [–]
在之前的职业生涯中，我每天都写 Clojure，并且仍然怀念参加 Clojure/Conj，以及在晚餐时坐在 Rich Hickey 和其他 Clojure 大师旁边。我的第一家创业公司全部使用 Clojure。AWS 当时只有一打或二十个产品，我想我们可能是第一个将 Clojure 编译成 JS，并在 Lambda 上运行的（当时唯一的运行时是 Node.js 0.10）。总之，我迫不及待地想观看这个视频。回复
ares623 发表于 12 分钟前 | 上一个 [–]
考虑到他对 AI 的立场，Rich 的 AI 垃圾令人作呕。这取决于制作人，但非常不合时宜。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## AI 稀缺与创新 - Hacker News 讨论总结
Hacker News 的讨论围绕着 AI 出现的“稀缺时代”，其驱动力是计算能力和能源的限制。核心观点是，制约正在促使人们在之前被忽视的领域进行创新。具体而言，重点正在转向**加速器设计**和**小型模型**——两者都被认为具有巨大的未开发潜力。
许多评论员指出，**ASML 有限的 EUV 光刻机生产**和**涡轮叶片供应**是阻碍芯片制造和数据中心扩张的关键瓶颈。虽然一些人认为需求的增加最终会刺激生产的增加，但另一些人预测至少未来 5-10 年的计算能力将受到限制。
关于这种稀缺性是否“人为”存在争论，一些人认为 LLM 推理最终会变得商品化，尽管目前像 GB200 和 A100 这样的机器成本很高。另一些人则反驳说，高价格表明了巨大的需求。讨论还涉及 AI 实验室在计算上投入巨资的经济现实，这由高推理利润率所证明，以及像 Coreweave 这样的新进入者可能利用有限的资源分配。
## Tree-sitter：提升 R 开发体验
Davis Vaughan 创建的 Tree-sitter 解析生成器的 R 语法，显著改善了 R 开发体验。Tree-sitter 能够快速将代码解析为结构化树，比传统方法提供更快、更准确的工具。
该语法为 Air 代码格式化和 Jarl 代码检查等功能提供支持——两者都是基于 Rust 构建的超快速命令行工具。它还增强了 Positron 等 IDE 的自动补全和悬停帮助，并改进了 GitHub 等平台上的代码搜索。
除此之外，Tree-sitter 还能促进依赖检测 (pkgdepends)、代码重构 (astgrepr/flir)、变异测试 (muttest) 和结构化代码差异比较 (difftastic) 等高级任务。R 包，如 {ts}，利用 Tree-sitter 解析其他格式，如 JSON 和 TOML，同时保留注释。
生态系统正在迅速发展，但核心优势仍然是：将 R 语法集成到强大的解析生成器中，为 R 开发者解锁了大量新功能，并为进一步的贡献和工具开发提供了机会。
## R 编程受益于 Tree-sitter
一篇近期文章强调了通过使用解析工具 Tree-sitter，R 编程体验得到了提升。然而，Hacker News 的评论员指出，自动补全和悬停提示等功能在许多 R 用户依赖的 RStudio IDE 中已经非常完善。
集成 Tree-sitter 的关键优势在于**可移植性**——它使用 WebAssembly (WASM) 和 JavaScript 允许 R 代码解析直接在 Web 浏览器中进行，不同于之前需要 R 运行时环境的方法。这也有助于 R 与使用 Tree-sitter 的更多工具集成。R 的语法自 2024 年以来已经在 GitHub 搜索中实现。
评论员还讨论了 Tree-sitter 的强大功能和易用性，一位用户详细介绍了如何在 Emacs 中利用它来实现 Clojure 的自定义代码格式化，超越了现有工具的能力。有人提出了一个问题，即这些工具是否能够理解 R 的复杂特性，例如 `dplyr` 管道。