本文详细介绍了一个团队针对 AWS Lambda 在托管 ONNX 模型时出现持续“内存溢出”(OOM)错误的排查过程。 起初,团队试图通过缩小 `lru_cache` 来解决内存增长问题,但这反而加速了 OOM 的发生。他们发现,Lambda 报告的 `@maxMemoryUsed` 指标是执行环境的“历史最高值”(high-water mark),而非单次调用的指标,因此用它来检测内存泄漏具有误导性。 真正的罪魁祸首是 `glibc` 的内存囤积机制。由于 ONNX Runtime 使用了多线程,`glibc` 创建了多个内存池(arenas),即使在调用 `free()` 后仍不释放已分配的内存。通过将 `M_MMAP_THRESHOLD` 从 128 KB 调整为 32 KB,团队强制分配器更积极地将内存归还给操作系统,从而使囤积的内存减少了 97%。 **关键点:** * `@maxMemoryUsed` 并非单次调用指标,而是累积的历史峰值。 * RSS 指标可能具有误导性,因为分配器通常会“囤积”已释放的内存。 * 应使用 `mallinfo2()` 查看实际的堆内存使用情况。 * 在 Lambda 环境中,调整 `mmap` 阈值是一种以轻微延迟为代价,显著降低内存占用的有效方法。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Lambda 并没有内存泄漏,是你的指标在骗你 (taktile.com) 11 点,由 tlarkworthy 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 VulgarExigency 2 分钟前 [–] Claude,给我写一份事后分析。别出岔子。不知为何,要在里面加一张巨大的英雄横幅图片,而不是用 HTML 来渲染。我自己也在用 AI(目前在工作中这基本上是不可或缺的),倒不是说这些信息没用,但天哪,我真是受够了这种写作风格了。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

特斯拉首席设计师弗朗茨·冯·霍尔茨豪森(Franz von Holzhausen)近日宣布,备受期待的特斯拉 Roadster 将在几周内首次亮相。这一时间节点尤为重要,因为它恰逢 SpaceX 即将进行的首次公开募股(IPO),且市场上关于特斯拉与 SpaceX 可能在 2027 年合并的猜测不断。 该公告突显了特斯拉与法拉利在经营理念上的鲜明对比。尽管法拉利首席执行官最近重申了对人类驾驶车辆的承诺,拒绝采用自动驾驶技术以保留驾驶的“乐趣”,但批评人士认为,这一立场可能掩盖了其在特斯拉海量真实驾驶数据面前缺乏竞争力的事实。尽管法拉利近期在混合动力车型上的表现平平,但该公司依然固守传统的驾驶体验。 相比之下,新款特斯拉 Roadster 代表了向美国式创新的转变,有望以极低的成本超越法拉利表现平平的“Luce EV”。通过在提供高性能的同时保留先进的自动驾驶功能选项,特斯拉持续向传统汽车行业发起挑战。

融入您的视频编辑工作流程:ntsc-rs 不仅提供独立程序和网页版,还可作为 After Effects、Premiere 以及所有兼容 OpenFX 的软件插件使用。这包括 DaVinci Resolve、Hitfilm 和 Vegas。

Hacker News 社区正在讨论 **ntsc-rs**,这是一个致力于模拟模拟电视和 VHS 视频伪影的开源项目。 讨论强调了实现逼真模拟的技术复杂性,用户指出,要达到真正的保真度,需要复制诸如彩色副载波相移、色同步信号检测失败以及 PAL 制式特有的汉诺威条纹(Hanover bars)等细微现象。 除了技术挑战外,对话还涉及了该技术在现代视频制作中的实际应用。尽管一些电影制作人仍偏爱老式硬件的“真实”瑕疵,但数字模拟已成为行业标准。创作者经常使用这些工具来营造“90年代摄像机”的审美效果,而无需承担使用笨重且过时设备的后勤负担。评论者还将此与摄影师重新发现老式数码卡片机的近期趋势进行了类比,认为低保真、“复古”的数字格式可能会作为一种审美选择,走上类似的主流化道路。

美国国税局(IRS)与财政部宣布了一项拟议法规,旨在调整对免税组织支付的高额薪酬所征收的消费税。根据《国内税收法》第 4960 条的规定,目前免税组织需对其薪酬排名前五位且超过 100 万美元的雇员缴纳消费税。 自 2025 年 12 月 31 日之后的纳税年度起,新规将取消“前五名”的限制,将消费税的适用范围扩大至所有年薪超过 100 万美元的雇员。该法规还将追溯至 2016 年至 2025 年间符合此前高薪标准的离职员工。关于超额“降落伞支付”的规定保持不变,并为特定志愿者增设了豁免条款。 国税局表示,此举旨在加强对免税实体的问责制。然而,美国注册会计师协会已敦促政府提供过渡性救济,警告称这些变动可能产生意料之外的财务负担。专家建议,非营利组织现在必须从战略上重新评估高管薪酬与退休福利方案,以减轻潜在的税务风险。国税局正就该提案征求公众意见,截止日期为 8 月 4 日。

