## ROCm & Strix Halo 初步印象 本总结详细介绍了在 Ubuntu 24.04 上成功设置 ROCm，并与 Strix Halo GPU 实现 128GB CPU/GPU 共享内存。BIOS 更新对于 PyTorch 识别 GPU 至关重要。配置涉及减少保留的显存（低至 512MB）并利用 GTT 实现高效的内存共享，同时为内核稳定性保留 4-12GB。 关键步骤包括使用特定的 `ttm.pages_limit` 和 `amdgpu.gttsize` 值修改 `/etc/default/grub`，然后更新 grub。PyTorch 使用 `uv` 配置，并使用指向 ROCm 特定 PyTorch wheels 的自定义索引。 该设置能够在 Podman 容器内通过 `llama.cpp` 运行 Qwen3.6 模型，利用 GPU 加速。模型下载和转换为 `gguf` 格式也被详细说明。最后，提供了一个 Opencode 配置，用于与本地运行的 Llama.cpp 实例集成。 尽管最初遇到了一些挑战，作者报告了积极的体验，成功利用 PyTorch 并运行具有大量上下文窗口的大型语言模型。

## Apple Silicon 与 WebAssembly：零拷贝 GPU 访问用于 AI Apple Silicon 的统一内存架构 (UMA) 允许 WebAssembly (Wasm) 模块直接与 GPU 共享内存——消除了传统上在沙盒运行时和加速器之间所需的高成本数据拷贝。这意味着 CPU 和 GPU 读取/写入*相同*的物理内存，将 Wasm 变成控制平面，将 GPU 变成计算平面，且开销接近于零。 作者正在构建“Driftwood”，一个利用此功能的用于有状态 AI 推理的运行时。其关键在于三部分验证：使用 `mmap` 进行对齐内存，Metal 访问该内存无需拷贝的能力，以及 Wasmtime 的自定义分配器向 Wasm 模块提供内存。使用矩阵乘法的测试证实了零拷贝功能以及与传统方法相当的性能，但内存占用显著减少——这对于像 transformer 推理中使用的那样的大型模型至关重要。 在 M1 Macbook Pro 上运行 Llama 3.2 1B 的初步测试表明，Wasm-GPU 边界的开销可以忽略不计。更重要的是，作者成功地序列化并恢复了 GPU 的键值缓存，从而实现了可移植的 AI 对话状态。这为“有状态 actor 迁移”奠定了基础——冻结、移动和恢复跨机器的 AI 对话。Driftwood 旨在在此基础上构建 actor 快照、检查点可移植性和多模型支持。

马克·霍克，一位亲生命活动家和七个孩子的父亲，与司法部（DOJ）达成了一笔七位数和解协议，此前他曾卷入一桩备受瞩目的案件。2021年，霍克在费城一家堕胎诊所外，因推开骚扰他儿子的志愿者而被联邦调查局（FBI）逮捕，并被指控违反FACE法案。 他后来被陪审团判无罪，但随后起诉了司法部，指控其恶意起诉和与对其住宅进行严厉批评的联邦调查局突袭有关的过度武力。该诉讼声称拜登政府因他的亲生命观点而针对他。 司法部的一份报告得出结论，该政府“利用”FACE法案来推动亲堕胎议程，从而破坏了公众信任。亲生命运动的领导人称赞和解协议是该运动、言论自由以及对他们所描述的拜登政府时期过度干预的纠正的一次重大胜利。

## Sostactic：在Lean 4中证明多项式不等式 Sostactic是一系列Lean 4战术，利用Python后端通过求和次方（SOS）分解来证明多项式不等式，其能力超越了现有的Lean战术，如`nlinarith`和`positivity`。 **主要特性：** * **证明：** 多项式的全局非负性，在半代数集上的非负性（由多项式不等式定义），以及半代数集的空集性。 * **战术：** `sos_decomp`（用于全局非负性），`putinar_decomp`/`schmudgen_decomp`（用于约束问题），`putinar_empty`/`schmudgen_empty`（用于证明集合为空）。 * **后端：** 利用`cvxpy`（一个凸优化求解器）通过Python查找SOS证书，然后在Lean中验证它们。 * **灵活性：** 可以作为Python API、CLI，或直接在Lean中使用。支持预生成证书以提高性能。 **用法：** 像`sos_decomp`和`putinar_decomp`这样的战术会自动尝试寻找证明。可以调整参数，如`order`（松弛阶数）和`degree`（分母阶数上限）。如果证明失败，系统会提供诊断和建议（例如，增加阶数，使用分母）来指导用户。 **安装：** 需要Lean 4，Python 3.10+，以及通过`lake`和`pip`安装的依赖项。 更多细节和示例可在[README](链接到README)中找到。

