每日HackerNews RSS

Lone Lisp 实现了生成器(也称为半协程),作为一种新的、高效的迭代基础,摒弃了分界符延续带来的性能劣势。虽然分界符延续功能强大,但涉及代价高昂的栈复制(`memcpy`),这对于循环和大型数据集来说是不可接受的。 解决方案是为生成器提供它们自己的栈,有效地创建可以交换栈而不是复制栈的协程。通过将切换限制在预定义的返回点(返回调用者),进一步将其完善为*半协程*,简化了实现并降低了认知负担。 生成器是在 Lone Lisp 机器中实现的,在应用期间利用栈交换。`yield` 原始操作捕获生成器的状态,恢复调用者的栈,并为恢复执行做准备。关键在于放置在栈上的“生成器分隔符”,以便轻松找到生成器的上下文。这避免了不必要的复制,并为在 Lone Lisp 中构建更复杂的迭代特性提供了坚实的基础。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 孤立 Lisp 中的生成器 (matheusmoreira.com) 6 分,由 matheusmoreira 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## HandyMKV:自动化光盘刻录与编码 HandyMKV 是一款旨在简化使用 MakeMKV 刻录 DVD/蓝光光盘,并使用 HandBrake 编码生成文件的效率工具。它通过自动化工作流程并支持在无头服务器上远程操作,解决了手动执行这些任务耗时且容易出错的问题。 主要功能包括:使用 MakeMKV 自动刻录,使用 HandBrake 编码,灵活的配置(简化的选项、HandBrake 预设或自定义文件),清晰的进度显示,以及并发处理以减少总时间。它还提供运行历史记录以供查看,以及强大的**自动化**功能——允许在编码后运行自定义脚本,并通过环境变量访问运行数据。 HandyMKV 支持 Windows、macOS 和 Linux,需要通过 `makemkvcon` 访问 MakeMKV 命令行,以及通过 `HandBrakeCLI` 访问 HandBrake 命令行。安装通过安装脚本或直接二进制文件下载简化。配置通过 JSON 文件管理,并支持多光盘刻录,每个光盘进行并发处理。 最终,HandyMKV 旨在通过创建一个统一、高效且可定制的光盘处理体验,来节省用户的时间和精力。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 HandyMKV 用于 MakeMKV 和 HandBrake 自动化 (github.com/dmars8047) 6 分,geerlingguy 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

最近的研究表明,最有效的AI工作流程模仿人类协作,特别是结对编程。研究人员发现,让像Claude和Codex这样的AI模型协同工作——一个作为编码者,另一个作为审查者——会产生出乎意料的强大结果。即使是不同的反馈也很有价值,并且会立即采取行动。 为了促进这一点,作者构建了“loop”,一个简单的CLI工具,它可以并行运行Claude和Codex,并在tmux环境中实现直接通信。这加速了反馈循环,并允许更主动的AI交互,同时仍然允许人类监督。 该实验强调了代理工作流程向“团队合作”转变,而不是纯粹的自动化。虽然前景可观,但关于人工交接和管理增加的变更量仍然存在挑战。作者鼓励多代理应用将代理间的通信作为核心功能,并在GitHub上分享该项目供他人探索。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Agent-to-Agent 配对编程 (axeldelafosse.com) 4 点赞 by axldelafosse 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Chroma Context-1: 训练一个自我编辑的搜索代理 (trychroma.com) 7 分,philip1209 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 https://x.com/trychroma/status/2037243681988894950 https://xcancel.com/trychroma/status/2037243681988894950 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Symbolica是一家总部位于湾区的、获得风险投资的研究型初创公司。如果您曾经因为思考深度学习之后会发生什么而辗转难眠,或者只是想参与构建机器学习的未来,我们期待与您交流。