Meta 已证实,Instagram 人工智能辅助账户恢复系统中的一个漏洞导致黑客劫持了超过 20,000 个账户。此次漏洞持续时间从 4 月中旬一直到本周,源于一个编程缺陷:系统未能验证请求重置密码的电子邮件是否与目标账户所关联的地址匹配。 通过利用此漏洞,黑客诱骗人工智能聊天机器人将密码重置链接发送到未经授权的电子邮箱,前提是受害者未启用双重身份验证。这使得攻击者能够完全控制账户,并可能获取私人信息、联系方式和个人资料数据。 对此,Meta 已禁用该人工智能聊天机器人并移除了存在漏洞的代码路径。该公司目前正在审查其其他人工智能工具以防止类似攻击,并已指示受影响的用户重置密码并重新验证账户。尽管 Meta 表示尚不清楚在此次泄露事件中被访问的个人数据的具体范围,但该事件凸显了该公司在积极推进人工智能整合过程中存在的重大安全疏忽。

Meta 近日证实,由于其 AI 聊天机器人的一个安全漏洞,数千个 Instagram 账号遭到入侵。此次泄露的原因是:通过 AI 触发的密码重置工具未能验证用户提供的邮箱地址是否与目标账号关联的邮箱一致。 Meta 对此辩称,AI 工具本身“运作正常”,并将故障归咎于下游验证流程中的一个程序错误。这一说辞引发了 Hacker News 用户的批评,他们质疑 Meta 是否在不公平地推卸责任。评论者认为,不应免除 AI 的责任,因为底层系统未能执行关键的安全权限限制。 官方文件显示,此次泄露发生在 2026 年 4 月,并于 2026 年 5 月下旬被发现。该事件凸显了各界对将大语言模型(LLM)集成至敏感后台操作的持续担忧,以及依赖 AI 驱动界面进行账号管理的潜在风险。

WoofWare 发布了 **PawPrint**,这是一个专为高精度调试而设计的早期确定性 .NET 运行时。通过解释中间语言(IL)并对原生基础类库(BCL)代码进行填充(shimming),PawPrint 能够利用概率并发测试实现对线程调度的细粒度控制。这使得开发者能够可靠地重现并识别通常难以捕获的复杂竞争条件、死锁和异常。 该运行时采用了独特的溯源追踪架构,每个指针和算术运算结果都会保留其来源元数据,为未来的“时光回溯调试”(time-travel debugging)功能提供了坚实的基础。 尽管目前项目尚未完全成熟——大部分 BCL 原生代码仍需手动建模——但 PawPrint 已能成功处理 `Task.Run`、反射和同步原语等核心功能。该项目在实现 ECMA-335 规范时,通过利用大语言模型(Claude Opus、GPT-5.5)得到了显著加速,但作者强调人工架构审查依然至关重要。开发者指出,完全自动化复杂的架构决策(如内存溯源处理)往往会导致技术债务,这进一步强调了在专业系统编程中专家指导的必要性。PawPrint 现已发布至 NuGet,供有兴趣体验确定性执行环境的用户使用。

``` Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 WoofWare.PawPrint,一个确定性的 .NET 运行时 (patrickstevens.co.uk) 17 点,由 Smaug123 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 Smaug123 2 小时前 [–] 算是一个充满热情的项目。我敢肯定,如果你尝试使用它,它会惨败,但它确实已经能做一些很酷的事情了!回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

据报道,五角大楼的国防情报局(DIA)已将针对以色列的反情报威胁级别提升至“关键”,理由是担忧以色列对美国官员进行侵入式监控。美国官员称,此举源于以色列试图监控美方内部关于伊以当前战事的讨论。 尽管盟友间的情报搜集并不罕见,但官员们表示,以色列近期的行动已超出了正常预期,这可能会在两国处理有关伊朗和黎巴嫩冲突的政策分歧时,造成双边关系紧张。这一评级旨在发出警告,促使美国官员在外交接触中更加谨慎,不过日常的情报共享目前暂未受到影响。 以色列大使馆已断然否认了这些指控,称其“完全虚假”且带有政治动机,并坚称以色列不会对盟友进行间谍活动。与此同时,一名白宫官员也否认了该报道,称其不准确。尽管予以否认,但以色列在情报搜集方面一贯以强硬著称,这使得美国官员在与以色列同行打交道时,通常会执行包括使用一次性设备在内的安全协议。

一份近期的报告指出,五角大楼已将以色列对美间谍活动的威胁级别提升至最高级,这一消息在 Hacker News 上引发了激烈讨论。尽管文章指出盟友间的间谍活动并不罕见,但消息源称以色列近期的行动已超出了常规界限。 评论者对此事各抒己见。有人认为,一个国家为了自身生存利益采取此类行为在所难免;也有人反驳称,这种程度的操控对于正式盟友而言是不可接受的。讨论的焦点多集中在情报搜集的“非同寻常”性质上,部分用户推测这与近期在黎巴嫩和加沙军事政策上的分歧有关。 讨论随后演变为关于历史矛盾的更广泛争论,例如 1967 年“自由号”事件、对美国政治中外国影响的担忧,以及“前”情报人员在科技行业中的角色等。总体而言,参与者对官方叙事持怀疑态度,许多人质疑当前外交关系的透明度,并担忧美国的外交政策在多大程度上受到了外国情报行动的干扰。

加利福尼亚州在初选后冗长的计票过程,因缺乏透明度和效率而招致强烈批评。与大多数能迅速得出结果的发达国家不同,加州往往需要数周时间来统计选票。数据分析师内特·西尔弗(Nate Silver)将这一趋势描述为州政府治理能力的失败。 该州对全民邮寄投票的依赖——即接受在选举日当天邮戳的选票,且在选举日后一周内仍有效——是造成延迟的主要原因。包括唐纳德·特朗普和联邦检察官比尔·埃萨利(Bill Essayli)在内的批评者认为,这一制度助长了结构性脆弱,侵蚀了公众信任,并可能引发欺诈。尽管州务卿雪莉·韦伯(Shirley Weber)为计票速度辩护,称这是为确保准确性而必须付出的代价,但观察人士指出,加州计票速度居全国之末,这正是系统性功能失调的证明。 针对有关选举公正性的担忧,美国加州中区联邦检察官办公室已对潜在的欺诈行为展开调查,并对选民名单进行了全面审计。随着计票工作的持续,这场辩论凸显了加州选举模式在优先考虑便利性的同时,是否以牺牲问责制和及时出结果为代价,这一问题引发了日益深刻的分歧。

1985年,还是青少年的我升级了Atari 800XL电脑,并开始编写“DOSBOS”——一个基于BASIC语言、旨在管理磁盘内容的实用程序。尽管受限于Atari BASIC的功能,我仍花了数周时间开发该程序并撰写文档,最终在父亲的帮助下(他在工作单位打印了代码),将其投稿给了《ANALOG》杂志。 该程序最终被退稿了。虽然我至今仍保留着那封手写的、充满个人关怀的退稿信,但这段经历让我明白了坚持的价值,以及完成一个项目所带来的自豪感。DOSBOS的操作流程相当笨拙——为了避免覆盖代码,必须先将程序LIST(列出)到磁盘上,这甚至不如标准的DOS菜单高效。然而,开发它的过程是一次非常有意义的编程练习。回首往事,等待退稿信的那两个月,让我对当今应用商店带来的即时满足感有了更深刻的理解。我依然保留着那张存有原始源代码的软盘,并对这个我至今仍称之为DOSBOS的第一个重要编程项目怀有深厚的感情。

这篇 Hacker News 的讨论围绕一篇回顾文章展开,文章讲述的是 1985 年被《ANALOG Computing》杂志拒稿的项目“DOSBOS”。 对话引发了一场争论:为什么 20 世纪 80 年代的个人电脑没有将内置的 BASIC 解释器演化为功能齐全的操作系统 shell。一位评论者认为,如果 BASIC 放弃行号并集成标准的文件管理命令,本可以像 Unix shell 那样,同时作为交互式命令行和脚本语言来使用。 其他用户指出,这一概念在 Commodore 生态系统中已经得到部分实现。例如 C64 等系统配备了 BASIC 4.0,其中包含了 `CATALOG` 和 `SCRATCH` 等直接用于文件操作的命令。这使得用户能够通过 BASIC 环境直接与磁盘驱动器交互,证明了 BASIC 驱动操作系统的构想不仅可行,而且在当时已经有了有限的实践。

在这篇为《PJMedia》撰写的文章中,蒂姆·奥布莱恩(Tim O’Brien)强调了林肯纪念堂与华盛顿纪念碑之间倒影池的成功修复。这项工程是由唐纳德·特朗普在国家成立250周年纪念日前夕所倡导的。 奥布莱恩指出,该项目仅用了几个月时间,耗资约1300万美元便告完成。相比之下,华盛顿传统渠道此前预估该项目需要数年时间,且耗资高达3亿美元。他称赞了倒影池的美学效果,特别是深蓝色的密封涂层,并指出结构性的修复确保了该地标的长期稳固。 作者认为,该项目一直遭到左翼势力的反对,反对声浪从对颜色选择的批评(通常基于误导性的人工智能生成图像)到对成本的突然担忧。奥布莱恩将其与奥巴马政府时期在该地标上花费的3400万美元进行了对比,并称后者的投入效果不佳。最终,奥布莱恩主张该项目是特朗普政府的一次“振奋人心”的胜利,并暗示左翼的反对源于他们无法将自身的政治偏见与这一地标落成后所呈现出的不可否认的成功与美感相调和。

我们使用 Cookie 及类似技术来存储和访问设备信息,以提升您的浏览体验。若您表示同意,即允许我们处理您的浏览习惯和唯一标识符等数据。 数据用途分为以下几类: * **绝对必要:** 实现所请求服务或网络通信所必需。 * **偏好存储:** 保存您的特定设置。 * **统计:** 用于网站分析,通常保持匿名。 * **营销:** 跨网站追踪活动,以构建用户画像并进行定向广告推送。 请注意,撤销同意或拒绝可能会限制您使用网站的某些功能。虽然部分数据(如统计信息)通常是匿名的,但其他追踪方法则专门用于个性化广告和跨站监控。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 You Can Run (atavist.com) 6 分,由 bryanrasmussen 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

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

“Show HN: 非欧几里得庞加莱圆盘上的无限画布笔记”是一款利用双曲几何来组织信息的实验性笔记工具。该应用采用庞加莱圆盘模型,将无限的工作空间投影到有限的区域内,使用户能够通过流畅的空间扭曲来浏览数据。 开发者 uonr 创建该项目的初衷是为了解决传统屏幕空间有限以及基于缩放的界面所带来的局限性。尽管该项目曾因复杂的非欧几里得数学问题一度停滞,但开发者通过利用大语言模型协助坐标系设计和优化算法,成功克服了这些障碍。来自 Hacker News 社区的早期反馈十分积极,用户称赞其流畅的体验以及独特且令人耳目一新的思维组织方式。目前,开发者正在寻求关于这种非常规空间范式实用性的反馈。

Python 指导委员会已要求将 CPython 中实验性的 JIT 编译器从非正式状态转变为通过标准追踪 PEP 正式支持的功能。 委员会在肯定贡献者出色工作的同时指出,关于长期维护、安全性、工具支持以及对下游打包者影响等关键问题仍未得到解决。因此,委员会实施了临时冻结:在 PEP 被接受之前,主分支不得合并任何新的 JIT 功能或优化。但漏洞修复和安全补丁仍可继续。 拟议的 PEP 必须明确维护计划、与现有工具(如调试器和性能分析器)的兼容性保证、成功指标,以及其与第三方 JIT 的关系。委员会建议 PEP 应优先构建灵活的 JIT 基础设施,而非偏向某一种特定的实现。 社区有六个月的时间提交并解决该 PEP。如果在此期间内没有提案被通过,JIT 代码将从主存储库中移除。此举旨在为如此重要技术范畴的项目提供必要的清晰度和承诺。

Python 指导委员会已要求暂停实验性 CPython 即时(JIT)编译器的开发。若要继续推进,开发人员必须起草一份正式的“标准跟踪 PEP”(Python 增强提案),详细说明该项目的长期维护承诺、性能保证以及对分发者的影响,以供社区和委员会审议。 这一公告在 Hacker News 社区引发了褒贬不一的反应。一些评论者对突然叫停感到沮丧,指出该项目近期展示的性能提升终于达到甚至超过了默认解释器;而另一些人则认为,具有如此重大影响的实验性功能不应过早合并到主代码库中。此外,还有人将其与 Ruby 的 YJIT 进行对比,质疑为何 Python 尽管拥有巨大的工业应用规模,但在 JIT 集成方面却落后于其他语言。该项目的未来现取决于能否成功起草并获批一项新提案,将 JIT 从一项实验性功能转变为 CPython 核心且受支持的组件。

唐纳德·特朗普总统表示,联邦政府有意收购主要人工智能公司的公共股权,并提出了一种让美国公众能够成为行业成功“合伙人”的模式。特朗普指出,其政府计划近期与人工智能领域的领袖会面,以探讨这一概念的可行性。 该提议与参议员伯尼·桑德斯所支持的一项立法倡议不谋而合。桑德斯近期宣布计划提出《美国人工智能主权财富基金法案》。桑德斯的提案主张对大型人工智能公司征收一次性 50% 的股票税,以建立一个主权财富基金,从而确保行业的利润能惠及公众,而非仅仅使股东受益。 尽管特朗普和桑德斯分属政治光谱的两极,但双方都认定人工智能是一个可以通过公共所有权带来经济利益的领域。尽管这种共识十分罕见,但他们在监管问题上仍存在分歧;特朗普近期签署了一项行政命令,要求对人工智能模型进行自愿性的发布前审查,桑德斯批评此举力度不足,并坚称必须采取强制性的国会行动才能保护公众利益。

**zeroserve** 是一款高性能、零配置的 HTTPS 服务器,旨在替代 Nginx 和 Caddy 等工具。它直接从单个不可变的压缩包(tarball)提供网站服务,并利用 `io_uring` 处理所有 I/O 操作,从而实现卓越的速度和效率。 主要创新点包括: * **程序即配置**:用户无需使用复杂的声明式文件,而是将 eBPF 程序嵌入到压缩包中。这些脚本在用户空间沙盒中运行并即时编译(JIT)为原生代码,用于处理包括路由、身份验证、速率限制和反向代理在内的所有请求逻辑。 * **卓越性能**:在单核基准测试中,zeroserve 在提供小型静态文件和处理代理 API 请求方面的表现始终优于 Nginx 和 Caddy。 * **操作简便**:该服务器支持原子化部署——只需替换压缩包并发送 `SIGHUP` 信号,即可在不中断连接的情况下热重载网站、脚本和 TLS 证书。 * **现代安全性**:原生支持 TLS 1.3、加密客户端问候(ECH)以及 JA4 指纹识别。 通过将请求处理和配置集成到一个可脚本化的事件循环中,zeroserve 为现代 Web 服务提供了一种统一、易读且高效的解决方案。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Zeroserve:一个可以用 eBPF 脚本编写的零配置 Web 服务器 (su3.io) 13 点 由 losfair 2 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 bflesch 0 分钟前 [–] 看起来不错,功能也很好。但不知为何,我这边就是提不起劲,感觉太“人造”了。我不知道这些指标是不是伪造的,便捷功能是否真的有效,或者是否有经过适当的加固。 如果项目是靠“感觉”写出来的,或者 README 是自动生成的,我还可以接受。但连发布公告的博文都是 AI 生成的,我个人完全无法判断你对软件质量的理解是否与我一致。 这是一个奇怪的世界,如果这项目是在几年前发布且没有 AI 生成的声明,我肯定会毫不怀疑地全盘接受。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

在《Trees to Flows and Back》一文中,作者 Sai Niranjan Ramachandran 和 Suvrit Sra 弥合了两个看似无关范式之间的鸿沟:层次化决策树与连续扩散模型。该论文建立了这两类模型之间的形式化数学对应关系,揭示出两者均受名为“全局轨迹分数匹配”(GTSM)的共同优化原则支配。通过该框架,作者论证了理想化的梯度提升是这些模型的一种渐进最优方法。 这一理论统一带来了两项重要的实际应用: 1. **TreeFlow**:一种用于表格数据的生成模型,在提升保真度的同时实现了 2 倍的计算加速。 2. **DSMTree**:一种蒸馏技术,可有效地将层次化决策逻辑迁移至神经网络中,在多个基准测试中均能稳定地达到教师模型性能的 98% 以上。 通过证明决策树与扩散过程是同一事物的两个侧面,该研究为增强表格数据生成和模型可解释性提供了一个强有力的新视角。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 从树到流及往复:决策树与扩散模型的统一(arxiv.org) 9 分 | rsn243 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

软件开发者 Simon Willison 发布了 `micropython-wasm`,这是一个处于 Alpha 阶段的库,旨在为在大型应用程序中执行不受信任的 Python 代码提供一个安全、隔离的沙箱环境。 Willison 强调,对于像 Datasette 和 LLM 这样的项目,沙箱环境是必不可少的,这样可以在不影响系统稳定性、文件完整性或网络安全的前提下,实现功能强大且可扩展的插件系统。在发现现有的 Python 沙箱解决方案不可靠或维护不善后,他转向了 WebAssembly (WASM)。 通过利用 `wasmtime` 库和一个自定义编译的 MicroPython 版本,Willison 创建了一个稳健的沙箱,它提供了内存/CPU 限制、受限的文件系统访问,以及选择性公开宿主函数的能力。一个关键的突破是在多次调用之间保持了持久的解释器状态,从而支持复杂的多步代码执行。 尽管目前该工具仍处于 Alpha 阶段,但已可通过 PyPI 获取,并与 Datasette 生态系统集成。Willison 承认新沙箱固有的风险,但他希望这一原型能够鼓励专业安全团队进一步开发和标准化 Python-in-WASM 解决方案,以实现生产级的沙箱环境。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在沙盒中使用 MicroPython 和 WASM 运行 Python 代码 (simonwillison.net) 11 个积分,由 theanonymousone 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 tmaly 18 分钟前 | 下一条 [-] 我正在思考这东西的用例。我原以为客户端的 WASM 版本可以作为一个供初学者练习 Python 子集的平台。但我实在想不出有什么好的 WASI 用例。 回复 theanonymousone 2 小时前 | 上一条 [-] 附:我当时正在为我的一个实验项目随意搜索“沙盒 Python”,刚好搜到了今天发布的这篇文章。真是太巧了!谢谢。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:```