禁止访问 您没有权限访问此资源。

## 全球对礼貌的认知 最近Remitly的一项对超过4600人的调查显示，**日本**被压倒性地认为是世界上最礼貌的国家，获得了超过35%的选票——几乎是任何其他国家的三倍。这种声誉源于日本对尊重、礼仪、清洁和社会和谐的强烈文化强调，包括鞠躬和安静的公共空间等习俗。 **加拿大**紧随其后排名第二（13.4%），以其热情好客和文明而闻名。**英国**排名第三（6.2%），引领了强大的欧洲影响力；超过一半的25个最礼貌的国家位于欧洲，尤其是在北欧（德国、瑞典、丹麦、芬兰）。 亚洲占该列表的五分之一，而非洲则由排名第10的**南非**代表。该调查强调了对礼貌的认知如何显著影响旅行体验和国际关系。

为了延长其寿命，美国国家航空航天局（NASA）的工程师关闭了旅行者1号探测器上的低能带电粒子（LECP）实验。旅行者1号是距离地球最远的人造物体。这台49岁的仪器测量星际空间中的粒子，提供关于太阳影响范围之外区域的独特数据。 旅行者1号，和它的双胞胎旅行者2号一样，由一个日益减少的放射性同位素热电机供电，每年损失约4瓦电力。最近一次意外的电力下降促使团队主动节约能源，按照预先确定的计划关闭仪器。虽然LECP现在已关闭，但旅行者1号仍然有两个正常运行的科学仪器，用于测量等离子波和磁场。 预计此次关闭将为旅行者1号争取大约一年的运行时间。工程师们正在准备一次更大的节能改造，被称为“大爆炸”，以进一步延长任务期限。这包括用低功耗替代品更换组件，最初将在2026年5/6月在旅行者2号上测试，并可能在7月在旅行者1号上实施。如果电力水平改善，LECP甚至有可能重新激活。

加州州长加文·纽森的“畅销书”《急匆匆的年轻人》销量因其超级政治行动委员会“民主运动”采取的争议性策略而大幅提升。最近的《纽约时报》报道显示，97,400册中，有67,000册是通过156万美元的捐款购买的——本质上是以任何金额的捐款换取一本书。 批评人士称这种安排可能是一种潜在的洗钱计划，因为该政治行动委员会直接从出版商处为每笔捐款购买书籍。虽然纽森的发言人声称他没有收到版税，并且这项举措加强了支持者关系，但该计划的伦理道德正受到质疑。人们还担心这可能会影响纽森未来书籍的预付款，此前他在2019年为一本儿童读物获得了125,000美元的预付款。

启用 JavaScript 和 Cookie 以继续。

最近的研究挑战了积极父权只是一种现代文化转变的观点，认为它深深植根于生物学。受到莎拉·赫迪的研究启发，作者发现一个新兴领域表明，参与育儿的父亲会经历与母亲相似的生理变化——睾酮、加压素和催乳素等激素的转变。 这些变化并非人类独有；对其他哺乳动物，特别是灵长类动物的研究表明，参与亲代抚养的雄性也会出现类似的激素波动。像李·盖特勒这样的先驱研究者，他们在2000年代初发现缺乏对人类父权的研究，现在正积极探索这些生物学转变。 核心结论是，关爱型父权并非反常现象，而是一种生物学上准备好的状态，通过与婴儿的互动而激活，并在男性体内产生深刻的内分泌和神经变化。

