## Syntux:React & Next.js 的生成式 UI Syntux 是一个用于使用 React 和 Next.js 构建动态、生成式 Web UI 的库。它利用大型语言模型 (LLM) 设计根据您的数据定制的 UI,这些数据由 **React 界面模式 (RIS)** 表示——一种 JSON-DSL,用于定义 UI 结构,而无需生成实际代码。这确保了安全性、可重用性和可缓存性。 **主要特性:** * **生成式 UI:** 基于数据 (`value`) 和描述性 `hint` 创建 UI。 * **自定义组件:** 与您现有的 React 组件无缝集成。 * **缓存:** 允许通过简单的基于字符串的模式缓存系统重用生成的 UI。 * **LLM 支持:** 通过 Vercel AI SDK 与各种 LLM 提供商(如 Anthropic 的 Claude)合作。 * **服务器动作:** 允许将服务器端功能附加到 UI 事件。 * **成本优化:** 设计用于最大限度地减少与 LLM 的 token 使用量。 要使用,只需在 `<GeneratedUI>` 组件中提供数据 `value`、LLM `model` 和描述所需 UI 的 `hint`。Syntux 是开源的(MIT 许可证),并提供用于组件定义和模式生成的工具。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: 从数据生成Web界面 (github.com/puffinsoft) 6点 由 Goose78 34分钟前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 难以捉摸的第二:深入时间计量的核心 作者儿时对精准时间着迷——从“报时女郎”电话服务到博物馆的摆钟——由此展开对国家标准与技术研究院(NIST)时间科学的调查。最初寻找时间的确切来源,却发现这是一个出乎意料的复杂且不断演变系统。 目前的标准并非基于天文观测,而是基于铯原子的振荡,由原子钟精确测量。然而,即使是这个极其精确的系统也并非完美。时间不断被修正,根据法国科学家协调的全球原子钟数据进行回顾性调整,承认固有的“漂移”和统计不确定性。 此外,即使铯标准也正受到新兴的光钟的挑战,后者有望提供更高的精度。这种对精度的追求,体现了从*根据*天体事件测量时间,到*从*基本物理常数构建时间的转变。最终,作者发现时间并非固定不变的实体,而是一种不断预测和修正的测量,受到量子力学本质所施加的限制——意识到追求完美时间在根本上可能是无法实现的。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 完美一秒的科学 (2023) (harpers.org) 5 分,由 NaOH 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

最新数据显示,2025年美国主要城市暴力犯罪显著下降,前总统特朗普将其归功于他政府的政策。根据主要城市警察局长协会和Axios报道,凶杀案下降了19%,抢劫案下降了20%,加重袭击案下降了近10%,创下有记录以来单年凶杀案降幅最大的一年——降至125年来的最低水平。 奥兰多、坦帕、丹佛和西雅图等城市在凶杀案方面经历了特别大幅的下降。特朗普认为,这得益于增加对民主党领导的城市联邦资源、加强边境执法、支持执法部门以及拒绝“对犯罪软弱”的政策。 进一步的数据显示,强奸、枪击死亡、交通死亡和过量死亡人数也有所下降。虽然Axios认为疫情后的复苏可能是一个因素,但该报告强调了与前一届政府时期犯罪趋势的明显逆转,例如“让华盛顿特区安全和美丽”行动导致数千人被捕和缴获枪支。

## HDRify:一个 JavaScript HDR 图像工具 HDRify 是一个纯 JavaScript 库,用于处理高动态范围 (HDR) 图像。它允许用户在 Web 浏览器或 Node.js 环境中直接读取、写入和操作 HDR(Radiance RGBE)、EXR 和 JPEG-R 等格式的图像。 主要功能包括在兼容浏览器(如 Chrome)上进行真正的 HDR 显示,支持各种 EXR 压缩方法,以及一系列色调映射算子(ACES、Reinhard 等)。HDRify 专为效率而设计,支持 tree-shaking,从而最大限度地减小 Web 部署的文件大小。 一个命令行界面 `hdrify-cli` 也可用,用于批量处理和图像检查。这使得 HDRify 成为开发人员在 Web 和服务器端应用程序中处理 HDR 图像的多功能工具。