美国农业部已确认在德克萨斯州扎瓦拉县(Zavala County)的一头小牛身上发现了第二例新大陆螺旋蝇(NWS)感染病例。尽管这两起病例仍被控制在既定的移动管控区内,但这种寄生虫在 20 世纪 60 年代曾在美国被根除,如今的卷土重来对本已萎缩的美国牛群构成了重大威胁。 新大陆螺旋蝇扩散的风险令人担忧,因为德克萨斯州拥有全美 14% 的牛群。分析人士警告称,如果爆发疫情,可能会加剧该行业目前的下行周期,进一步挤压肉类加工商的利润空间,并可能推高牛肉价格,或促使消费者需求转向鸡肉等替代品。在德克萨斯州或周边地区设有业务的大型肉类加工商(如 JBS 和 National Beef)如果疫情扩散,将面临潜在的财务风险。相反,如果美国供应中断,像 Minerva 这样的南美出口商可能会因需求增加而受益。 目前,美国农业部的策略重点是加强生物安全、投放不育昆虫以及实施严格的移动管控,而非大规模扑杀。有关部门正密切监控局势,以防止该寄生虫扩散到目前的管控区之外。

英国金融时报 安全验证 如需帮助,请访问 help.ft.com。对于给您带来的不便,我们深表歉意。 请启用 JavaScript 和 Cookie 以继续。 以下信息可帮助我们的支持团队解决此问题。 原因:挑战 请求 ID:a078d07b083088d4 状态码:403 条款与条件 隐私政策 Cookie 政策 管理 Cookie 版权声明 奴役声明与政策 © 英国金融时报有限公司 2026。FT 和“Financial Times”是英国金融时报有限公司的商标。 英国金融时报及其新闻报道受《金融时报编辑行为准则》下的自律制度约束。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 英格兰和威尔士警方被要求停止在法庭陈述中使用人工智能 (ft.com) 23 分,nmstoker 发布于 56 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