## 伊兰·奥马尔因财务披露面临审查 众议员伊兰·奥马尔因其财务披露中的重大差异而受到调查。她最初报告的资产在600万至3000万美元之间，但经修订的文件现在声称其持有资产仅为18,004至95,000美元，原因是“会计错误”。 这一修订发生于众议院监督委员会主席詹姆斯·科默启动一项调查之际，该调查涉及奥马尔丈夫蒂姆·迈内特拥有的公司的价值在一年内从51,000美元迅速增长到3000万美元。 奥马尔声称她没有参与这些申报，并信任她的会计师。然而，这一时间点与司法部展开的调查相吻合，该调查由拜登政府启动，涉及奥马尔的财务、竞选支出和海外互动。 更令人质疑的是，迈内特的风险投资公司Rose Lake Capital随着审查的加剧，从其网站上删除了包括前奥巴马政府官员在内的重要人员的详细信息，尽管这些人在相关欺诈案件中没有被指控有任何不当行为。 批评人士认为，这种保密行为表明试图隐瞒信息，加剧了人们对奥马尔财富和潜在财务违规行为的怀疑。

启用 JavaScript 和 Cookie 以继续。

最近，a16z 新媒体的一项分析指出，纽约市计划在东哈林区建造的市立杂货店可能存在效率低下问题。该项目由市长佐赫兰·曼达尼领导，预计耗资 3000 万美元的纳税人资金，用于建造一家 9000 平方英尺的商店——每平方英尺约 3000 美元，远高于行业标准。 该分析认为，这体现了一种反复出现的模式：政府运营的超市通常缺乏私营企业的成本控制和效率。批评人士指出历史案例，认为此类项目经常失败，支持者则认为这是由于缺乏实验，而不是系统本身固有的缺陷。 文章将此问题归结为更广泛的问题，即社会主义具有“寄生性”，依赖纳税人补贴，并最终容易失败，并将情况与古巴的经济状况进行比较。市长随后提议对豪宅征收新税，引发了人们对其经济政策的担忧。

## PostgreSQL 事务ID环绕：生产事件总结 本文详细描述了PostgreSQL生产环境中由于事务ID（XID）环绕引起的严重且隐蔽的故障——当用于事务ID的有限计数器接近其上限时的情况。 与典型的宕机不同，这不是由负载或配置更改引起的，而是由于时间流逝，旧数据没有充分“冻结”造成的。 PostgreSQL使用MVCC，为每个写入事务分配XID。 为了安全地重用这些ID，必须冻结较旧的行版本，将其标记为永久可见。 如果autovacuum（负责冻结的进程）被禁用或无效，XID会累积，最终达到安全阈值（大约20亿）。 此时，PostgreSQL会停止所有写入操作以防止数据损坏，从而有效地使数据库变为只读。 该事件发生在稳定的系统上，负载适中（每秒10次写入），并且autovacuum在几年前被禁用作为临时性能修复，但从未重新启用。 恢复涉及手动强制冻结，但根本原因揭示了其他系统也存在类似风险。 关键要点是，XID环绕不是性能问题，而是基本的安全机制。 它可以根据写入速率和时间进行预测，并且很容易在测试中被忽略。 定期监控`relfrozenxid`并确保autovacuum已启用对于防止这种隐蔽的、潜在灾难性的故障至关重要。 与使用不同版本系统的SQL Server不同，PostgreSQL *需要*主动冻结才能维护数据完整性。

Top (现代 Common Lisp 与 FSet) 版本 1.0 (适用于 FSet v2.4.2) © 2026 Scott L. Burson。本文档以知识共享署名-非商业性使用-相同方式共享 4.0 许可协议发布。该许可协议允许使用者在任何媒介或格式中分发、混编、改编和在此材料基础上创作，但仅限于非商业用途，并且必须注明创作者。如果您混编、改编或在此材料基础上创作，您必须以相同的条款对修改后的材料进行许可。本文档不包含 LLM 生成的文本——零，没有，一点也没有。（是的，我使用 em 破折号和分号；是的，我亲手写了每一个。）对于发现的错误或其他建议，请在 Common-Lisp.Net 的 GitLab 实例或 GitHub 上提交问题。