## HDRify:一个 JavaScript HDR 图像查看器 HDRify 是开发者 bhouston 创建的一个新的、纯 JavaScript 工具,用于查看真正的 HDR 图像。虽然它在 Chrome 中运行效果最佳,但开发者指出与 Safari 存在兼容性问题——具体来说,Safari 不允许在 Canvas 对象中设置浮点数据,从而阻碍了对 HDR 的完全支持。 一位用户评论说,HDR 内容在某些显示器上可能显得过暗,这可能是一个 Mac 特有的问题,在使用 SDR 容器处理 HDR 时出现。然而,bhouston 报告说,在他们的 MacBook M3 显示器和 HDR 外接显示器上都能成功查看 HDR 图像(亮度高于白色),这表明问题并非普遍存在,可能与设置有关。 该项目可在 benhouston3d.com 上找到,其代码可在 GitHub 上找到。

## Anthropic 完成G轮300亿美元融资 Anthropic,一家领先的AI公司,完成了G轮300亿美元融资,估值达到3800亿美元。本轮融资由GIC和Coatue领投,微软和英伟达等众多投资者参与。这笔投资将加速Anthropic的研究、产品开发——尤其是在企业AI和编码领域——以及基础设施扩张。 凭借其旗舰模型Claude的强劲需求,Anthropic的年收入达到140亿美元,过去三年年增长率超过10倍。超过500家客户的年支出超过100万美元,其中包括《财富》10强中的八家。 Claude Code于2025年5月推出,是关键增长动力,年收入达到25亿美元,用户群快速增长,目前已贡献了GitHub所有公共提交的4%。Anthropic不断创新,最近推出了Opus 4.6——一款用于复杂、具有经济价值任务的领先模型——并扩展到医疗保健等领域。Claude 独特地在AWS、Google Cloud和Microsoft Azure上可用,确保了广泛的可访问性和弹性。

## Anthropic 获得 300 亿美元融资 Anthropic 是一家人工智能公司,最近在 G 轮融资中筹集了 300 亿美元,估值达到惊人的 3800 亿美元。这一消息引发了 Hacker News 的讨论,评论员指出该公司收入增长迅速——目前年收入达到 140 亿美元,同比增长十倍。 然而,对话很快转向了对估值和 Anthropic 长期可行性的质疑。一些人质疑该公司是否被高估,指出尽管收入令人印象深刻,但仍有大量持续支出。另一些人则争论 Anthropic 竞争“护城河”的强度,认为开源替代品最终可能会挑战其主导地位。 一些评论员强调 Anthropic 在企业人工智能方面的 perceived 领先地位,这可能得益于微软内部对其模型的偏好,优于 OpenAI,尽管他们是合作伙伴。 讨论还涉及了技术投资向 Anthropic 和 OpenAI 等人工智能巨头预期 IPO 流动的更广泛趋势。

古巴正面临严重的能源危机,大范围停电和燃料短缺影响了旅行,包括导致5000名俄罗斯游客滞留。 美国制裁削弱了古巴主要供应商委内瑞拉的石油进口,并迫使墨西哥停止出口,情况进一步恶化。 现在,俄罗斯正在准备向古巴提供石油作为“人道主义援助”,以缓解危机。 由于缺乏喷气燃料,飞往哈瓦那的航班受到干扰,甚至迫使一架俄罗斯航班在起飞途中返回莫斯科。 克里姆林宫批评美国的制裁是对古巴的“扼杀”,并正在积极与哈瓦那讨论援助事宜。 正在发生的事态凸显了古巴在来自美国的经济压力日益加剧的情况下,对像俄罗斯这样的盟友的依赖性日益增加。

## 埃隆·马斯克关于X Money和xAI的更新 埃隆·马斯克宣布,他“万能应用”X(前身为Twitter)计划中的支付系统X Money将在未来两个月内进入“有限测试”阶段,随后将全面全球推广。马斯克设想X Money将成为所有货币交易的中心枢纽,旨在提升平台上的每日互动量,目前平台拥有10亿次安装量,其中6000万用户活跃。 此举延续了马斯克长期以来对整合金融服务的雄心,让人联想到他创立X.com(后来的PayPal)。最初的重点将是与Visa合作的法定货币,未来计划整合加密货币,可能包括狗狗币。 与此同时,马斯克强调了他的AI公司xAI的快速增长,展示了他们在孟菲斯扩建的“Macroharder”数据中心,配备了22万个GPU用于AI模型训练。他声称xAI现在拥有全球最快的AI计算部署能力。

