## 曲线数学的突破 数学家在理解曲线上的有理点——具有整数或分数坐标的点——方面取得了重大进展，这些曲线是空间中由多项式方程定义的普遍存在线。数千年来，一个核心问题一直是确定给定曲线上存在多少这样的点。虽然有些曲线有无限多个，另一些曲线则有有限数量，但找到一个统一的规则一直难以捉摸。 最近，三位中国数学家建立了第一个关于任何曲线可以拥有的有理点的数量的明确*上限*，无论其复杂程度如何。这种“统一”公式与之前的尝试不同，具有普遍适用性，并且仅取决于曲线的次数以及一个相关的数学对象，称为其雅可比簇。 这一突破建立在法尔廷斯定理（1983 年）的基础上，该定理证明了高次曲线具有有限数量的有理点，但没有具体说明*有多少*。这项新成果是通往完全理解的关键一步，并为探索更复杂的数学形状（如曲面和流形）上的有理点打开了大门，对数学和理论物理学都有影响。它预示着数论领域可能迎来一个变革时期。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
科学美国人：关于莫德尔猜想中理性点数量的量化研究 (scientificamerican.com)
6点 由 wglb 1天前 | 隐藏 | 过去 | 收藏 | 1条评论 帮助
mkprc 1天前 [–]
这里是178页预印本的直接链接：https://arxiv.org/pdf/2602.01820 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
简街科技创建了一个具有挑战性的“夺旗”风格机器学习谜题，不同于典型的黑盒逆向工程，他们提供了完整的神经网络规范——包括权重。目标不是获得特定输出，而是*理解*网络的功能，这反映了现实世界的解释性研究。
该网络被设计为对大多数输入输出0，但出乎意料地可以解决。一位学生亚历克斯通过分析网络的结构来解决这个谜题，发现手工设计的整数权重和重复模式。他最初怀疑是一个复杂的方程，试图将网络转换为线性程序，但面临扩展性问题。
最终，亚历克斯意识到该网络实现了一个修改后的MD5哈希函数，故意包含一个与输入长度相关的错误。虽然最初这是一个死胡同，但理解了这个错误，并结合更大的词表进行暴力破解，揭示了解决方案：两个常见的英语单词。这个谜题的成功凸显了平衡逆向工程复杂性的难度，并促使简街科技创建进一步的挑战，寻找在机械可解释性方面有技能的人才。
## F-Droid董事会：提名呼吁 F-Droid正在寻求最多四名志愿者担任董事会董事，任期两年。任何致力于用户自由，尤其是在移动领域的人，都鼓励通过电子邮件[email protected]在**3月16日AoE**前提名自己或他人（需获得许可）。 提名应包括对候选人为何会成为有价值的董事会成员的描述，并可选择性地提供相关个人资料和对F-Droid或更广泛的FOSS社区贡献的示例。无需特定经验 – 欢迎多元化背景！ 现任董事会将讨论并投票选出提名人，并会侧重于新候选人。董事会成员通过电子邮件讨论、每月视频会议（1小时）以及回复投票，通常每周投入1-3小时。需要具备英语能力。 有关详细信息，包括章程和现任董事会成员名单，请参阅原始公告。预计决策将在**3月19日**左右做出。
## F-Droid 董事会提名与争议
2026年F-Droid董事会提名现已开放，引发了对该应用商店近期行动和未来方向的讨论。一个关键的争议点是F-Droid将圣经和古兰经应用程序临时标记为NSFW并将其从搜索结果中隐藏，许多人认为这是有偏见或旨在抗议政府审查的误导性尝试。
用户质疑现任董事或提名人是否参与其中，并对F-Droid的判断力表示担忧，尤其是在公众抗议后政策被逆转。一些人已经转而使用替代应用商店，如Accrescent和Obtanium。
讨论还涉及应用商店安全、谷歌不断变化的Android政策以及真正开源替代方案的必要性等更广泛的问题。一些人提出了更激进的解决方案——解散谷歌，而另一些人则专注于维护F-Droid在提供自由软件生态系统中的作用。这场辩论凸显了在移动应用领域平衡安全、自由和可访问性的挑战。
MitID现已上线并可用于登录。 目前无法使用MitID登录解决方案。 谁受到影响？ 尝试使用MitID登录的公民和组织。 正在采取什么措施解决问题？ MitID供应商正在全力解决问题，确保MitID再次可用。 对于由此带来的不便，我们深表歉意。 MitID敬上
戴森已与来自尼泊尔和孟加拉国的24名移工达成了和解，这些移工指控在马来西亚的一家为该公司供应零件的工厂遭受强迫劳动和虐待。工人们声称他们面临着现代奴隶制般的条件，包括威胁、殴打、没收护照以及长时间工作且不准休息。
虽然戴森否认责任，但和解避免了一场可能具有里程碑意义的审判。至关重要的是，此案确立了一个先例，允许针对向英国制造商供货的外国公司的指控在英国法院进行审判。
和解的具体财务细节尚未披露，戴森和工人的法律团队Leigh Day均表示，这反映了诉讼成本和解决带来的好处，*而非*承认有罪。戴森此前曾辩称此案应在马来西亚审理。此案凸显了对在马来西亚的移工待遇的持续担忧，戴森于2002年将制造业务迁至马来西亚。
## 戴森强迫劳动诉讼与供应链问责制 - 摘要
一起具有里程碑意义的英国案件中，戴森已就其在马来西亚供应链中的强迫劳动诉讼达成和解。该案件确立，即使虐待行为发生在英国境外，英国公司也可以对其供应商设施中工人的待遇负责。
讨论着重关注戴森在倡导英国工业的同时，将总部迁至新加坡这一举动，以及对该公司产品质量与亨利吸尘器等替代品相比的更广泛批评。
然而，核心争论在于企业责任。许多评论员认为，公司*应该*对其供应链中的道德行为负责，允许在监管较弱的国家进行剥削会破坏道德标准。一些人建议将责任延伸至购买来自不道德来源的产品消费者，而另一些人则强调需要健全的尽职调查和监管监督。
此案引发了关于利润、全球化和人权之间平衡的问题，以及当前的法律框架是否充分解决了全球供应链中的剥削问题。
## 四叉树：高效空间组织 处理大量空间数据（例如地图上的位置）时，暴力搜索“附近有什么”会迅速变得效率低下。四叉树通过递归地将二维空间划分为四个象限来提供解决方案。这创建了一种树状结构，其中每个节点代表一个区域，当它包含太多数据点时进行分割。 这种组织方式允许高效搜索。查询不是检查每个点，而是导航树，消除不包含目标位置的整个象限。树的深度会适应数据密度——密集区域进一步细分，而稀疏区域保持粗略。 四叉树在范围查询（查找区域内的点）和最近邻搜索方面表现出色，将比较次数从潜在的数百万减少到对数时间。它们还用于碰撞检测（游戏）和图像压缩，适应数据分布以优化性能。 关键优势在于跳过无关区域，从而显著提高空间数据操作的速度。
## 黑客新闻讨论：交互式四叉树介绍
一个指向交互式四叉树介绍的链接（growingswe.com）在黑客新闻上引发了热烈讨论。用户称赞该页面清晰的解释和有效的交互式可视化效果。
对话分支到四叉树的各种应用，包括分形压缩、康威生命游戏（使用Gosper的HashLife算法）、物理引擎和OpenStreetMap实现以加快渲染速度。一个关键点是四叉树与其他空间分割方法（如KD树）之间的权衡，性能提升通常与缓存效率和树的结构（二叉树与四叉树）有关。
进一步的讨论深入研究了使用Morton码和平面数组进行高效四叉树构建，从而提供性能优势，尤其是在GPU上。用户还提到了相关的数据结构，如R树和八叉树，并分享了在诸如辐射传递代码和hashlife之类的项目中实现四叉树的经验。 几位评论者注意到交互式演示中指针事件处理的浏览器不一致性。
## BPatterns：Smalltalk 的更易用重写引擎 Smalltalk 重写引擎是一种强大的 AST 级别匹配和重写工具，于 1997 年引入，但其语法复杂且容易遗忘。这使得利用其功能变得困难，即使对于经验丰富的开发者也是如此。BPatterns 旨在通过提供基于现有引擎的流畅、Smalltalk 原生 API 来解决这个问题。 BPatterns 不使用晦涩的字符串，而是使用普通的 Smalltalk 代码块作为模式。定义所需结构的块通过 `#bpattern` 消息转换为模式。通配符由以“any”开头的变量表示。这种方法允许开发者直接在模式中使用标准的 Smalltalk 工具——代码补全、导航和重构。 BPatterns 通过 `#with:` 消息提供精化，可以使用标准的 Smalltalk 代码，甚至使用任意代码块进行复杂条件筛选。示例包括重命名或交换消息关键字，以及查找特定类型的消息。 虽然 BPatterns 还不是一个完整的封装器，但它已经支持许多重写引擎的功能，包括完整的 method 模式。它在可用性方面有了显著提高，使得重写引擎的强大功能无需“语法税”即可访问。进一步的开发包括一个简化的弃用 API。
这个Hacker News讨论围绕一篇关于“BPatterns”的博客文章，它是一个为Pharo Smalltalk重写的引擎。该引擎允许在不修改核心语言或需要新的编译器通过的情况下，扩展代码块的新行为并内省它们的源代码。它通过使用标识符的特殊“any”前缀来实现，该前缀充当代码操作的“洞”，这种解决方案类似于其他语言中的语法宏。
评论者强调了这种方法的强大和优雅，特别是Smalltalk将代码视为对象的能力。然而，一个关键的争论点在于Smalltalk的文档。一位用户批评了一种在现有、通常文档记录不完善的解决方案*之上*添加新解决方案的模式，从而阻碍了生产力。其他人不同意，表示他们的经验与Python或Elixir等其他语言的文档质量没有显著差异。
对话还涉及复兴Smalltalk及其潜力需要什么，一些人赞扬了其独特的环境和功能。
## 剑桥AS化学（9701）虚拟实验室
这个免费的、基于浏览器的虚拟实验室允许学生无需实际实验室即可练习剑桥AS化学（试卷3 – 高级实践技能）实验。它模拟了完整的实践流程 – 设置、执行、观察和报告 – 涵盖23份真实的历年试卷（2021-2025年）。
该模拟器具有完全交互式的虚拟实验台、具有视觉反馈的逼真反应（颜色变化、沉淀物），以及精确的测量提示。学生可以直接在界面内回答问题，包括创建表格和图表，模拟考试形式。
主要功能包括根据官方剑桥评分标准自动评分并提供详细反馈、可下载的PDF报告以及多语言支持。 “自由实验室”模式允许开放式实验。本地设置需要Node.js 20+（通过GitHub：[https://github.com/nsriram/chem_lab](https://github.com/nsriram/chem_lab)）。
## 化学实验室模拟器发布
开发者sriram_iyengar开源了一个基于浏览器的化学实验室模拟器alpha版本，使用Claude Code构建，旨在帮助剑桥AS Level（11年级）学生。该模拟器允许学生虚拟进行实验和练习历年试题，无需实际实验室。
该模拟器是根据AS Level学生直接反馈开发的，“自由实验室”部分也供其他课程的学生进行单独的化学测试。
Hacker News上的评论员称赞了该项目的潜力，尤其是在实验预演和在动手操作前巩固概念方面。一个担忧是虚拟实验室可能会取代实际的湿法实验经验，强调了平衡虚拟和实际学习的重要性。
使用 Claude 代码编写一个“干净房间”Z80 和 Spectrum 模拟器。
Implementing a Z80 / ZX Spectrum emulator with Claude Code
2 天前
## Anthropic 的编译器实验 & 一个“干净房间”Z80/Spectrum 模拟器 Anthropic 最近的任务是让其 Opus 模型使用“干净房间”方法用 Rust 编写一个 C 编译器，作者认为该实验的方法值得怀疑——特别是缺乏对基础编译器优化研究的访问，并且几乎没有指导。受到启发，作者自己进行了一项实验，使用 Claude Code Max 构建 Z80、ZX Spectrum 和 CP/M 模拟器，旨在建立一个更实用的“干净房间”环境。 该过程包括向 Claude 提供详细的规范和相关文档（Z80/Spectrum 规范、测试向量），这些都是 Claude 自己收集的，然后在编码期间严格禁止访问互联网。该代理成功生成了一个功能正常的 Z80 模拟器，通过了关键测试，代码量为 1200 行，注释良好，且人工干预最少。随后是 ZX Spectrum 模拟器，需要更多的指导才能实现磁带加载，最后是 CP/M 环境。 作者得出结论，为代理提供彻底的设计提示和文档至关重要。他们认为 LLM 并非简单地“解压缩”记忆中的代码，而是*组装*知识，基于学习到的模式创建新代码。这使得能够以宽松的 MIT 许可证发布生成的代码，为未来的 LLM 训练数据做出贡献。未来一项比较在*没有*初始文档的情况下结果的实验，可以进一步阐明这一过程。
## Z80/ZX Spectrum 模拟器与 Claude 代码：摘要
Antirez 详细介绍了他使用 Claude 代码创建 Z80/ZX Spectrum 模拟器的实验。他的目标是测试 AI 是否能够以类似于人类程序员的方式生成代码，逐步构建功能并进行调试。结果令人鼓舞——Claude 生成了一个可用的模拟器，尽管在注释和优化方面存在一些不足。
有趣的是，与现有的 Z80 内核进行比较显示，AI 生成的版本速度略慢（1.5%），但注释更好。评论区的讨论强调了对“干净房间”声明的怀疑，考虑到 LLM 拥有庞大的训练数据，可能包括现有的模拟器代码。
许多评论者争论 LLM 是否真的*创造*，还是仅仅重组现有的知识。人们对潜在的抄袭以及 LLM 在真正新颖任务中的局限性表示担忧。其他人分享了类似项目的经验，指出 LLM 经常难以解决复杂、细微的问题，并且可能会发明不存在的功能。尽管存在这些担忧，该实验展示了 AI 辅助编程的潜力，即使对这种辅助的本质仍在理解中。
## Ubicloud：开源云与工程机会 Ubicloud 是一家快速发展的开源云服务提供商，提供计算、存储、CI/CD（通过 GitHub Actions）、Kubernetes、托管 Postgres 和 AI 推理等服务，目前已服务超过 500 家客户。他们正在积极招聘中级软件工程师（2-8 年经验，计算机科学学位优先）来加强他们的 Postgres、GitHub Actions 和 AI 推理团队。 Ubicloud 优先考虑成长型思维，赋能工程师拥有问题并推动解决方案。他们正在开发过程中拥抱 AI，并重视那些展现出积极主动性和具有令人印象深刻的项目经验的候选人。 具有托管 Postgres 或分布式推理架构（特别是 DeepSeek 和 Kimi 等开源模型）的经验将是一个加分项。职位在旧金山、荷兰和土耳其都有，请在申请时说明您期望的工作地点。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Ubicloud (YC W24): 软件工程师 – 土耳其、荷兰、加州，薪资 $95-$250K (ycombinator.com)
1天前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：