## 集成光子学：迈向基于光明的未来 美国国家标准与技术研究院（NIST）的科学家在开发用于光的集成电路——“光子芯片”方面取得了重大进展，可能引发一场类似于电子芯片驱动的革命。这些芯片利用光来处理信息，由于光的速度以及在人工智能和量子计算等新兴技术中的重要作用，它们比电子设备具有优势。 这项突破在于一种新颖的“分层蛋糕”芯片设计，将锂铌酸盐和五氧化钽等材料结合在硅晶圆上。这使得对光的有效控制和操纵成为可能，甚至可以将光转换为不同的颜色——对于需要特定波长的应用（如当前受笨重昂贵激光器限制的量子时钟和计算机）来说，这是至关重要的能力。 新技术能够制造紧凑、高效的电路，产生宽光谱的光，大约可以在一个杯垫大小的晶圆上安装10,000个光子电路。这有望使量子技术更具便携性和可负担性，并可能提高人工智能和虚拟现实系统的性能。与初创公司Octave Photonics的合作旨在扩大这项技术的应用范围。

## 优化 Intercom 的 CI：Ruby 性能调整 加入 Intercom 后，一个关键项目是提高其大型 Ruby 单体应用的 CI 管道速度。作者发现，减少 worker 启动时间——获取代码、启动应用程序——对整体构建时间有不成比例的影响，尤其是在 1350 个并行 worker 的情况下。虽然优化单个测试很有价值，但即使减少一秒钟的启动时间也能节省大量的计算资源。 重点转向应用程序启动时间，从而深入研究 **Bootsnap**，一个用于缓存文件加载路径的 Ruby gem。Ruby 的默认文件加载效率低下，无法很好地扩展到大量 gem。Bootsnap 缓存文件位置以便快速查找，但 CI 系统上的缓存失效（由于 git checkout 不保留文件修改时间）仍然是一个挑战。 优化集中在 Bootsnap 的扫描过程上。一项关键改进是利用目录条目类型（在某些系统上可用）来避免代价高昂的文件系统调用。进一步的收益来自于优化 `File.join`，包括简化多字节编码处理以及反转尾随分隔符的搜索。这些看似微小的改变为 `File.join` 带来了 **7 倍的速度提升**，并改善了整体 CI 性能。 作者强调，找到一个优化往往会发现其他的优化，并继续将类似的改进应用于其他路径处理方法，从而证明了细致的性能分析的价值。

## 特朗普承诺发布UFO文件 前总统唐纳德·特朗普宣布，他的政府正在准备发布与UFO和不明飞行物相关的政府文件，时间是“非常快”。此前，在公众兴趣的推动下，他于二月发布了一项指令，要求公开有关外星生命的文件。美国政府拥有数千份相关文件，包括“蓝皮书计划”（1947-1969）的文件，其中一些已在国家档案馆公开。 战争部长皮特·赫格塞斯确认正在进行文件整理工作，副总统JD·万斯表示有兴趣调查这个话题（暗示可能存在恶魔起源）。但仍然存在怀疑论。 资深UFO调查员唐纳德·施密特对发布的新内容表示怀疑，他认为应该关注物理证据——硬件、组织样本或目击者证词，而不仅仅是文件。他对政府过去对可信证人账户的不作为感到沮丧，尤其是在罗斯威尔事件方面。尽管人们充满期待，但围绕UFO和外星生命的神秘仍然存在。

## PgQue：一种零膨胀的Postgres队列 PgQue是一个健壮、生产就绪的队列，直接构建在PostgreSQL内部，复兴了Skype最初使用的PgQ系统的架构。与许多数据库内队列不同，PgQue通过独特的基于快照的批量处理和表轮换系统，避免了因“死元组”累积而导致的性能下降和膨胀——这意味着无需频繁的vacuum或调优。 它专为高吞吐量事件流和扇出而设计，提供ACID事务和完整的Postgres持久性，*无需* C扩展、外部守护进程或特定于提供商的批准。安装很简单：一个SQL文件和一个调度器，如pg_cron。 PgQue在优先考虑负载下稳定性和语言无关的SQL API的场景中表现出色。虽然不适合超低延迟（亚毫秒级）分发，但它能提供典型的端到端延迟1-2秒。当事件驱动架构和无膨胀操作是关键时，它是一种强大的传统作业队列替代方案。