一个黑客新闻的讨论集中在ARC-AGI-3基准测试的进展上,特别是Symbolica.ai模型在第一天据称取得36%的成功率。核心争论围绕着“辅助工具”的使用——一种帮助人工智能的工具——以及它对排行榜有效性的影响。 官方ARC-AGI-3排行榜不包括辅助工具的使用,但社区排行榜*确实*追踪使用辅助工具的结果。一些用户认为辅助工具是开发的关键领域,并主张设立一个专门的排行榜来反映这一点。另一些人则不同意,认为应该通过隐藏测试集的惩罚来解决通过辅助工具造成的过拟合问题。 一位用户询问了对Agentica SDK的经验,这是报告的成功中使用的辅助工具。尽管ARC-AGI-3技术论文中提到了它的存在,但指向包含辅助工具使用的社区排行榜的链接仍然难以找到。

Dobase 在你的服务器上运行。没有分析,没有追踪,没有第三方数据共享。一个 Rails 应用,一个 SQLite 数据库,一个 Docker 容器。这就是整个技术栈。在任何 VPS 上自托管。完全开源。内置实时协作。仅安装你需要的工具。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Dobase – 你的工作区,你的服务器 (dobase.co) 8 分,来自 frenkel 1小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 yodon 10分钟前 [–] 我能直接将邮件拖拽到看板或待办事项列表,像任务一样进行优先级排序,然后点击卡片或任务直接跳转到邮件消息,并在其线程上下文中查看吗?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## ATLAS:可自托管、媲美API模型的AI系统 ATLAS是一个新颖的系统,使用*冻结*的14B Qwen3模型和单个RTX 5060 Ti GPU,在具有挑战性的LiveCodeBench基准测试中达到了74.6%的通过率——显著优于先前版本。 这种性能可与GPT-5和Claude等昂贵的API模型相媲美,但具有关键优势:**无需微调,无需API调用,且完全自托管。** ATLAS通过智能地用三阶段流程封装冻结模型来运行:**PlanSearch**用于问题分解,**自我验证的改进**使用模型生成测试用例,以及**几何透镜**用于候选选择。 这种迭代过程,结合修复机制(PR-CoT),使其能够克服单次生成(single-shot generation)的局限性。 重要的是,ATLAS优先考虑数据隐私和成本效益——所有处理都在本地进行,仅产生电力成本(约$0.004/任务)。 未来的开发(V3.1)将侧重于提高速度,扩展基准测试覆盖范围到编码之外,并完善核心组件以实现更广泛的适用性。 该项目是开源的,旨在提高跨硬件配置的可移植性。

现在,只需500美元的GPU,在编码基准测试中就能超越Claude Sonnet模型,这归功于ATLAS模型和itigges22详细介绍的技术。ATLAS的通过率达到74.6%(而DeepSeek V3.2为86.2%),成本却显著降低——大约0.004美元,而DeepSeek的API访问费用约为0.002美元。 ATLAS的效率来自于生成多个代码解决方案,并使用一个“成本场”(一个小型神经网络)来预测哪个解决方案最有可能正确,*在*测试之前。该网络分析代码“指纹”(嵌入向量)以识别高质量代码,并能正确预测最佳解决方案88%的时间。 虽然基准测试结果令人鼓舞,但评论员指出实际可用性和效率的重要性。讨论还集中在硬件兼容性上,目前该设置依赖于Nvidia,但AMD显卡在AI性能方面正在提高。此外,还需要进一步研究token处理速度。

苹果公司已正式停产Mac Pro,已从其网站上移除,并确认未来不再计划任何硬件迭代。这款最初于2019年发布,并于2023年更新至M2 Ultra的现有设计,日益过时且昂贵,尤其是在更强大且更具成本效益的Mac Studio问世之后。 苹果公司显然将Mac Studio(可配置M3 Ultra芯片)定位为其旗舰专业台式机。此举简化了苹果的台式机产品线至三种型号,以及丰富的笔记本电脑选择。 这一决定被视为一个合乎逻辑的步骤,避免提供性能不足、价格过高的产品。最近的macOS更新,例如通过Thunderbolt 5实现的低延迟RDMA,进一步支持了需要极致性能的用户使用多台Mac Studio的工作流程,有效地取代了Mac Pro的定位。虽然一些忠实用户会感到失望,但停产标志着苹果致力于打造专注且具有竞争力的Mac产品线。

