每日HackerNews RSS

正在重定向… 如果没有自动跳转,请点击此处。

```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我写了一个 bash 枚举器,因为我受够了 xargs (numerlab.org) 11 分由 wallach-game 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 ggm 9 分钟前 | 下一条 [–] find -print0 | xargs -0 -I {} "the {} iterated command" 回复 1 小时前 | 上一条 [还有 2 条] [已失效] figmert 11 分钟前 | 父评论 [–] 你见过 parallel 吗?回复 考虑申请 YC 2026 年秋季批次!申请开放至 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

您好,请提供您需要翻译的具体内容。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: 旧金山 Grace 大教堂的沉浸式高斯泼溅漫游 (vincentwoo.com) 12 分,akanet 发布于 1 小时前 | 隐藏 | 往日 | 收藏 | 讨论 帮助 欢迎申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Kimi K3 等中国开源权重模型的出现,重新引发了关于人工智能经济学的讨论。尽管这些模型常被视为“免费”,但它们会产生巨大的推理成本——这标志着行业回归到了以最高效运营者胜出的传统大宗商品商业模式。 目前,由于算力供给受限,西方前沿实验室(如 OpenAI、Anthropic)仍能维持溢价。但随着算力规模的扩大,人工智能的智能水平终将实现大宗商品化。这种转变威胁到了前沿实验室当前依赖高利润和限制性访问的盈利模式。 此外,中国正战略性地利用“开放”来推动互补产品的商品化,并通过利用西方研究成果进行模型蒸馏,从而获得不对称优势。相反,美国目前对模型使用的限制——旨在提高安全性——却适得其反。由于禁止国内防御方使用顶级模型进行网络安全防护,美国在无意中迫使 Hugging Face 等公司不得不依赖中国替代方案来完成关键防御任务。 为了保持竞争优势,美国应将用于训练的数据使用合法化,禁止在服务条款中限制模型蒸馏,并优先确保国内防御方能够充分使用目前最强大的模型。

这篇 Hacker News 帖子讨论了中国人工智能模型带来的影响,涉及技术、经济和地缘政治等方面的考量。 辩论的核心集中在“蒸馏”(distillation)上——即利用大型前沿模型的输出结果来训练较小模型。一些用户认为,如果前沿实验室可以通过抓取互联网数据来构建模型,那么他们就不应被允许禁止他人蒸馏其输出。他们主张美国法律应将蒸馏和数据收集视为“合理使用”,以保持行业的竞争力。 技术怀疑论也在讨论中占据重要地位;评论者质疑“护城河”理论,即认为专业化智能体软件能提供可持续竞争优势的观点,他们认为底层模型才是真正重要的因素。 最后,讨论转向了国家安全。用户指出,随着华盛顿对中共影响力持续担忧,中国 AI 模型可能很快会面临类似于 TikTok 或华为所受的审查。虽然有些人担心美国可能失去市场主导地位,但另一些人更关心实际问题,例如高昂的推理成本,以及用可能无法通用的替代品来取代顶级模型的挑战。

以下是报告摘要: 计算机专家斯科特·拉尔森(Scott Larson)对“监视资本主义”进行了批判性审视。这是一种大型科技公司通过收集用户行为数据来构建预测性画像的商业模式。这些画像被出售给广告商和政治实体,旨在影响个人行为,且往往未经公众同意。拉尔森认为,这一过程——他将其描述为一场“知识政变”——削弱了个人自主权,威胁到民主价值观,并助长了威权主义的发展。 拉尔森主张,这些有害后果并非不可避免,而是某些特定企业策略的产物,这些策略利用了人类心理并侵蚀了人们的选择权。他指出,逃避责任和煽动数字愤怒等文化弊病是维持这一系统持续存在的因素。为了扭转这些趋势,他呼吁公众积极参与,采用注重隐私和开源的技术(如 Linux),并重新致力于维护个人能动性。 归根结底,拉尔森强调,要夺回我们的未来,需要个人承担责任、进行文明对话,并采取集体行动来监督强大的机构。他鼓励参与者不再被动消费,而是转向自觉、自主地使用技术,以捍卫自由社会的基石。

``` Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 觉知的力量:克服监控资本主义 (scottrlarson.com) 8 分 由 trinsic2 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 2026 年秋季班!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

Mozilla 已发布 Firefox 153,这是专为企业和教育环境设计的最新长期支持版本(ESR),旨在提供长期稳定性。 此次更新的一个重要亮点是引入了初步的 Vulkan Video 解码支持。这一跨平台接口为视频加速 API(VA-API)提供了一种现代替代方案,有望在不同供应商的硬件上实现更好的硬件加速,包括为 NVIDIA 用户提供更好的兼容性。 除了硬件方面的改进,Firefox 153 还对 PDF 处理进行了多项增强,并扩展了对 Windows 系统上 HDR 视频播放的支持。此次更新还延续了 Mozilla 在 JPEG-XL 图像格式上的工作,用户仍可通过“Firefox Labs”设置对其进行测试。发布版本现已可通过 Mozilla 的官方 FTP 服务器下载。