## 核能创新与部署法案 (NEIDA) 摘要 李和麦科米克参议员提出 NEIDA 法案，旨在通过简化法规加速美国核能发展。目前，即使在联邦土地上的核项目，商业用途也需要经过核管理委员会 (NRC) 的漫长许可。NEIDA 建议将联邦场地上的反应堆和燃料设施的审批权移交给能源部 (DOE)，提供更快运营途径，并保留现有的责任保护。 一个关键组成部分是“核能发射台”，指定联邦土地供私营公司在能源部支持和监管确定性的情况下测试先进技术。成功的示范项目可以过渡到*通过能源部*进行商业许可，绕过传统的 NRC 流程。 该法案还通过将其重新用作燃料来处理剩余钚，并允许联邦电力机构购买核能。通过解决试点项目与全面部署之间的差距，NEIDA 旨在提升美国在核能领域的竞争力，尤其是在其他国家扩大其产能的情况下，并可能支持能源部专注于人工智能和能源优势的创世纪任务等倡议。

## 在 ARM MCU 上导航浮点 ABI（nRF52840 和 ESP32-S3） 这篇文章深入探讨了在 ARM 微控制器（特别是 nRF52840 和 ESP32-S3）上使用 PSA Crypto API 的复杂性，重点是浮点处理。一个常见的链接器错误源于混合了不同的浮点应用程序二进制接口 (ABI)：`soft`、`softfp` 和 `hard`。 ARM 根据处理器是否具有浮点单元 (FPU) 以及参数如何传递给函数（通过整数寄存器或浮点寄存器）来定义这些 ABI。`hard` 利用 FPU 寄存器以提高速度，而 `soft` 和 `softfp` 依赖于软件模拟，通过整数寄存器传递参数。混合使用这些会导致链接器错误，因为 ABI 由对象文件中的属性决定。 nRF52840 具有 FPU，默认使用 `soft` ABI，除非在 Zephyr 中使用 `CONFIG_FPU=y` 明确配置，从而启用 `hard` 或 `softfp`。文章详细介绍了如何通过编译后的代码观察每个 ABI 的影响，演示参数传递和指令使用情况。 最后，它探讨了动态启用 FPU “即时” 作为始终启用它的替代方案，强调了潜在的权衡以及用于电源优化的用例，但警告不要轻易实现。

## 康奈尔大学教授使用打字机对抗人工智能在德语课上的应用 为了鼓励更深入的参与并减少对人工智能的依赖，康奈尔大学德语教师格里特·马蒂亚斯·菲尔普斯每学期都会在她的课程中引入手动打字机。菲尔普斯对学生使用人工智能翻译工具感到沮丧，从2023年开始实施这项“模拟”作业，旨在重现数字时代之前的写作体验。 许多学生不熟悉打字机的操作，他们完成写作作业——例如电影评论或诗歌——时，不能使用拼写检查、在线词典或删除键。这项练习迫使学生放慢速度，更周密地思考，并与同学合作寻求帮助。 像拉差蓬·勒特达蒙翁这样的学生发现缺乏数字工具出人意料地有益，他指出这促进了更多的课堂互动，并迫使他们独立解决问题。虽然具有挑战性——需要体力劳动并接受不完美——但学生们欣然接受了这种独特的体验，甚至有些人计划展示他们充满错误的草稿，以提醒自己这个过程。这种方法与全国范围内旨在防止在教育中滥用人工智能的“老式”测试方法相一致。

特朗普政府已确认联邦调查局正在调查十名与机密核和航空航天项目有关的美国科学家和政府雇员的死亡和失踪事件。此举源于日益增长的担忧，以及特朗普总统揭露这些令人不安案件真相的承诺。 失踪人员包括退役空军少将威廉·“尼尔”·麦卡斯兰，他曾是赖特-帕特森空军基地的研究负责人，今年二月失踪，留下个人物品，但带走了登山靴、钱包和左轮手枪。与麦卡斯兰合作过的火箭科学家莫妮卡·雷扎·哈辛托也在一次徒步旅行后失踪。调查还包括天体物理学家卡尔·格里尔迈尔的枪击死亡事件。 白宫承诺进行全面审查，寻求案件之间的潜在联系，并承诺在调查进展时提供更新。特朗普表示，他预计在一周半内获得初步调查结果。