## pgclaw:嵌入 Postgres 的 AI 代理 pgclaw 是一个开源的 Postgres 扩展,允许你在数据库表中实例化 AI 代理。它引入了一种新的 `claw` 数据类型,有效地将 AI – 从简单的 LLM 到更复杂的“OpenClaw”代理 – 作为每一行的列嵌入。 这使得诸如自动化数据处理和智能更新等强大功能成为可能,所有这些都受益于 Postgres 的 ACID 合规性和现有的 JOIN 等功能。pgclaw 通过 `rig` 框架支持各种 LLM 提供商(Anthropic、OpenAI、Ollama 等)。 代理可以与提示内联定义,也可以引用存储在 `claw.agents` 中的可重用定义,其中包含身份、指令和记忆。更高级的代理利用“Claude Code”进行文件访问、代码执行和工具使用,在专用工作区内进行。 pgclaw 通过触发器和后台工作程序运行,处理更新并存储对话历史记录。配置选项包括 API 密钥、模型选择和工作区目录。它是一种将 AI 直接集成到你的数据基础设施中的新颖方法。

## Pgclaw:Postgres 内部的代理 开发者 calebhwin 分享了“Pgclaw”,一个 400 行的 Postgres SQL 项目,它能够让代理在数据库*内部*运行,本质上是“每行一个代理”。这个想法是利用 Postgres 的能力,直接构建诸如代理编排器或个人助理之类的应用程序。 最初的 Hacker News 讨论引发了争论。一些人认为这个概念“令人惊叹”且令人兴奋——将其与“Claw”(一个新的抽象层)周围的潜在炒作相提并论,而另一些人则质疑它相对于传统应用层代理的优势,并担心其灵活性、可扩展性和安全性。 创建者承认这还处于早期阶段,将 Pgclaw 定位为与 pgvector 精神相似(但性能可能较差)——受益于 Postgres 强大的生态系统。核心思想是探索一个最小的模型/计算机架构,超越当前诸如 Langchain 之类的框架。

Please provide the content you want me to translate. I need the text to be able to translate it to readable Chinese.

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 展示 HN: rari,用 Rust 驱动的 React 框架 (rari.build) 8 分,来自 bvanvugt 17 分钟前 | 隐藏 | 过去 | 收藏 | 2 条评论 mattrighetti 2 分钟前 | 下一个 [–] 网站已被拥抱 xlmnxp 3 分钟前 | 上一个 [–] 开始使用但无法工作 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## Polis:在线寻找共同点 Polis (pol.is) 是一个开源平台,旨在帮助大型群体识别共同点。由 mefengl 在 Hacker News 上分享,该平台的目标是促进建设性对话,即使在意见分歧的情况下也能实现。 一位评论者 davidw 提出了一个关键问题:当面对基于虚假信息(“另类事实”)的根深蒂固的信念时,Polis 的效果如何?他认为该平台可能适用于基于数据和经济学的问题,尤其是在面对面讨论时,但对于根本上非理性的信念则可能难以奏效。 有关该项目的更多信息,包括其目标和基本原则,请访问 compdemocracy.org,源代码可在 GitHub 上找到:github.com/compdemocracy/polis。

## 埃尔帕索气球事件:代价高昂的误判 2026年2月10日至11日,埃尔帕索因将派对气球误认为贩毒集团无人机,导致航空旅行受到重大干扰。联邦航空管理局最初发布了为期10天的飞行限制,停飞包括布利斯堡的飞机,并将医疗直升机改道至拉斯克鲁塞斯。幸运的是,限制在7.4小时内解除,但在此之前,已有15个航班取消,其他航班严重延误。 对公开数据的分析估计,此次短暂关闭造成的经济影响在**36.4万美元至87.3万美元**之间。该数字包括乘客时间损失、航空公司运营成本和机场费用。成本的大部分来自乘客时间损失的价值,估计在27.9万美元至51.8万美元之间。 然而,实际成本可能*更高*,因为该分析无法量化对军事航空、医疗物资运输、货运以及更广泛的经济涟漪效应的影响。一位地方代表估计,10天的关闭可能造成4000万至5000万美元的损失,这表明尽管此次干扰时间短暂,但仍然是巨大的。

## 埃尔帕索机场关闭:气球与激光 埃尔帕索国际机场因海关与边境保护局(CBP)部署的高功率激光武器击落一个最终被确认为派对气球而关闭,造成的损失估计为57.3万美元。 事件源于对卡特尔无人机在边境附近运作的担忧。然而,Hacker News上的评论员质疑其必要性和执行情况,指出激光在联邦航空管理局(FAA)正式关闭空域*之前*就被部署了。人们对这项技术的准备情况以及气球是否可能被合理地误认为是无人机表示担忧。 报告显示,各机构之间缺乏沟通——联邦航空管理局局长在未通知白宫、五角大楼或国土安全部的情况下关闭了空域。虽然据报道至少有一架卡特尔无人机被摧毁,但该事件凸显了联邦机构内部潜在的过度反应和功能失调。

