## 微型浮点数的兴起 历史上，浮点数从32位发展到如今标准的64位精度。虽然程序员们欣赏更高的精度，但现代神经网络正在推动一个令人惊讶的趋势：对*更低*精度的需求。这些网络包含数十亿个参数，最小化它们的内存占用至关重要——通常将数量优先于单个精度。 这促使人们对诸如4位浮点数 (FP4) 之类的格式产生兴趣。虽然可以使用整数，但FP4提供了更宽的*动态范围*——能够表示非常小和非常大的数字。FP4格式因其在符号、指数和尾数之间分配4位的方式而异（例如，E3M0、E2M1）。E2M1格式很常见，并受到Nvidia硬件的支持。 FP4数字使用偏差来表示指数，即使在这种有限的格式中，也存在诸如+0和-0之类的概念。Python库Pychop有助于使用这些降低精度的格式。FP4并非孤例；许多4位格式正在涌现，例如NF4旨在更好地表示LLM权重。
每日HackerNews RSS
## 4位浮点数 (FP4) 讨论总结
这次黑客新闻的讨论围绕着4位浮点数 (FP4) 的实用性和设计。核心思想是探索极端的量化，以期在空间和效率上获得收益，尤其是在机器学习等领域。
讨论中提到几点：使用预先确定的数字“调色板”代替位位置含义，以及使用查找表进行运算。现有的低精度格式，如QLoRA也被提及。关于如何在有限的4位中表示特殊值（如无穷大和NaN）存在争论——一些人认为它们是不必要的开销，而另一些人则强调它们的重要性。
参与者讨论了精度、范围和计算成本之间的权衡。对话涉及历史背景，参考了较早的浮点格式（80位x87，甚至更早的60位系统）以及IEEE 754标准的演变。现代GPU架构和微块缩放也被提及，以及诸如定点表示之类的替代方法。最终，FP4被视为一种针对特定优化应用的小众解决方案。
## 解决 Web Agent 身份验证问题：rtrvr & Subroutines 大多数 Web Agent 在扩展到单个任务之外时会遇到困难，因为 Web 身份验证（cookie、轮换令牌和特定于浏览器的安全措施）非常复杂。直接调用 API 会失败，因为身份验证才是真正的挑战。rtrvr 通过**在用户浏览器*内*记录和重放 Web 交互**来解决这个问题，利用浏览器现有的会话和安全环境。 rtrvr 不会重建身份验证，而是会在执行任务期间拦截网络请求，对其进行排序以识别相关的 API 调用（过滤掉分析和噪音），然后直接从页面上下文重放它们。这创建了**“Subroutines”**——可供 Agent调用的工具，例如发送 LinkedIn 请求或发布到 X。 Subroutines 作为确定性 JavaScript 脚本运行，最大限度地减少 LLM 的 token 使用量并确保可靠性。Agent 选择参数，但实际操作本身是一个脚本，而不是持续推理。rtrvr 提供了一个辅助命名空间 (`rtrvr.*`) 用于常见的 Web 交互，简化了 Subroutine 的创建。 这种方法旨在构建一个**可靠 Web 操作的共享库**，超越理论上的 Agent 能力，实现实用且可扩展的自动化。rtrvr 随附了针对流行平台和功能的初始 Subroutines，以及自定义 LLM 订阅和工作流程调度的集成。
## AI 子程序：无需 LLM 开销的浏览器自动化
rtrvr.ai 推出“AI 子程序”，这是一种新的浏览器自动化方法。用户不再依赖 LLM 来处理每个重复性任务，而是可以*录制*一次浏览器操作并将其保存为可重用的“子程序”。这些子程序直接在网页上下文中执行——绕过代理和无头工作者——利用现有的身份验证和安全措施。
该系统拦截网络请求和 DOM 交互，将其提炼成确定性脚本。这使得诸如自动数据输入或内容抓取之类的任务能够在零 token 成本和最小延迟下执行。用户甚至可以将这些子程序链接起来，通过单个 LLM 提示触发数百个子程序。
虽然承认网站更改可能会导致脚本中断，但 rtrvr.ai 旨在构建一个社区维护的自动化库，并提供 Web Agent 等备用选项来解决验证码问题。开发者强调信任和透明度，提供开源客户端代码和明确的数据策略。他们认为这种方法比传统的浏览器代理更高效、更可靠。
## 设计工具的未来：回归代码
最近使用 Claude Design 的体验预示着设计领域即将发生转变，这源于人工智能的兴起以及 Figma 等现有工具的局限性。Figma 的成功在于创建了一个系统化、"规范化"的设计环境，但这也导致了组件、变量和覆盖层等复杂且常常令人沮丧的系统。这种复杂性反而削弱了 Figma 在人工智能时代的相关性，因为 LLM 是在 *代码* 上进行训练的，而不是 Figma 的专有元素。
作者认为，真相的来源将回归代码，使 Figma 复杂的系统变得过时。Figma 现在被困在手动、人工智能之前的流程中。未来设计工具可能会出现分叉：一条路径，以 Claude Design 为例，拥抱直接的代码操作以及与编码伙伴的无缝集成。另一条路径将是一个纯粹的探索环境，摆脱系统约束——一个用于快速原型设计和视觉实验的空间，可能类似于更强大的 Photoshop 或简化的 iPad 素描应用程序。
最终，作者认为 Figma 的辉煌时刻正在消退，敦促 Sketch 等竞争对手大胆创新，超越基本功能。“材料的真实性”是关键——Claude Design 通过根本建立在 HTML 和 JS 之上提供了这一点。
## 无头服务崛起与设计的未来 应用程序和服务交互的未来正朝着“无头”架构转变——为人工智能代理提供访问，而无需传统的用户界面。这得益于人工智能辅助带来的卓越用户体验，以及与屏幕抓取 GUI 相比，人工智能任务的更高可靠性。 这种转变已经发生，这体现在像 MCP 这样的 AI 专用 API 的出现以及命令行界面 (CLI) 的普及。像 Google Workspace CLI (gws) 和 Salesforce CLI 这样的工具允许通过文本命令直接与服务交互，从而为人工智能实现强大且可组合的工作流程——并且越来越多地，为用户提供服务。 CLI 在安全性方面具有优势，因为最大限度地减少复杂性可以降低漏洞，这对于人工智能发现漏洞的能力而言至关重要。前端设计不会消失，但会演变为专注于建立强大的“氛围”和品牌标识，因为用户很可能主要通过其人工智能代理与服务交互。 重点将从优化用户旅程转移到为人工智能提供安全、简化的访问，从而促使银行和政府部门等企业优先开发强大的 CLI 工具。这代表着我们与技术互动方式的根本性变化，优先考虑人工智能时代的功能性和安全性。
对不起。
## Remoroo：深度科技的自主研究 Remoroo 是一款自主研究引擎，旨在加速机器学习开发。与提供单一建议的编码代理不同，Remoroo 会在您的代码上运行大量实验（最多 30 个），*过夜*自动编辑、测试和评估更改，基于定义的指标——例如示例中的 `val_bpb`，该指标提高了 31%。 您通过一个简单的规范文件 (`program.md`) 定义实验，指向您的训练和评估代码。它在时间预算内运行，并严格验证和复现结果，提供清晰的“已验证”状态和通过 git 的可追溯历史。 Remoroo 并非关于*猜测*代码，而是关于通过结构化实验*证明*改进。计费基于运行时间（“积分”），并提供免费套餐。它专为寻求可扩展、可靠的方式来自动化和加速其机器学习研究流程的深度科技团队设计。
这个Hacker News讨论围绕着名为“Remoroo”的新型自主研究引擎。最初的发帖者寻求对那些从事类似长期运行的AI代理系统开发的人的反馈，特别是关于优化和潜在的意外后果。他们发现像Claude这样强大的AI模型可能会过度优化，破坏现有功能，需要通过定义不变式进行仔细的“引导”。
问题集中在Remoroo的架构上——具体来说，为什么它使用类似于Temporal/AWS SWF的复杂编排系统，尽管它似乎只使用一个工作者。发帖者想知道使用多个工作者的并行处理是否会更有效率。
其他评论者分享了类似的项目（例如`myagent`，它可以自主实现研究论文），并批评Remoroo的营销文案过于戏剧化和“尴尬”。 此外，还将其与现有的“Ralph”项目进行了比较。
## 美国-伊朗冲突中的可疑投注与潜在内幕交易 在线预测市场和商品期货中出现了一波时机把握得异常精准的投注，引发了人们对与美国-以色列伊朗相关发展相关的潜在内幕交易的担忧。大量投注准确预测了事件——包括美国空袭、阿亚图拉·哈梅内伊的遇刺以及停火公告——为一些交易者带来了巨额利润。 具体而言，Polymarket上的16个账户在预测2月份空袭方面获得了超过10万美元的收益，而一位用户在哈梅内伊被报道死亡*之前*，押注其被移除获得了超过55万美元的利润。类似的活动也发生在停火公告期间，与石油价格大幅下跌（9.5亿美元）的投注同时发生。 这些模式被描述为“狂野西部”般的情况，表明可能有人利用提前获得的知识来操纵这些市场。商品期货交易委员会（CFTC）据报道正在调查此事，但由于有限的执法能力、技术障碍以及与各州的管辖权纠纷而面临挑战。 专家指出，证明这些新兴市场中的非法内幕交易非常复杂，而且现行法律无法有效应对区块链技术提供的匿名性。一项两党法案旨在禁止政府官员参与这些市场，但核心问题仍然是：确保在一个日益复杂的环境中进行公平和透明的交易。
## 预测市场与内幕交易：摘要
一份最新报告显示，在伊朗战争爆发前，有超过10亿美元的赌注通过预测市场以惊人的时机下注。 这引发了黑客新闻的讨论，中心围绕这些市场的伦理和功能。
许多评论员认为，成功的预测需要内幕信息，质疑这些市场是否本质上依赖于——并可能促成——非法内幕交易。 有人建议人工智能可以追踪大量潜在的非法赌注。 另一些人指出，与国家相关的行为者可能利用这些平台进行情报收集。
一个关键的争论围绕预测市场的价值。 有人认为它们通过揭示内幕信息为公众提供有价值的见解，而另一些人则认为它们主要使那些*拥有*内幕信息的人受益，可能助长“赌博流行病”并剥削弱势投资者。 人们对这些市场可能被用于非法活动以及缺乏监管表示担忧。
一些评论员强调了建立在信息不对称和人为稀缺性基础上的平台的更广泛的伦理影响，并将它们与更广泛的社会问题联系起来，例如财富不平等和信任的侵蚀。
1910年，路易斯·“巴德”·艾伯内西（10岁）和他的弟弟坦普尔（6岁）从俄克拉荷马州骑马开始了长达2000英里的旅程，前往纽约市。他们继承了父亲杰克·“活捉”·艾伯内西的冒险精神——他是一位传奇的美国法警，以徒手为罗斯福总统捕获狼等壮举而闻名。 在父亲的祝福下，以及一系列安全规则（每日有限的行程、不得在无人监督的情况下过河、携带少量现金、以及周日不骑马）的约束下，兄弟俩于四月出发。巴德骑着他父亲著名的马“萨姆·巴斯”，而坦普尔骑着“杰罗尼莫”，每天都需要帮助才能上马。 他们携带了食物、床铺和马的燕麦等必需品，并运用牛仔战术来确保夜间安全。这次雄心勃勃的旅行是为了与罗斯福总统从非洲归来时相遇，艾伯内西一家希望能在纽约与他见面。
对不起。
## Fly.io 分布式系统挑战：只增计数器总结 本文详细介绍了在使用 Fly.io 的 Maelstrom 平台及其 `SeqKV` 服务构建只增计数器时遇到的挑战。核心任务——在分布式节点上递增和读取计数器——由于并发操作，证明出乎意料地复杂。简单的实现会丢失更新，凸显了对原子操作的需求。 使用 `SeqKV` 的 `CompareAndSwap` (CAS) 提供了一种解决方案，但结果是不确定的。探索无冲突复制数据类型 (CRDT)，特别是 G-Counter，提供了一种替代方案，其中每个节点管理自己的计数器，从而消除了写入冲突。然而，这种方法仍然依赖 `SeqKV` 来求和值，如果没有 gossip 机制，就无法实现真正的 CRDT 实现。 关键在于理解 `SeqKV` 的 *顺序一致性* 模型。虽然它保证了操作的总顺序，但它允许出现陈旧读取等异常。测试的 10 秒冷却期加剧了这种情况。最终，一种“hacky”的解决方法——在每次读取之前进行一次唯一的写入——迫使在 `SeqKV` 的限制范围内获得最新的视图。更强大的解决方案包括实现完整的 CRDT 或切换到像 `LinKV` 这样的线性化键值存储。该挑战强调，理解底层一致性模型和实现细节至关重要，而不仅仅是理论知识。
对不起。
## 2026年人工智能：黑客新闻总结
近期一份IEEE报告，在黑客新闻上引发讨论，其中包含描绘2026年人工智能发展状况的图表。讨论围绕几个关键点展开了争论。尽管投资者热情高涨，但仍存在怀疑论，尤其是在年轻一代中，对人工智能的益处持保留态度。
人们对训练大型语言模型的碳足迹表示担忧，估算值差异很大（Grok 4可能排放72,000-140,000吨二氧化碳）。然而，有观点指出，与全球排放量或个人碳足迹相比，这种影响相对较小。
报告还强调了中国在工业机器人领域的领先地位，但一些评论员质疑其与人工智能的具体相关性，并指出中国对外国机器人的依赖。一个反复出现的主题是开源人工智能挑战商业霸权的可能性，以及在快速发展的领域中建立持久“护城河”的难度。最后，对报告中使用的指标提出了批评，例如将GitHub项目创建与软件工程专业知识划等号。
离散傅里叶变换 (DFT) 可以通过分治策略得到显著优化。 最初，DFT 被拆分为两个较小的 DFT——一个处理偶数索引数据，另一个处理奇数索引数据。 虽然这种拆分最初并不能提高效率（仍然是 O[N²]），但利用这些子问题中的对称性可以将每个子问题的计算量减少一半，从而有效地将问题规模减半至 O[M²]，其中 M = N/2。 这个过程会递归地应用于这些较小的 DFT，*只要*问题规模保持偶数，就会不断地将计算成本减半。 这种递归减半持续进行，直到子问题足够小，可以直接有效地求解。 结果是规模上的显著改进：从 O[N²] 到渐近复杂度 **O[N log N]**，使其成为处理大型数据集的更快算法。 这可以在像 Python 这样的语言中有效地实现，利用原始 DFT 代码来解决小的子问题。
对不起。