**Splash** 是一种简单且易于阅读的色彩格式,它使用 3 位数字来表示 RGB 通道,每个数字的范围从 0 到 9。例如,900 代表纯红,000 代表黑色,999 代表白色。 作为一种情感化工具,Splash 通过提供仅 1,000 种颜色的有限选择来帮助创作者克服选择困难,消除寻找“完美”色调的压力。它具有高度灵活性:你可以通过将 0–9 映射到 0–255 来通过数学方式生成颜色,也可以使用查找表来定义自定义的品牌色板。 由于该格式避免了字母和复杂的语法,它在代码中非常易于实现——无论是通过简单的函数、CSS 变量还是预设的样式表。该系统旨在实现“顺滑”与易用,鼓励实验而非追求完美。通过限制选择,Splash 使设计过程更快、性能更高,并最终带来更多的自由。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Splash 是一种色彩格式 (todepond.com) 4 点,由 tobr 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在这篇评论中,《Fringe Finance》认为近期市场波动以及比特币(常被视为风险偏好的先行指标)的急剧下跌并不令人意外。作者指出,尽管纳斯达克指数仅有小幅回调,但股票估值仍处于历史极端水平,席勒市盈率(Shiller CAPE ratio)正接近 1999 年互联网泡沫以来的最高纪录。 文章警告称,投资者过度依赖美联储会在经济下行时提供“安全网”的假设。然而,由于通胀依然顽固,美联储提供货币刺激的能力受到严重限制。此外,当前的市场上涨呈现出广度窄、杠杆高以及依赖期权驱动资金流的特征,这使得整个系统极易受到快速去杠杆事件的影响。 最终,作者告诫投资者不要盲目“逢低买入”,并指出当前价格远称不上吸引力。在当前的经济环境下,市场依然沿用过去由流动性驱动的范式可能是一种危险的误判。作者敦促投资者保持警惕,因为市场情绪的转变可能会引发一场由杠杆驱动的剧烈回调。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 人工智能投资推高了通货膨胀 (washingtonpost.com) 7 点 | reaperducer | 1 小时前 | 隐藏 | 往日 | 收藏 | 2 条评论 | 帮助 senordevnyc 40 分钟前 [–] 实际标题:人工智能导致你生活成本增加的 4 种惊人方式 文中列举的四种涨价商品: - 任天堂 Switch 2(上涨 11%) - 马里兰州电费(上涨 48%) - Quickbooks Plus(上涨 16%) - Mac Mini(上涨 33%) 回复 happytoexplain 6 分钟前 | 父评论 [–] 他们声称这四个例子是唯一涨价的东西吗?抱歉,我无法阅读原文。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

