## 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 并运行具有大量上下文窗口的大型语言模型。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我对ROCm和Strix Halo的初步印象 (marcoinacio.com) 11点 由 random_ 3小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 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 快照、检查点可移植性和多模型支持。

一种新技术实现了在苹果芯片上从 WebAssembly (Wasm) 进行“零拷贝”GPU 推理,消除了 Wasm 模块和 GPU 之间的数据复制和序列化需求。这意味着更快速、更高效的机器学习推理。 目前,这种功能已确认可在 Wasmtime(一种 Wasm 运行时)上工作,但不一定在网页浏览器中有效,引发了关于潜在浏览器兼容性的讨论。 该消息引发了评论区的争论,一些人质疑这种方法的必要性,并哀叹对人工智能生成想法的依赖。另一些人指出,人工智能生成的内容往往缺乏深入理解,并对编码面试等实用技能产生影响表示担忧。作为反驳,有人认为传统的白板面试可能很快就会过时。

马克·霍克,一位亲生命活动家和七个孩子的父亲,与司法部(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)中找到。

对不起。

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

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 你的领域特定语言需要运算符优先级吗? (utcc.utoronto.ca) 5 分,作者 ingve 1 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助 bitwize 23 分钟前 [–] 如果基于 S 表达式,就不需要了! (得意地笑着,像个自负的 Lisp 爱好者) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 全球对礼貌的认知 最近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甚至有可能重新激活。

为了节省能源并延长航天器的运行寿命约一年,美国国家航空航天局已关闭了旅行者1号上的一个仪器(LECP)。 此决定与2025年3月旅行者2号的类似关闭措施一致,因为旅行者2号目前拥有更多的电力储备。 工程师们正在开发一项更大、更全面的节能程序,绰号为“大爆炸”,涉及协调切换到低功耗系统。 这将在2026年5/6月首先在旅行者2号上进行测试,并有可能在2026年7月或更早时在旅行者1号上实施。 漫长的通信延迟——指令到达航天器大约需要23小时——使得故障排除充满挑战。 如果“大爆炸”成功,则有可能重新激活旅行者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 以继续。

Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 在人工智能宣传战中,伊朗正在获胜 (economist.com) 15 分,by hebelehubele 4 小时前 | 隐藏 | 过去 | 收藏 | 4 评论 帮助 spacebacon 29 分钟前 | 下一个 [–] 在自由艺术领域获胜,对伊朗革命卫队来说是损失。双赢。回复 bigyabai 18 分钟前 | 父评论 | 下一个 [–] 这里的情况和2002年千年挑战演习时一样令人绝望。回复 hebelehubele 4 小时前 | 上一个 | 下一个 [–] https://archive.is/20260418121450/https://www.economist.com/...回复 cooldk 3 小时前 | 上一个 [–] 是的,人类共识从根本上是由从众心理驱动的。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

最近,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 *需要*主动冻结才能维护数据完整性。

最近PostgreSQL生产环境发生一起事故,在Hacker News上讨论,起因是禁用了`autovacuum`功能。最初,`autovacuum`被怀疑导致了之前的问题,因此在没有充分理解长期后果的情况下被关闭。 核心问题是事务ID环绕——一个可以通过定期vacuuming预防的已知问题。评论该帖子的用户指出,这是一个有充分记录的问题,可以通过适当的监控和维护轻松避免,特别是确保`autovacuum`保持启用并为高写入表配置。 许多评论者对这篇文章表示沮丧,认为它报道了一个显而易见的问题,甚至质疑其真实性,有人认为它部分由AI生成。评论中反复出现的一个笑话是讽刺SQL Server被认为是优越的。

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

## FSet:现代化Common Lisp 一个名为FSet的新项目旨在通过引入更丰富的函数式集合数据结构来现代化Common Lisp。目标是在Lisp生态系统中实现更优雅、更高效的函数式编程,借鉴Clojure中的方法。 项目创建者承认最初的文档存在不足,承认项目的目的并不立即清晰。他们已根据用户反馈更新了文档,以更好地突出FSet的核心使命。 来自Lisp社区的早期反应是积极的,用户将其与Jank(一种类似的Clojure函数式方法)进行比较,并对该项目的潜力表示兴奋。FSet承诺扩展Common Lisp中函数式算法的可能性。

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

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 任意你喜欢的颜色:NIST 科学家创造了“任意波长”激光器 (nist.gov) 16 分,来自 rbanffy 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 优化 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 性能。 作者强调,找到一个优化往往会发现其他的优化,并继续将类似的改进应用于其他路径处理方法,从而证明了细致的性能分析的价值。

