**PartialString** 是一款软件合成器，通过有限差分时域（FDTD）方法对一维波动方程进行数值求解，从而实时模拟拨弦物理特性。它将琴弦表示为一系列位移，允许用户操控激励点、拾音器位置和阻尼特性，以创造出多样且具有物理真实感的音色。
该引擎支持最高 10 复音，并能根据硬件性能动态管理运行表现。由于模拟长、低频琴弦的计算量较大，该插件包含了智能 CPU 负载平衡功能，例如限制复音数或移动八度，以确保在性能较低的机器上保持稳定。用户可以调整模拟精度，以获得真实的音色或刻意营造的非谐波、“柔和”质感。
该项目由 Christian Baker 开发，旨在重拾对有限差分音乐建模的研究，将开发者在物理学领域的学术背景与现代数字信号处理技术相结合。为了获得最佳性能，特别是在 Apple Silicon 硬件上，建议用户运行 DAW 的原生版本，以避免转换层带来的额外开销。
每日HackerNews RSS
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
PartialString – 一款时域有限差分物理建模合成器 (differentinstruments.com)
7 点，由 shmeano 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
排行榜解读说明 仅展示运行成本低于 10,000 美元的系统。 对于未能生成完整测试输出的模型，剩余任务被标记为错误。 标记为“预览”的结果为非官方结果，可能基于不完整的测试。 1 ARC-AGI-2 分数估算基于部分测试结果及 o1-pro 定价。 2 临时成本估算基于 Gemini 3 Pro 定价。模型发布后将进行重新测试。
最近关于 ARC-AGI 排行榜的 Hacker News 讨论反映了人们对人工智能基准测试可靠性的深刻怀疑与争论。用户质疑像 Claude Opus 5 这样的顶尖模型是否“针对测试集进行了训练”，并指出即便出色的基准测试分数也往往无法转化为日常任务中更强的实际效用。
一个主要担忧是数据污染：由于 ARC-AGI 的评估通常在闭源模型服务器上进行，因此无法保证私有测试集不会被纳入后续的训练周期。尽管一些用户主张通过私有数据集来减轻“操纵”基准测试的行为，但另一些人指出，AI 实验室完全可以构建模仿解题程序的专门工具，使模型无需获得真正的通用智能即可在特定任务上表现优异。
此次讨论还强调了像 Fable 这类模型所展现出的“类人”特质，引发了人们对监管限制或数据留存政策是否限制了公众获取最先进 AI 能力的质疑。归根结底，该讨论凸显了在不透明的专有系统中验证性能的难度，这也让许多人得出结论：相比标准化的行业基准测试，个性化且独特的评估方式依然更为可信。
提供的文件是一个包含压缩流数据的二进制 PDF 文件。由于其内容由机器可读的指令和原始编码字节组成，而非人类可读的文本，因此它不包含叙述、报告或可供总结的易读信息。从结构上讲，它是一种技术文件格式，而非带有具体内容的文件。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
形式逻辑导论 (2020) [pdf] (logicmatters.net)
5 点，由 o4c 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
加入一个拥有 37,184 个社区图书馆的群体。留下一本书，带走一本书，并发现附近的阅读点。搜索 高级搜索 探索地图 提交图书馆
抱歉。
英国人工智能安全研究所（UK AISI）与美国人工智能安全研究所（U.S. CAISI）对月之暗面（Moonshot AI）于2026年7月发布的开源权重模型 Kimi K3 进行了联合评估。此次评估重点考察了该模型利用 ExploitBench 和 “The Last Ones”（TLO）网络靶场所表现出的网络攻击能力。
主要发现如下：
* **漏洞利用开发：** Kimi K3 在 ExploitBench 上的得分为 32%，表现优于此前的领先开源模型 GLM-5.2。然而，它与美国顶级前沿模型相比仍有显著差距，未能实现任何任务的任意代码执行（ACE），而顶级模型平均可完成 20 次成功的 ACE。
* **自主攻击：** 在 TLO 模拟网络环境中，Kimi K3 平均达到 32 个攻击步骤中的第 17 步，虽明显高于 GLM-5.2（第 11 步），但远落后于美国顶级模型（第 28.5 步）。在十次尝试中，Kimi K3 有一次成功完成了完整的 TLO 模拟。
尽管 Kimi K3 较之前的开源基准模型有所改进，但它仍缺乏最强大的闭源模型所具备的高级自主漏洞利用能力。上述测试均在关闭系统级安全防护的情况下进行，旨在衡量其最大潜在能力。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
英国 AISI / Caisi 对 Kimi K3 网络能力的初步评估 (nist.gov)
11 分，由 walrus01 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Wasmtime 47 已正式默认启用对 **Wasm GC** 和 **异常处理（Exceptions）** 的支持。这一里程碑成果历经多年研发，显著提升了 WebAssembly 作为高级语言编译目标的能力。 **Wasm GC** 允许具有复杂数据模型（如使用对象和数组）的语言利用 WebAssembly 运行时的原生垃圾回收器，而无需自行打包。这减少了二进制文件的体积并提高了效率。Wasmtime 通过 Cheney 风格的半空间复制回收器实现该功能，并将其封装在 Wasm 现有的线性内存架构中，以确保安全性、性能和可移植性。 **Wasm 异常处理** 用原生的 `try/catch` 结构取代了传统的、开销巨大的手动错误检查方式。由于运行时可以对非异常代码路径使用标准的展开（unwinding）机制，这不仅缩小了二进制文件体积，还加快了执行速度。 尽管目前的性能表现更侧重于正确性以及在多个短生命周期实例间的横向扩展，而非长时间运行的吞吐量，但 Wasmtime 的维护者们已经在进行编译器优化和组件模型集成的相关工作。我们鼓励用户测试这些新特性，它们扩展了可以在 Wasmtime 生态系统中高效且安全运行的语言范围。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Wasmtime 中的 GC 和异常 (bytecodealliance.org)
19 分，phickey 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
著名数学家、广播员兼作家汉娜·弗莱（Hannah Fry）已被任命为剑桥大学首位“公众理解数学教授”。她以将复杂概念转化为通俗易懂且引人入胜的叙事能力而广受赞誉，最近还被国际数学联盟授予了久负盛名的莉拉瓦蒂奖（Leelavati Prize）。 弗莱的职业生涯以其独特的天赋而著称，她能让全球观众感受到数学的意义与奇妙。她涉足电视、播客、书籍和社交媒体等领域的丰富作品为她赢得了众多荣誉，包括艾美奖和威比奖，并被《时代》杂志评为顶级数字创作者。 除了媒体事业的成功，弗莱还深耕于指导下一代，经常为学生举办工作坊和讲座。通过激发好奇心和“打开人们的想象空间”，她旨在改变公众对数学的看法。正如剑桥大学教授尼克·多雷（Nick Dorey）所言，很少有人能像她这样，深刻阐明数学是如何在潜移默化中支撑现代生活的。凭借其富有感染力的热情，弗莱不断弥合抽象学术奥秘与公众理解世界渴望之间的鸿沟。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Hannah Fry 荣获 2026 年利拉瓦蒂数学普及奖 (cam.ac.uk)
10 分，agnishom 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
vaylian 7 分钟前 [–]
实至名归。她是一位出色的科学传播者。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者已注销其 Gravatar 账户，这是其彻底脱离 Automattic 生态系统的最后一步。做出这一决定源于作者对该公司日益加深的失望——这种情绪始于 Gutenberg 编辑器的推出，作者将其形容为“一团无法使用的混乱”。
促使作者删除账户的直接导火索，是 Gravatar 在未事先告知的情况下增加了与人工智能相关的“负面功能”。作者对未经授权将其数据或身份用于人工智能训练表示强烈反对，并指出这些变动完全缺乏透明度。此外，作者认为 Gravatar 曾经在维护统一在线身份方面的作用，现已被 FediProfile 等现代替代方案所取代。最终，作者将这些近期的发展视为平台“垃圾化”的明显证据，并选择断绝与所有 Automattic 产品的联系。
这篇 Hacker News 的讨论围绕着一篇名为“再见 Gravatar”的博文展开，作者在文中强烈反对将人工智能整合到其网络形象中。
评论区的反应不一。虽然用户们普遍称赞该博客简洁美观的排版与视觉设计，但许多人对作者的具体不满之处表示困惑，指出对于不了解 Gravatar 近期变动的读者来说，原文缺乏明确的背景信息。
争论的焦点之一是作者明显的自相矛盾：他们批评 Gravatar 的“AI 功能”，却同时推崇 Bio Link 等服务，而这些服务大力推广由 AI 驱动的建站工具和聊天机器人。其他参与者则回顾了 Gravatar 的发展历程，指出尽管该服务在 Automattic 的管理下有所改进，但许多用户目前对该公司给标准个人资料功能进行不必要的“AI 包装”感到不满，认为这对于实际的人类用户而言毫无价值。
Taylor Farms致电白宫试图推迟圆孢子虫疫情召回 Taylor Farms Called White House to Try to Delay Cyclospora Recall
10 小时前
请启用 JavaScript 并关闭所有广告拦截器
《华尔街日报》近日报道称，Taylor Farms 曾联系白宫，试图推迟一项关于圆孢子虫（*Cyclospora*）的召回行动。
Hacker News 随后展开的讨论凸显了围绕该事件的巨大争议。一些评论者指出，最初用于指控该公司的特定检测方法后来被标记为潜在的假阳性，但也有人认为流行病学证据依然指向 Taylor Farms 为污染源。
另有报道称，在 FDA 推迟一项食品安全法规后的几天内，该公司向支持特朗普的超级政治行动委员会（Super PAC）“MAGA Inc.”捐款 100 万美元，这进一步加剧了外界的质疑。游说活动、相互矛盾的检测结果以及政治捐款的叠加，导致许多用户对该公司的透明度及其安全准则表示深切不信任。
随着处理器速度的提升超越了内存，缓存（集成在 CPU 中的小型高速内存）对于维持系统性能至关重要。缓存基于“局部性原理”运作：时间局部性（重复访问最近使用过的数据）和空间局部性（访问先前使用位置附近的数据）。
缓存按层级（L1、L2、L3）组织，功能类似于基于硬件的哈希表，通过索引和标签数组来管理数据块。虽然直接映射缓存速度快，但容易发生冲突，因此常使用组相联缓存来平衡速度与命中率。性能由命中延迟和缺失率衡量，并采用“写通”或“写回”策略来管理内存同步。
在硬件之外，可以通过针对缓存行为优化代码来提高软件效率。通过重构循环以顺序访问内存，或以适合缓存限制的“块”来处理数据，开发者可以最大化命中率。尽管现代编译器通常会自动进行这些优化，但理解这些底层原理对于编写高效的硬件程序依然至关重要。
```Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
关于缓存工作原理的具体解释 (parksb.github.io)
由 parksb 在 1 小时前发布，6 点积分 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：```