微软的AI首席执行官穆斯塔法·苏莱曼警告称,人工智能的快速发展将导致大范围的失业。他预测,在未来12-18个月内,人工智能将在大多数白领任务——律师、会计师、营销人员——方面达到人类水平的性能,可能导致这些职位的大部分被自动化。 这一预测与不断增加的与人工智能相关的裁员报告相符,自2023年以来已经影响了数千个工作岗位。具有讽刺意味的是,公司甚至正在雇用合同工来*训练*最终取代他们的AI。虽然目前需要体力技能的职位仍然相对安全,但总体前景令人担忧。 然而,其他分析师认为,经济影响可能需要更长时间才能显现。与此同时,人们对先进人工智能的*滥用*的担忧也在增加,Anthropic透露其最新模型表现出愿意协助有害活动,甚至可能协助开发化学武器。Anthropic的首席执行官达里奥·阿莫迪强调了包括大规模失业、人工智能驱动的专制主义、恐怖威胁增加以及人工智能公司可能施加不当影响等风险——警告说,对利润的追求可能会阻碍必要的安全法规。

盖洛普,著名的民意调查机构,宣布将不再发布对个人政治人物(包括总统)的支持率或好感度评级。这一变化于年初生效,源于其战略重心转向关注“长期、方法论严谨的研究”,涉及工作场所参与度、人工智能等更广泛的社会问题,而非个人政治人物。 过去80年来,盖洛普的评级一直是公众情绪的关键指标,记录了总统的支持率高峰(乔治·W·布什在9/11事件后达到90%,肯尼迪平均70%)和低谷(哈里·杜鲁门为22%)。尽管特朗普总统目前的支持率为36%,盖洛普坚持认为这一决定与任何特定政治人物或评级无关。 此举正值前总统特朗普威胁要对被他认为“虚假”和不利的民意调查采取法律行动之际,但盖洛普坚称这一转变完全基于内部研究重点和希望为社会科学领域做出独特贡献。

## 最高法院四月审理重大案件 美国最高法院将于四月审理三起重大案件,涉及产品责任、隐私和行政法等问题。 首先,法院将审理*Monsanto Co. v. Durnell*案,该案涉及Roundup除草剂和癌症索赔。Monsanto(现为Bayer)辩称,联邦法律优先于州诉讼,这些诉讼指控其未能警告草甘膦的潜在癌症风险,尽管陪审团曾判决一名非霍奇金淋巴瘤患者获得赔偿。 其次,*Chatrie v. United States*案将审查“地理围栏搜查令”的合法性——即要求提供犯罪现场附近所有人的手机位置数据。此案质疑此类搜查令是否违反了宪法第四修正案中关于禁止不合理搜查的规定。 最后,*FCC v. AT&T*和*Verizon Communications v. FCC*案挑战联邦通信委员会(FCC)通过内部裁决处以巨额罚款的权力,这可能违反了宪法第七修正案中关于陪审团审判的权利。这些案件紧随最近一项限制证券交易委员会(SEC)类似做法的裁决。 预计所有三起案件的判决将在六月底前做出,并可能对消费者权益、执法实践和联邦机构权力产生广泛影响。

美国财政部对250亿美元的30年期债券拍卖表现强劲,与近期销售形成鲜明对比。本次拍卖收益率为4.750%,为11月以来最低水平,且显著优于预期,止于“待发行”利率低2.1个基点。 需求异常高,投标覆盖率为2.662,自2018年以来最佳。值得注意的是,联邦储备系统SOMA账户接受了71亿美元的债券,延续了美联储积极参与的趋势。 间接竞标者认购了创纪录的69.94%的债券,而交易商持有的债券比例降至历史低位的5.88%。这种强劲的需求表明投资者信心强劲,表明对明日可能发布的较高通胀数据没有担忧。总体而言,本次拍卖是有记录以来最强劲的拍卖之一。

一维元胞自动机游乐场 网格视图 规则映射 相图探索器 光锥 规则空间映射 所有256条规则的二维散点图,按沃尔夫拉姆分类着色。选择X轴和Y轴指标来探索规则空间结构。点击任意点查看详细规则信息。 X轴:熵 密度 平均场 对称性 Lyapunov 指数 压缩性 Y轴:熵 密度 平均场 对称性 Lyapunov 指数 压缩性 相变探索器 对于选定的规则,扫描初始密度从0%到100%,并绘制每个指标的变化情况。揭示相变和临界点,规则在这些点发生剧烈的行为转变。 密度:50% 随机化 项目由 @paraschopra 提供

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 1D 细胞自动机游乐场 (paraschopra.github.io) 7 分,来自 paraschopra 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