## Ruby 路径优化总结 byroot 最近的一篇博文详细介绍了 Ruby 路径处理方法的显著优化,在 `Dir.join` 等操作中实现了高达 7 倍的性能提升。这些改进将包含在 Ruby 4.1.0 中。 Hacker News 上的讨论强调了 byroot 工作的价值,并提出了关于将这些更改集成到 Ruby 核心的问题。一位评论者建议利用 Git 的文件树哈希来使缓存失效,但 byroot 认为重建缓存可能比查询 Git 更快。 该讨论还引发了关于 Ruby 持续相关性的争论。尽管存在一些怀疑,但许多用户热情地捍卫了 Ruby 和 Rails,并提到了其生产力、优雅的 API 以及在 Shopify 等公司中的持续使用。 许多评论者表示,在脚本编写、快速开发以及与其它语言相比的更优秀的 ORM 方面,Ruby 具有很强的优势。

## 特朗普承诺发布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秒。当事件驱动架构和无膨胀操作是关键时,它是一种强大的传统作业队列替代方案。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 PgQue: 零膨胀 Postgres 队列 (github.com/nikolays) 27 分,由 gmcabrita 4 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 核能创新与部署法案 (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 “即时” 作为始终启用它的替代方案,强调了潜在的权衡以及用于电源优化的用例,但警告不要轻易实现。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 浮点运算在 Cortex-M 处理器上的乐趣 (danielmangum.com) 4 点赞 by hasheddan 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

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

## 人工智能与教育:回归传统? 一位大学讲师正转向使用打字机和现场、纸质评估来应对人工智能生成学生作业的现象。这引发了黑客新闻的讨论,关于如何适应Claude Code等工具带来的挑战。 许多评论者建议将重点从测试人工智能*能*做什么,转移到评估人工智能目前缺乏的技能——例如批判性思维和细致的辩论。一些讲师已经增加了现场考试和项目式学习的权重,发现传统方法能提供更可靠的评估。 有趣的是,一些人认为大学内部变革的缓慢可能反而会使它们受益,使学位成为“超越人工智能提示的胜任力”的信号。还有人认为,对真实评估的需求可能会重振传统的实体学校系统。

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

## 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 标准化,而是优先考虑性能、可靠性和狭窄、明确定义的表面积。它采用商业源代码许可证,可免费用于非生产用途。

一种名为“Rail”的新型自托管语言发布,旨在单独处理TLS,但正在受到Hacker News社区的批评。用户声称该项目似乎主要由人工智能驱动,作者似乎使用LLM生成代码和营销材料——优先考虑编译而非正确性。 具体而言,担忧集中在一个有缺陷的TLS实现上:它无法正确验证证书链,即使使用自签名证书也容易受到中间人攻击。安全漏洞还包括用于私钥创建的可预测随机数生成器以及静态文件服务器中的目录遍历漏洞。 评论员认为该项目的声明被夸大,并且代码本身难以理解,质疑发布广泛的加密组件而不进行适当实现的语言的价值。

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

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 4位浮点数 FP4 (johndcook.com) 8 分,由 chmaynard 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 chrisjj 发表于 3 小时前 [–] > 程序员们感谢从 32 位浮点数到 64 位浮点数的转变。拥有更高的精度没什么坏处。 kimixa 发表于 9 分钟前 | 父评论 [–] 即使是最新款的 CPU,fp64:fp32 的性能比率也只有 2:1 - 加上数据大小增加一倍对缓存和带宽使用造成的影响,你通常会得到超过 2 倍的差异。如果你在数值计算密集型应用中,这会是一个巨大的差异。这并不是导致注重性能的语言默认使用 fp32 的一些过时的“古老传说”。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 解决 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 之上提供了这一点。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 关于 Claude Design 的想法和感受 (samhenri.gold) 20 分,cdrnsf 1 小时前 | 隐藏 | 过去的 | 收藏 | 2 评论 帮助 dang 12 分钟前 | 下一个 [–] 最近的相关:Claude Design - https://news.ycombinator.com/item?id=47806725 - 2026年4月 (732 评论) 回复 mojuba 2 分钟前 | 上一个 [–] 精彩的文章。我同意作者的观点,基本上是“去他妈的 Figma,至少修复 Sketch”。一直觉得对 Figma 的憎恨很孤独,原因有很多(其中之一,它是一个极其糟糕、占用大量内存和 CPU 的 Electron 应用,看起来和感觉比任何或多或少设计良好的网站都差),但读完这篇文章后,我意识到原因增加了一倍。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 无头服务崛起与设计的未来 应用程序和服务交互的未来正朝着“无头”架构转变——为人工智能代理提供访问,而无需传统的用户界面。这得益于人工智能辅助带来的卓越用户体验,以及与屏幕抓取 GUI 相比,人工智能任务的更高可靠性。 这种转变已经发生,这体现在像 MCP 这样的 AI 专用 API 的出现以及命令行界面 (CLI) 的普及。像 Google Workspace CLI (gws) 和 Salesforce CLI 这样的工具允许通过文本命令直接与服务交互,从而为人工智能实现强大且可组合的工作流程——并且越来越多地,为用户提供服务。 CLI 在安全性方面具有优势,因为最大限度地减少复杂性可以降低漏洞,这对于人工智能发现漏洞的能力而言至关重要。前端设计不会消失,但会演变为专注于建立强大的“氛围”和品牌标识,因为用户很可能主要通过其人工智能代理与服务交互。 重点将从优化用户旅程转移到为人工智能提供安全、简化的访问,从而促使银行和政府部门等企业优先开发强大的 CLI 工具。这代表着我们与技术互动方式的根本性变化,优先考虑人工智能时代的功能性和安全性。