Firefox 已合并了对 Vulkan 视频解码的支持,该进展近期在 Bugzilla 和 Phoronix 上受到关注。此消息在 Hacker News 上引发了关于硬件加速解码效率的技术讨论。 虽然通常认为基于 GPU 的解码比软件解码更节能,但一些用户指出,在特定的 Linux/NVIDIA 配置下,硬件加速反而可能消耗更多电量。这引发了关于集成显卡(iGPU)与独立显卡(dGPU)之间效率权衡的讨论。参与者指出,使用独立显卡通常会产生额外的功耗,因为需要维持 PCIe 链路和显存的活跃状态,而集成显卡或软件解码在某些硬件架构下可能更节能。讨论强调了硬件加速的优势高度依赖于用户具体的 CPU 和 GPU 配置。

使用“规划”阶段来优化 AI 编程任务(即由高端模型编写计划,再由低成本模型执行)往往效率低下且适得其反。由于智能体的成本主要随读取的标记(上下文)数量而增加,“规划”方法会迫使两个模型阅读相同的文档,从而造成成本的重复投入。 作者提出了 **“/prewalk”**,这是一种基于“预填充”的更有效替代方案。与其生成静态文档,不如由前沿模型直接开始任务,进行初步探索,完成一次具体的代码修改,并初始化一份“待办事项”列表。随后,上下文被移交给一个更便宜、更快速的模型。 这种方法之所以更胜一筹,原因如下: 1. **效率:** 它消除了规划文档所需的冗余“重复阅读”。 2. **上下文:** 更便宜的模型继承的是真实的执行轨迹和进展,而非抽象的指令。 3. **减少作弊:** 通过在前沿模型处于“自信”探索阶段时将其终止,可以避免智能体在卡住时因绝望而产生的“作弊”(网络搜索)行为。 总之,“/prewalk”以极低的成本实现了接近前沿模型的性能,使其成为构建自主编程智能体的一种更快速、更可靠且更经济的方式。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 你只需要用前沿模型进行一次编辑 (stencil.so) 由 jxmorris12 发布于 1 小时前,19 分 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 pistoriusp 1 分钟前 [–] 显然 "/prewalk" 是内置在 https://github.com/can1357/oh-my-pi 中的,我想这很像 "Oh My ZSH"?自带电池的 Pi。 里面有很多有趣的想法,大部分我都没有应用到我自己的工作流程中。好奇有人用过吗? 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