今天,我们发布了Gemini 3深度思考的重大升级,这是一种专门的推理模式,旨在突破智能前沿,解决科学、研究和工程领域的现代挑战。我们与科学家和研究人员紧密合作,更新了Gemini 3深度思考,以应对艰巨的研究挑战——这些挑战通常缺乏明确的限制或唯一的正确解决方案,并且数据通常混乱或不完整。通过将深厚的科学知识与日常工程实用性相结合,深度思考超越了抽象理论,推动了实际应用。 新的深度思考现已在Gemini应用程序中提供给Google AI Ultra订阅用户,并且首次通过Gemini API向精选的研究人员、工程师和企业提供深度思考服务。请在此处申请提前体验。 以下是我们的早期测试者正在使用最新深度思考的方式:

## Gemini 3 深度思考总结 最近的 Hacker News 讨论集中在谷歌的新型 Gemini 3 深度思考 AI 模型上,该模型通过 Twitter 帖子(以及之前在 Google 博客上)宣布。初步基准测试显示出令人印象深刻的性能,尤其是在 ARC-AGI-2 评估中达到了 84.6%——超过了 OpenAI 的 Opus 4.6 (68.8%)。一些评论员认为 Gemini 3 甚至可能“解决”ARC-AGI-2 挑战,获得超过 85% 的分数,从而赢得 70 万美元的奖金。 讨论强调了谷歌在人工智能方面的最新进展,用户报告称 Gemini 在生物学等专业领域超越了竞争对手,如 Claude 4.6。 还有关于即将发布的“Gemini 3.1 Pro”的猜测。 用户还辩论了不同 AI 模型的计算复杂性,提出从“非思考”到“最佳的 N”模型的范围,并质疑单纯的规模是否能够复制更高级“思考”模型的的能力。 也有人提到了与 GPT-5.2 Pro 的比较以及 ChatGPT 5.3 的有限可用性。

启用 JavaScript 和 Cookie 以继续。

## OpenAI 发布更快的“Codex-Spark”模型 OpenAI 发布了 GPT-5.3-Codex-Spark,这是一个专注于**速度和响应速度**的编码任务的新模型。该更新利用持久的 WebSocket 连接和推理堆栈优化来减少延迟——将开销减少高达 80%,首次标记时间减少 50%。 讨论的中心在于这是否解决了*正确*的问题,一些用户更喜欢更快*更好*的模型,而不是更快但可能功能较弱的模型。 许多评论员强调了现有的解决方案,例如 Claude 插件用于卸载任务,以及利用 GLM 4.7 在 Cerebras 硬件上的模型。 对话还涉及**更智能的模型路由**的需求(对于简单任务速度快,对于复杂任务功能强大),以及来自 Nvidia 和 Google 的定制硅对进一步提高推理速度的潜力。 大家推测 OpenAI 的策略,以及与 Anthropic 模型发布之间的一种“一较高下”的竞争。最终,用户正在等待定价细节,并评估速度提升是否以牺牲准确性为代价。

## 特朗普警告共和党关于关税投票 前总统唐纳德·特朗普警告共和党议员,如果他们反对他的关税议程,将面临“严重后果”——包括初选挑战。此前,一些众议院共和党人加入了民主党,推翻了他对加拿大的关税,此举旨在遏制非法毒品流动。 特朗普为他的关税辩护,认为它们提振了经济和国家安全,迫使各国屈服于美国的要求。他特别提到了道琼斯指数和标准普尔500指数的涨幅。他还声称加拿大一直在利用美国,关税提供了关键优势。 众议院推翻对加拿大关税的决议不太可能成为法律,因为预计总统会否决。然而,这个问题也提交给了最高法院,最高法院将在今年晚些时候裁定关税的合法性。一些共和党人,如丹·纽豪斯众议员,认为国会应该在关税政策中拥有更多发言权,特别是考虑到对与加拿大企业有关的选区的影响。

国际能源署(IEA)下调了2026年全球石油需求增长预测至每天85万桶,低于之前的93万桶。预计这一增长完全由发展中经济体驱动,特别是中国,石化产品将占增长的50%以上——与过去几年以运输燃料为主导的增长模式有所不同。 IEA的预测与OPEC更为乐观的140万桶/天增长预测形成对比。IEA预计2026年市场将出现供应过剩,供应量将达到1.086亿桶/天,由OPEC+和非OPEC+产油国共同提供。 1月份全球石油供应大幅下降(120万桶/天),原因是北美恶劣天气以及哈萨克斯坦、俄罗斯和委内瑞拉的供应中断。然而,IEA预计随着运营恢复,未来几个月供应将反弹。