这个Hacker News讨论围绕“个人AI”的未来,以及AI代理与日常应用程序之间互联互通的可能性。用户‘markusw’分享了一个关于“为个人AI构建无界面应用”的链接,引发了‘stephenlf’对采用时间线的预测。 ‘Stephenlf’认为广泛集成比许多人预期的要遥远,预测需要10年时间。最初,像谷歌和微软这样的科技巨头将在其现有生态系统中扩展AI(微软的尝试可能因闭源而失败)。随着时间的推移,接受度会提高,最终苹果可能会建立一个主导标准(“AILP”),然后最终与其他协议融合。 评论者强调了潜在的影响,指出即使严重依赖命令行工具(如Salesforce CLI)的开发者,也可能会频繁地与这些AI助手互动。

## Remoroo:深度科技的自主研究 Remoroo 是一款自主研究引擎,旨在加速机器学习开发。与提供单一建议的编码代理不同,Remoroo 会在您的代码上运行大量实验(最多 30 个),*过夜*自动编辑、测试和评估更改,基于定义的指标——例如示例中的 `val_bpb`,该指标提高了 31%。 您通过一个简单的规范文件 (`program.md`) 定义实验,指向您的训练和评估代码。它在时间预算内运行,并严格验证和复现结果,提供清晰的“已验证”状态和通过 git 的可追溯历史。 Remoroo 并非关于*猜测*代码,而是关于通过结构化实验*证明*改进。计费基于运行时间(“积分”),并提供免费套餐。它专为寻求可扩展、可靠的方式来自动化和加速其机器学习研究流程的深度科技团队设计。

## Remoroo:编码代理的长期记忆 Remoroo (remoroo.com) 是一种新工具,旨在解决编码代理面临的一个关键挑战:在长时间运行的任务中保持上下文和记忆。与在简单编辑之外就难以应对的代理不同,Remoroo 旨在处理涉及文件访问、命令执行和迭代测试的复杂、持续数小时的“工程实验”。 其核心创新是一种“按需分页内存系统”,其灵感来自操作系统虚拟内存,可以有选择地存储和检索所需上下文。这使得 Remoroo 能够管理长时间运行期间产生的大量数据,防止代理“忘记”其目标或重复失败的尝试。 用户向 Remoroo 提供一个仓库和一个可衡量的目标,它将自主迭代,测试更改并从结果中学习。创建者正在寻求那些从事类似长时间运行的代理、训练或评估系统的人的反馈。网站上提供详细的技术文档。

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

## 预测市场与内幕交易:摘要 一份最新报告显示,在伊朗战争爆发前,有超过10亿美元的赌注通过预测市场以惊人的时机下注。 这引发了黑客新闻的讨论,中心围绕这些市场的伦理和功能。 许多评论员认为,成功的预测需要内幕信息,质疑这些市场是否本质上依赖于——并可能促成——非法内幕交易。 有人建议人工智能可以追踪大量潜在的非法赌注。 另一些人指出,与国家相关的行为者可能利用这些平台进行情报收集。 一个关键的争论围绕预测市场的价值。 有人认为它们通过揭示内幕信息为公众提供有价值的见解,而另一些人则认为它们主要使那些*拥有*内幕信息的人受益,可能助长“赌博流行病”并剥削弱势投资者。 人们对这些市场可能被用于非法活动以及缺乏监管表示担忧。 一些评论员强调了建立在信息不对称和人为稀缺性基础上的平台的更广泛的伦理影响,并将它们与更广泛的社会问题联系起来,例如财富不平等和信任的侵蚀。
联系我们 contact @ memedata.com