这项研究针对 AMD Zen 3 架构的单核心,对单精度(FP32)矩阵乘法(GEMM)进行了系统性优化。通过在 C++ 中使用 AVX2/FMA 内置函数,测试了 28 种技术变体,包括缓存分块(cache blocking)、寄存器分块(register blocking)、FMA 指令链(chaining)以及封装(packing)策略。 性能最佳的模型 **MX24** 达到了 **85.30 GFLOPS**(占 134.4 GFLOPS 理论峰值的 63.5%),比原始实现快 56.5 倍,并与 OpenBLAS 和 AMD AOCL 等知名库的测试结果相当。 **主要结论:** * **最佳实践:** 采用 4 行寄存器分块、4 个累加器链式计算以及即时(on-the-fly)B 矩阵封装,是最大化 FMA 端口利用率并减少内存瓶颈的理想组合。 * **陷阱:** 由于 Zen 3 硬件预取效率较高,软件预取(software prefetching)等技术反而适得其反;而使用非时序存储(non-temporal stores)则因在读-改-写操作中导致缓存失效,从而大幅降低了性能。 该存储库提供了完整的源代码、模型详细分析及复现支持,可作为现代 x86 架构性能优化的技术参考。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录85.3 GFlops:在单个 AMD Zen 3 核心上优化 FP32 矩阵乘法 (github.com/houslast3)14 分,发布者:houslast,1 小时前 | 隐藏 | 过往 | 收藏 | 4 条评论 帮助 gitowiec 11 分钟前 | 下一条 [–] 这是什么语言?我的 Firefox 检测为英语,我想大概是因为 HTML 里写了 lang=en回复kzrdude 9 分钟前 | 父评论 | 下一条 [–] 看起来像是葡萄牙语(我不会说)回复homarp 0 分钟前 | 根评论 | 父评论 | 下一条 [–] 底部的邮箱后缀是 .br 所以这是巴西葡萄牙语 (https://en.wikipedia.org/wiki/Brazilian_Portuguese )回复ranger_danger 17 分钟前 | 上一条 | 下一条 [–] 作为对比,当今性能最好的 GPU 可以达到 > 100 TFLOP/s 的 FP32 算力回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

过去几个月,数学领域发生了一场范式转移。随着以 ChatGPT 的“Sol”和 Claude 的“Fable”为代表的 AI 工具的出现,人工智能已经开始持续生成、形式化并验证复杂的数学证明。 自 2026 年年中以来,这些工具已成功推翻了多个长期存在的猜想,包括埃尔德什单位距离猜想(Erdős’ Unit Distance conjecture)、格罗滕迪克关于群概形的 60 年难题,以及已有百年历史的雅可比猜想(Jacobian Conjecture)。作者作为 Lean 等交互式定理证明器的支持者,强调真正的突破在于大语言模型(LLM)与自动化形式化的整合。这使得机器不仅能够提出证明,还能将其转化为可验证的代码,从而让数学家能在几分钟内检查出以往“不可能”完成的进展。 尽管一些学者仍持否定态度,但作者认为这些工具已成为研究中不可或缺的一部分。越来越多的博士生开始利用它们来加速那些曾需耗时数年的项目。目前的挑战已从寻找证明转向深入的人类分析:即利用这些机器生成的反例来提炼新的数学见解。我们正步入一个由 AI 驱动的形式化时代,历史猜想的解决已成为一种司空见惯却又令人惊叹的常态。

这篇 Hacker News 讨论探讨了计算机和人工智能在寻找数学反例方面不断演变的作用。评论者普遍认为,机器在这一领域超越人类总体上是有益的,因为这可以防止数学家在错误的猜想上浪费时间,让他们能专注于更有成效的研究。 尽管一些参与者指出,几十年来计算机一直都在辅助数学研究,但目前的趋势是利用人工智能去探索那些以往因过于复杂而无法通过暴力破解法处理的巨大搜索空间。不过,用户们强调这仍然是一个协作过程:人类数学家对于界定问题、构建有效的提示词以及确定有前景的研究领域仍然至关重要。总的来说,大家的共识是,计算机是强大的发现工具,但仍需要人类的引导来提供有意义的背景和方向。

本报告详述了“智能体集群”(agent swarms)的进展,这是一种旨在处理复杂、长周期任务的协作式人工智能系统。研究团队摒弃了简单的经验性实验,设计了一种结构化的树形分解框架:由“规划者”智能体负责拆解目标,“执行者”智能体负责具体实施。 该设计优化了上下文效率;规划者专注于高层架构,而执行者专注于具体的细分任务。为支持这一架构,团队构建了一个定制的版本控制系统(VCS),每秒可处理 1000 次提交。通过共享设计文档、中立的冲突解决机制以及自动化模块化等技术,团队成功缓解了常见的失效模式,如逻辑分裂、合并冲突和代码冗余。 团队通过让该系统从零开始构建一个功能完备的 Rust 版 SQLite 引擎来对其进行测试。在所有模型配置下,新集群的表现均优于以往版本,不仅生成的代码质量更高、代码行数显著减少,还大幅降低了“无效震荡”或冗余工作。通过将大部分执行工作交给成本较低的执行模型,并将顶尖模型留作高层规划,团队在不牺牲性能的前提下实现了巨大的成本节约。最终,该系统宛如人类意图的编译器,有效降低了复杂软件工程的门槛。

这篇 Hacker News 帖子讨论了 Cursor 近期关于“智能体集群”(agent swarms)及其在高速软件开发能力方面的文章。讨论中既有用户的着迷,也伴随着怀疑。 支持者认为这些实验是窥见未来编程的重要窗口,并将此比作早期的简易自动补全功能如何演变成如今复杂的 AI 智能体。 相反,批评者提出了几点顾虑: * **实用性与效能的矛盾**:用户指出,尽管这一过程非常强大,但生成的软件往往缺乏原创性或平庸无奇。一位评论者讽刺道,开发者似乎是在“为了做一个按钮而发明整个宇宙”。 * **资本的影响**:一些人认为这些项目深受风险资本影响,将开发范围限制在符合投资者利益的领域内。 * **方法论的质疑**:另一些人对测试的有效性提出质疑,指出 AI 模型很可能已经训练过它们被要求“重建”的项目(如 SQLite)的源代码。 最终,这场讨论突显了 AI 驱动开发所展现出的惊人技术吞吐量,与其实际产出的软件价值之间的矛盾。

请启用 JavaScript 和 cookie 以继续

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在长视距模型时代的安全性与对齐 (openai.com) 5 分,由 Wingy 发布于 50 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全性 | 法律 | 申请 YC | 联系 搜索:

更多

联系我们 contact @ memedata.com