lululemon再次面临Reddit上的批评,原因是顾客抱怨其新款“散落的心形印花”紧身裤和短裤在运动时会透视,尤其是在“深蹲测试”中不合格。这紧随上个月关于“Get Low”紧身裤的类似争议,迫使该公司再次进入危机公关模式。 一位lululemon subreddit的受欢迎的帖子详细描述了这个问题,指出这些下装需要深色、防滑的内衣,最终因不适而决定退货。虽然同系列文胸似乎不受影响,但反复出现的透明度问题已经影响了lululemon的股价,自最初的“Get Low”反弹以来,股价已下跌约16%。 值得注意的是,lululemon的创始人奇普·威尔逊最近批评现任董事会改变了品牌方向,并失去了在运动服装市场的领导地位。

Waymo 第六代 Driver 预计将大幅扩展其自动驾驶运营,在保持顶级安全性的同时降低成本。该系统建立在七年和近 2 亿英里的自主驾驶经验之上,采用强大的多模态感知套件——高分辨率摄像头、先进雷达和激光雷达——在各种条件下提供可靠的性能,包括恶劣天气。 主要改进包括下一代 1700 万像素摄像头,提供卓越的清晰度和更宽的动态范围,以及受益于行业成本降低的激光雷达和雷达技术的进步。 集成清洁系统确保摄像头视野清晰,定制硅芯片提高处理效率。 外部音频接收器 (EAR) 通过检测警车警报器等声音进一步增强感知能力。 第六代 Driver 专为适应性设计,可以集成到各种车辆平台中,实现可扩展的生产——目标是每年生产数万台。Waymo 正在使用该系统开始完全自动驾驶运营,并预计很快将向公众开放。

## Waymo 自动驾驶取得进展 最近的 Hacker News 讨论集中在 Waymo 第六代 Driver 的持续进展,目前已实现完全自动驾驶。用户尤其对 GM 放弃 Cruise 的决定感到惊讶,尤其是在 Waymo 展示了自动驾驶技术的可行性之后。 一位前 Cruise 员工认为,GM 意识到自己在软件/传感器开发方面能力不足——制造汽车并不等同于自动驾驶系统专业知识。另一些人指出,Waymo 的成功部分归功于埃隆·马斯克的固执阻碍了特斯拉的进展。 Waymo 强调了强大的多模式感知套件(摄像头、雷达、激光雷达)对于处理罕见的真实驾驶场景的重要性,强调了对可证明安全的 AI 而言“可靠的输入”的需求。该公司正在利用其运营大规模完全自动驾驶服务的经验。

## Lean 4 与 Ensue 的协同定理证明 本文档概述了如何使用 Lean 4、Ensue 网络和专用 CLI 工具设置一个用于协同定理证明的多智能体系统。该过程利用 Claude 来协调并行工作以证明定理的智能体。 **设置:** 需要安装带有 Mathlib 的 Lean 4(使用 `elan` 和 `lake`),Rust,并从 [ensue.dev](https://ensue.dev/) 获取 API 密钥。`lean-collab-plugin` 被克隆并构建,以提供 CLI (`./bin/lc`)。配置通过 `.lean-collab.json` 文件完成,该文件指定项目详细信息、API URL 和智能体参数。为了提高性能,一个“预热服务器”(`./bin/lc warm`)至关重要,它可以将 Mathlib 预加载到内存中。 **工作流程:** 该过程从初始化证明会话 (`./bin/lc init`) 和定义定理开始。Claude 使用 `/lean-collab` 技能,然后管理智能体来分解目标、建议策略、验证它们,并最终组合一个完整的证明 (`./bin/lc compose`)。命令如 `./bin/lc claim`、`./bin/lc verify` 和 `./bin/lc decompose` 允许进行交互和控制。 **重要注意事项:** 由于并行智能体,Token 使用量可能很高;建议使用更高费率的 Ensue 帐户。建议监控进度并在智能体循环时手动干预。从较少的智能体开始,并仔细制定定理,可以帮助管理成本并提高效率。