## Rail：一种自举的系统编程语言 Rail 是一种新颖的、自举的系统编程语言，专为速度和简洁性而设计。它不依赖 C 语言，并且占用的空间非常小——一个 729KB 的 ARM64 二进制文件可以编译自身，并达到字节级的固定点。核心运行时功能，包括垃圾回收，直接用 ARM64 汇编实现。 最近的进展（v3.0.0）引入了通过纯 Rail TLS 1.3 协议栈实现的本地 HTTPS 支持，消除了对 OpenSSL、curl 或类似库的依赖。这允许直接与 Anthropic 的 Claude 等 API 通信。 Rail 支持多种后端（macOS ARM64、Linux ARM64/x86_64、WASM），并具有独特的自我改进系统，编译器充当 AI 训练的适应度函数。它包括原生浮点数、效果处理程序以及带有模式匹配和 ADT 的函数式编程风格等特性。 Rail 不追求形式化验证或 ANSI 标准化，而是优先考虑性能、可靠性和狭窄、明确定义的表面积。它采用商业源代码许可证，可免费用于非生产用途。

## 微型浮点数的兴起 历史上，浮点数从32位发展到如今标准的64位精度。虽然程序员们欣赏更高的精度，但现代神经网络正在推动一个令人惊讶的趋势：对*更低*精度的需求。这些网络包含数十亿个参数，最小化它们的内存占用至关重要——通常将数量优先于单个精度。 这促使人们对诸如4位浮点数 (FP4) 之类的格式产生兴趣。虽然可以使用整数，但FP4提供了更宽的*动态范围*——能够表示非常小和非常大的数字。FP4格式因其在符号、指数和尾数之间分配4位的方式而异（例如，E3M0、E2M1）。E2M1格式很常见，并受到Nvidia硬件的支持。 FP4数字使用偏差来表示指数，即使在这种有限的格式中，也存在诸如+0和-0之类的概念。Python库Pychop有助于使用这些降低精度的格式。FP4并非孤例；许多4位格式正在涌现，例如NF4旨在更好地表示LLM权重。

## 解决 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 订阅和工作流程调度的集成。

## 设计工具的未来：回归代码 最近使用 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 并非关于*猜测*代码，而是关于通过结构化实验*证明*改进。计费基于运行时间（“积分”），并提供免费套餐。它专为寻求可扩展、可靠的方式来自动化和加速其机器学习研究流程的深度科技团队设计。

## 美国-伊朗冲突中的可疑投注与潜在内幕交易 在线预测市场和商品期货中出现了一波时机把握得异常精准的投注，引发了人们对与美国-以色列伊朗相关发展相关的潜在内幕交易的担忧。大量投注准确预测了事件——包括美国空袭、阿亚图拉·哈梅内伊的遇刺以及停火公告——为一些交易者带来了巨额利润。 具体而言，Polymarket上的16个账户在预测2月份空袭方面获得了超过10万美元的收益，而一位用户在哈梅内伊被报道死亡*之前*，押注其被移除获得了超过55万美元的利润。类似的活动也发生在停火公告期间，与石油价格大幅下跌（9.5亿美元）的投注同时发生。 这些模式被描述为“狂野西部”般的情况，表明可能有人利用提前获得的知识来操纵这些市场。商品期货交易委员会（CFTC）据报道正在调查此事，但由于有限的执法能力、技术障碍以及与各州的管辖权纠纷而面临挑战。 专家指出，证明这些新兴市场中的非法内幕交易非常复杂，而且现行法律无法有效应对区块链技术提供的匿名性。一项两党法案旨在禁止政府官员参与这些市场，但核心问题仍然是：确保在一个日益复杂的环境中进行公平和透明的交易。