波斯湾局势在美伊军队发生一系列夜间冲突后升级。冲突始于美国中央司令部(CENTCOM)在霍尔木兹海峡附近拦截了四架伊朗攻击型无人机。作为报复,美军打击了伊朗位于锡里克和格什姆岛的沿海雷达与监视设施。 伊朗随后向巴林和科威特发射了一连串弹道导弹,旨在惩罚这些接纳美军基地的国家。尽管中央司令部称这些导弹已被成功拦截,但伊朗外交部谴责美方的打击违反了现行停火协议,指责华盛顿危及地区安全,并警告周边国家不得为“侵略者”的行为提供便利。 尽管此前有观点称伊朗的军事能力已接近崩溃,但特朗普总统承认德黑兰仍保有约20%的导弹储备。“史诗愤怒”行动(Operation "Epic Fury")已进入第100天,此类交火的反复发生凸显了局势的脆弱性,令人担忧目前的“有限”敌对状态正在逐步将两国推向全面的地区战争。巴基斯坦目前正努力促成双方恢复正式谈判,但市场情绪仍对达成持久和平协议持怀疑态度。

本项目提供了一套轻量级、与渲染器无关的实时抖动物理标准,在简单的布娃娃系统与复杂的软体模拟之间找到了平衡点。通过使用 UV 映射权重绘制和阻尼弹簧骨骼,开发者可以定义出能随父级运动而真实抖动的柔软区域。 **核心组件:** * **`jiggle-physics.js`**:纯粹的模拟引擎,基于父级的速度和加速度计算阻尼弹簧偏移量。它与渲染器无关,不需要 DOM 或 WebGL,可轻松集成到任何游戏循环中。 * **变形逻辑**:采用简单的通用公式 `vertex += weight * boneJiggle` 来驱动运动,从而实现局部的“肉体回弹”以及挤压和拉伸效果。 * **资源标准**:使用 UV 映射的权重纹理来定义柔软度(0–1)和骨骼分配。这种方法性能极高,每个顶点仅需一次纹理查找。 随附的 WebGL 演示(`jiggle-app.js` 和 `index.html`)展示了该系统的实际运行效果,其中包含用于绘制权重、调整物理参数(刚度、阻尼、重力)以及测试各种几何体的工具。该系统专为广泛的可移植性而设计;任何支持基础向量数学的引擎均可实现此标准。