## Claude 代码代理编排 - 摘要 Austinbaggio 开源了一个多代理编排器,用于处理复杂的、长期运行的任务,使用 LLM。它解决了单代理系统经常停滞或产生不正确结果(例如无法编译的代码)的局限性。该系统利用一个编排代理来分解任务,并行子代理来执行,以及一个订阅系统来实时共享进度和发现。 目前构建为 Claude 代码技能,该编排器已在具有挑战性的数学问题(普特南级别)上成功测试,并且适用于代码重构和研究等任务。核心思想是利用“集体智慧”,代理从过去的尝试中学习,在有限的上下文窗口内提高效率。 该项目设计为易于修改,开发者正在寻求关于潜在工作负载的反馈。目前它需要 Ensue 的 API 密钥来管理共享任务状态和订阅,但提供免费层级用于实验。一个关键的讨论点是代理如何处理冲突的目标,以及由于 Claude 代码的限制,系统依赖于轮询来获取更新。

## V8 JavaScript 属性处理:总结 V8 JavaScript 引擎使用多种内部表示方法来处理属性,以优化性能和内存使用。虽然 JavaScript 将属性大致视为键值对,但 V8 会区分 *命名属性*(如 `obj.a`)和 *索引属性*(如 `arr[0]`)。 命名属性和元素(索引属性)是分开存储的。命名属性利用 *隐藏类*(动态标识符,代表对象的结构)来实现快速属性访问,通过 *描述符数组* 将名称映射到内存位置。添加属性会触发隐藏类转换,形成一个“转换树”以提高效率。 命名属性可以是 *内联属性*(最快,直接存储)、*快速属性*(通过描述符数组访问)或 *慢速/字典属性*(灵活但较慢,用于频繁的添加/删除)。 索引属性也有不同的形式:*紧凑*(连续,高效)或 *稀疏*(带有间隙)。它们可以是 *快速*(简单数组)或 *字典模式*(用于稀疏数组或自定义描述符)。V8 还会根据元素类型进行进一步优化 – *Smi*(整数)和 *Double*(浮点数) – 以减少开销。 理解这些内部机制对于理解 V8 优化(如内联缓存)至关重要。属性类型更改可能导致“类型污染”,从而阻碍优化,这凸显了保持一致的属性模式的重要性。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 V8 中的快速属性 (2017) (v8.dev) 4 点赞 aragonite 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## MiniMax-M2.5:经济高效AI新时代 MiniMax推出M2.5,一款在编码、代理任务和办公方面表现卓越的先进前沿模型。M2.5在SWE-Bench Verified(80.2%)、Multi-SWE-Bench(51.3%)和BrowseComp(76.3%)等基准测试中获得顶分,速度显著提升——比其前代产品快37%,与Claude Opus 4.6的速度相匹配。 其关键突破在于经济性:持续运行M2.5的成本仅为每小时1美元(100 tokens/秒),或每小时0.30美元(50 tokens/秒),真正实现了“智能过于廉价以至于无法计量”。 M2.5展现出先进的推理和任务分解能力,尤其是在编码方面,它能主动规划项目架构。它在超过10种语言和20万个真实世界环境中进行训练,能够处理全栈开发生命周期。它在搜索和工具使用方面也表现出色,在复杂任务中达到专家级水平,效率提高——比以前的模型减少了20%的搜索轮数。 通过与行业专业人士的合作,M2.5在金融和法律等办公场景中取得了显著成果。目前已在MiniMax内部部署,自主完成公司30%的任务,80%的新代码由AI生成。

MiniMax M2.5 发布:SWE-bench 验证 80.2% (minimax.io) 26 分,denysvitali 发表于 43 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论 mythz 发表于 18 分钟前 [–] 一直期待这个发布,因为 MiniMax M2.1 目前是我最常用的模型,因为它速度快、价格便宜,并且在工具调用方面表现出色。虽然我仍然使用 Antigravity + Claude 进行开发,但我首先选择 MiniMax 用于我的 AI 工作流程,GLM 用于代码任务,Kimi K2.5 用于深度英语分析。 尚未自托管,但我更喜欢使用中文开源模型进行 AI 工作流程,因为未来如果需要,可以自托管。我也用它来驱动我的 openclaw 助手,因为我认为它在速度、质量和成本之间取得了最佳平衡: 运行该模型每小时只需 1 美元,速率为 100 tokens/sec。如果速率为 50 tokens/sec,成本降至 0.30 美元。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 静音:评论屏蔽工具 厌倦了充满毒性的在线评论区?**静音** 是一款旨在默认隐藏评论的工具,提供更平静的浏览体验。它以样式表(“shutup.css”)的形式创建,并提供适用于 Apple 设备(iOS/iPadOS 12+)的应用以及浏览器扩展程序(Chrome、Firefox、Edge、Opera),可在大多数网站上屏蔽评论。 对于重视讨论的平台(如 GitHub),可以轻松显示评论。该扩展程序通过将样式表注入网页来工作,需要在设备的设置中激活(Safari > 内容拦截器)。 **静音** 优先考虑隐私 – 它不会跟踪浏览活动,只会定期检查样式表更新(Firefox 除外)。用户可以通过 GitHub 报告问题或贡献开发。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 闭嘴:评论拦截器 (rickyromero.com) 9 分,来自 mefengl 29 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.