## Mac Pro 停产:摘要 苹果已停产 Mac Pro,且没有未来硬件计划,引发了 Hacker News 上关于放弃可扩展、专业级电脑的讨论。许多评论员认为,这标志着苹果不再为需要通过 PCIe 插槽进行广泛定制的用户提供服务。 争论的中心在于 Apple Silicon 的能力。使用 M 系列芯片,专用 GPU 的必要性降低,外设现在通过 USB-C/Thunderbolt 连接。一些人认为 Mac Studio 是自然的继任者,在更小的机身中提供强大的性能。另一些人则哀叹升级能力的丧失以及“芝士刨”Mac Pro 的可扩展性遗产,回忆起过去与 PC 组件兼容性相关的挫折。 一个反复出现的主题是苹果优先考虑封闭生态系统和易用性,而不是专业级的定制。虽然承认 Mac Studio 的强大功能,但用户担心会被推向 Linux 或 Windows 等替代方案,以满足真正的工作站需求。停产凸显了苹果对“Pro”定义的转变,可能更侧重于“Prosumer”工作流程,而不是对扩展性要求高的系统。

*Upper Deck Co. v. Pixels.com LLC* 案件的核心在于,Pixels公司是否通过允许用户上传和销售迈克尔·乔丹交易卡图像,侵犯了Upper Deck公司的知识产权——包括Upper Deck公司拥有的图像授权以及相关的全息图标记。即使复制品缺少实际的全息元素,Upper Deck公司也主张侵犯了乔丹的图像和全息图。 法院驳回了Pixels公司在大多数诉讼请求中的简易判决动议。尽管法院承认复制的图像并非以“正品”呈现(因为缺少全息图),但其认为有足够的证据表明存在潜在的商标侵权和虚假广告行为,可以继续进入审判阶段。有利于Upper Deck公司的因素包括其商标的强大性、所用商标的相同性,以及正品卡片与Pixels公司70美元复制品之间的巨大价值差异。 重要的是,Section 230免疫原则在此案中存在分歧:Pixels公司在宣传侵权商品和提供搜索工具方面受到保护,但其进行的印刷品制造和销售本身不受保护。法院主要避免了关于商品化权利和历史展示的更广泛问题,而是专注于商标法的技术层面。最终,除非达成和解,此案很可能进入审判阶段。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 当全息图商标不存在时,它意味着什么? (ericgoldman.org) 7 分,来自 hn_acker 1 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 hn_acker 1 小时前 [–] 完整标题是:> 当全息图商标不存在时,它意味着什么?– Upper Deck v. Pixels 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一位联邦法官暂时阻止五角大楼将人工智能公司Anthropic列为供应链风险,法官认为此举侵犯了该公司的第一修正案和正当程序权利。这场争议源于Anthropic拒绝在其Claude AI模型中移除安全防护措施,特别是防止其用于自主武器和大规模监控——五角大楼希望解除这些限制,以便用于“所有合法目的”。 法官丽塔·林裁定,五角大楼的行为似乎是对Anthropic公开立场和与政府意见不合的反击,称这种认定是对该公司进行“奥威尔式”惩罚的企图。该标签威胁到Anthropic与政府的联系,并危及重要的合同。 这项裁决是针对皮特·赫格塞斯部长积极运用政府权力的司法挑战的最新案例,此前已有类似裁决保护了记者和一位参议员的言论自由。Anthropic欢迎这一决定,并仍然专注于与政府合作进行安全的AI开发,而五角大楼可能会对裁决提出上诉。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 法官阻止五角大楼试图以供应链风险标签“惩罚”Anthropic的企图 (cnn.com) 49点 由 prawn 59分钟前 | 隐藏 | 过去 | 收藏 | 2评论 帮助 comrade1234 2分钟前 | 下一个 [–] 我确信合同很快就会开始涌入。回复 JohnTHaller 6分钟前 | 上一个 [–] 看到对专制政策的一些司法反击是好事。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

更多

联系我们 contact @ memedata.com