一位用户分享了一个新的“Show HN”项目,这是一个专为网页浏览器设计的轻量级、零依赖软体物理引擎。该项目通过一个抖动的甜甜圈模型演示了其功能。 Hacker News 社区对此给予了积极评价,称赞了该引擎简洁的架构——特别是它将物理引擎与渲染器分离的设计,使其能够轻松适配 Three.js 或 Babylon.js 等框架。 讨论还涉及了技术实现,特别是保持模拟稳定性的挑战。评论者指出,使用固定的时间步长(可能通过累加器模式实现)至关重要,以防止物理模拟在浏览器帧率波动时出现异常行为或“崩溃”。此外,还有建议提出使用人体模型来测试该引擎,以展示其在更复杂的权重映射动画方面的潜力。

Linux 内核开发者李晨(Li Chen)最近提出了“孵化模板”(spawn templates),旨在优化传统的 `fork()` 和 `exec()` 进程创建模式。虽然 `fork()` 在历史上被认为是优雅的,但由于它需要复制整个进程状态,而其中大部分工作随后又会被 `exec()` 丢弃,因此其计算成本很高。李晨的提案旨在通过允许应用程序将可执行配置缓存为模板来加速这一过程,从而降低频繁重复命令的设置成本。 尽管该提案显示出 2% 的性能提升,但内核维护者最终拒绝了其当前的形式。像 Mateusz Guzik 这样的审查者认为,业界需要完全摒弃 `fork()` 惯用法,转而创建“纯净”的进程。Christian Brauner 建议使用 `pidfd` 抽象采用替代方法——即创建一个空进程并通过新的系统调用(类似于 `fsconfig()`)进行配置。 李晨认同这一方向,将重心转向开发更稳健、原生的 `posix_spawn()` 实现。这一转变表明,虽然“孵化模板”不会被实现,但它成功催化了 Linux 迈向更简洁、更高效的进程创建 API 的进程。

这篇 Hacker News 讨论聚焦于一篇关于 Linux 是否有潜力超越传统 `fork()` + `exec()` 进程创建模式的 LWN 文章。 参与者们表达了对现状的不满,认为现代开发往往需要生成一个“干净”的进程,但目前的架构却强制开发者克隆父进程,并手动清理文件描述符等状态。虽然有人认为将代码模块化为库可以消除生成二进制文件的需求,但另一些人坚持认为,对隔离的、全新的进程的需求依然是一种常见且必要的模式。 讨论还涉及了围绕性能的技术误区。评论者澄清道,`fork()` 并没有通常认为的那样沉重,因为内存是通过“写时复制”(copy-on-write)机制共享的;讽刺的是,`exec()` 和动态链接器通常才是开销更大的部分。此外,该帖子还澄清了关于共享库的常见误解,指出 Linux 已经通过 `mmap` 有效地对库内存进行了去重,将相同的物理内存映射到多个进程中。最终,尽管人们对 `fork()` + `exec()` 的替代方案很感兴趣,但开发者们承认,这仍然是操作系统设计中一个复杂且小众的领域。