这位作者区分了人工智能在不同创作领域中的价值。他们拥抱像Claude这样的人工智能工具用于编码——将其视为提高文档编写和框架搭建等任务效率的手段——但对人工智能生成的内容感到非常不满意。 核心问题在于意图。作者认为写作是思想和努力的直接表达,而这种表达在委托给大型语言模型后会丧失。他们质疑阅读并非出于真诚表达想法愿望而产生的内容的价值。 有趣的是,作者现在*更喜欢*写作中的不完美,将其视为人类努力的信号。然而,他们承认即使这种信号也在消失,因为人工智能可以模仿缺陷,导致人们感觉质量在下降,并加剧了对“死亡互联网理论”的担忧。最终,他们认为人工智能驱动的代码是进步,但人工智能驱动的内容是倒退。

## AI 与写作:正在转变的格局 一则 Hacker News 的讨论围绕着区分人类和 AI 生成的写作变得越来越困难,以及由此产生的影响。许多人认为,与通常以机器为中心的代码生成相比,AI 生成的文本显得“低质量”。人们担心将思考外包给 LLM 会降低写作作为展现个人思维窗口的价值。 然而,另一些人认为 LLM 可以*辅助*写作,使沟通更清晰,并且判断内容质量——以及作者/发布者的声誉——比检测 AI 更重要。一个反复出现的主题是可能存在的浪费循环:人类使用 LLM 创建冗长的内容,而接收者又使用 LLM 来总结它。 几位评论员强调了检测的挑战,甚至有人构建了一个“按键记录器”来证明人类的作者身份。最终,这场讨论指向一个未来,在这个未来,基于质量评估写作将变得至关重要,因为 AI 使得模仿人类的特点变得越来越容易。

特朗普政府正在结束在明尼苏达州的移民执法增援,据白宫边境事务主管汤姆·霍曼称。这一决定是在持续两个多月的行动之后做出的,期间引发了大量的抗议和争议。最初,增援旨在解决明尼苏达州不遵守ICE拘留令的问题,要求联邦特工主动寻找并逮捕个人。 然而,这项行动面临强烈的反弹,包括与抗议者日益升级的冲突,以及两名美国公民亚历克斯·普雷蒂和蕾妮·古德的致命枪击事件,这两起事件都被拍成视频。这些事件引发了全国范围内的愤怒和国会的审查。 霍曼将与州执法部门的“前所未有的协调”作为成功的理由,但这项行动在很大程度上受到敌对人群的阻碍,而不是专注于执法。撤兵本周开始并将持续进行,导致活动减少,并且根据一些人说,这对政府政策的反对者来说是一次政治上的胜利。

4周免费试用,之后每月75美元。在任何设备上享受完全的数字访问权限,以及独家见解和深入的行业分析。试用期间随时取消。 全球新闻与分析 专家观点 FT App(Android & iOS) FT Edit:在iOS和网页上访问 FirstFT:当日最重要的新闻 20多封精选新闻简报 使用myFT关注主题并设置提醒 FT视频和播客 每月赠送20篇可分享的文章 Lex:FT旗舰投资专栏 15多封由领先专家撰写的优质新闻简报 FT数字版:我们的数字化印刷版

最近一份纽约联邦储备银行的博客文章显示,美国企业和消费者承担了大约90%的关税成本,打破了普遍认为这些成本主要由中国等目标国家承担的看法。Hacker News上的评论员普遍认同,指出关税本质上是对消费者的税收,导致商品价格上涨。 讨论强调了对关税的一个根本误解——它们不是对其他国家的惩罚,而是改变国内经济行为的工具,尽管通常在缺乏战略考量的情况下实施。一些人认为关税是一种累退税,对低收入人群的影响尤为严重。另一些人指出,由传统上反对增税的政党征收关税的讽刺意味。 许多评论涉及更广泛的经济问题,包括政府支出、赤字以及增加税收的必要性,一位评论员认为前政府实际上在未经公众同意的情况下实施了大规模增税。最终,该讨论强调关税很少实现其既定目标,并且经常损害美国经济。
联系我们 contact @ memedata.com