请启用 JavaScript 并关闭广告拦截器

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 美国众议员发布草案,旨在禁止各州制定人工智能法规 (reuters.com) 15 分,由 1vuio0pswjnm7 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助 panny 10 分钟前 [–] 美国宪法第十修正案: > 宪法未授予合众国、也未禁止各州行使的权力,分别由各州或由人民保留。 宪法中哪里将人工智能的管辖权授予了联邦政府?只是好奇。 回复 yesfitz 0 分钟前 | 父节点 | 下一条 [–] 可能是“商业条款”。 https://en.wikipedia.org/wiki/Commerce_Clause 回复 dosisking 3 分钟前 | 父节点 | 上一条 [–] AIPAC(美国以色列公共事务委员会)?他们不是负责这件事的人吗? AI == 其实是以色列 (Actually Israel) 回复 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

关于 媒体报道 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 纪念汽车艺术家山田二郎(1960-2025)[视频] (youtube.com) 10 分,由 NaOH 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

据报道,英国工党政府正以保护儿童为幌子,推进一项强制所有智能手机用户进行数字身份验证的计划。包括“老大哥在注视”(Big Brother Watch)在内的活动组织批评称,该政策实际上强迫成年人必须提交政府签发的身份证件才能访问互联网,这标志着网络匿名时代的终结。 这些措施涉及将身份检查集成到设备设置和谷歌钱包(Google Wallet)中,与英国的《在线安全法》及更广泛的数字基础设施目标(如“One Login”平台)相一致。尽管政府官员将此举标榜为安全举措,但反对者认为这是一种“从摇篮到坟墓”的监控机制,能够实现设备层面的控制以及潜在的客户端扫描。 批评人士警告称,这些政策代表了向威权统治的重大转变,反映了全球数字身份蓝图的趋势,即将个人数据与医疗和公共服务的合规性挂钩。由于政府将侵入式的国家监管置于基本隐私之上,外界指责政府利用保护儿童作为武器,旨在为每位公民建立永久且可追踪的数字记录。公民自由倡导者认为,该基础设施缺乏必要的公众监督,威胁到了英国民主自由的核心。

本文是一份关于在 Rust 中实现过程宏(Procedural Macros)的技术指南,重点介绍如何通过 `#[attribute]` 宏将结构体转换为位域(bitfield)表示。 ### 核心概念: * **过程宏:** 与声明式宏(`macro_rules!`)不同,过程宏是在编译时执行的函数,直接操作 Rust 抽象语法树(AST)。它们需要独立的 crate,并在 `Cargo.toml` 中启用 `proc-macro = true`。 * **工具:** * **`syn`:** 用于将原始 `TokenStream` 输入解析为结构化的 Rust AST 节点(如 `ItemStruct`、`Attribute`)的必要工具。 * **`quote`:** 通过允许开发者编写类似代码的语法并将其转换为 `TokenStream`,从而简化代码生成过程。 * **`ToTokens`:** 一个用于定义自定义类型(如 `BitFields`)如何转换回代码标记(token)的 trait。 ### 实现逻辑: 本宏的目标是解析结构体字段上的自定义属性(例如 `#[flag(rwc(30))]`),以生成位操作方法(`get_*`、`set_*`、`clear_*`)。 * 该实现使用位运算(AND、OR、NOT、移位)来隔离特定的位范围。 * 它利用 `syn` 的 `Parse` trait 处理自定义字段配置,并使用 `quote!` 将生成的 getter 和 setter 等方法注入最终输出,从而确保代码生成的健壮性并保持类型安全。

抱歉。

arXivLabs 是一个让合作者能够直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观,并仅与遵循这些准则的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区增值的项目?了解更多关于 arXivLabs 的信息。

一篇题为《莱比锡基准》(Benchmarks in Leipzig)的近期研究论文,利用由49位数学家汇编的100道原创研究级数学题,评估了顶尖大语言模型的数学推理能力。测试显示,这些模型仅有两道题未能解出,标志着人工智能在处理复杂数学推理能力方面迈出了重要一步。 Hacker News 上的讨论主要集中在这些基准测试的局限性上。批评者指出,由于这些问题已有标准答案,模型可能并非在进行“从头”数学发现,而是无意中依赖了训练数据或其文献检索能力。然而,该研究在设计时通过剔除所有模型都能轻易解决的问题,试图缓解这一偏差。 最终,参与者认为,尽管这些大语言模型尚无法解决前沿数学难题,但它们在综合复杂信息和应用已知技巧方面表现出了惊人的熟练度。论文结论指出,随着模型在各类任务中不断达到近乎完美的表现,利用公开研究成果构建练习式基准测试正变得日益困难。
联系我们 contact @ memedata.com