请启用 JavaScript 并禁用任何广告拦截器。
每日HackerNews RSS
## 特雷弗·米尔顿的新事业与持续担忧
特雷弗·米尔顿，此前因与他的卡车公司尼古拉相关的欺诈罪名被判刑，正在为他的新飞机项目SyberJet寻求资金。尽管他被判刑，并且唐纳德·特朗普授予了他赦免——据报道受到100万美元捐款的影响——投资者们再次考虑支持米尔顿。
文章强调了一种模式，即投资者一再资助那些道德和记录都存在问题的个人，例如WeWork的亚当·诺伊曼。Hacker News上的评论表达了怀疑，指出米尔顿不诚实的历史以及进一步欺诈的可能性。人们对投资者的动机表示担忧，认为他们可能将潜在利润置于道德考量之上，甚至可能参与类似的计划。
讨论还集中在更广泛的问题上，即总统赦免以及对富人和权贵中不道德行为的正常化。许多评论员质疑为什么被定罪的欺诈者继续获得机会，而更有资格的人却被忽视。该项目声称的“人工智能飞行”受到了嘲讽，一些人认为这是一种降低非经验飞行员进入门槛的方式。
## 微积分与数论：概要
库尔特·亨泽尔展示了微积分与数论之间令人惊讶的联系——这两个看似不同的领域。他表明，基于微积分的近似技术可以有力地应用于解决涉及多项式方程整数解的问题，特别是在模算术中。
所举的例子集中在寻找满足方程 *x³ - 17x² + 12x + 16 ≡ 0 (mod 3000)* 的所有整数 *x*。利用中国剩余定理，这被简化为模 8、3 和 125 的单独同余式。虽然模 8 和 3 的求解很简单，但模 125 的求解却具有挑战性。
亨泽尔的关键见解，受牛顿法启发，涉及迭代地完善近似解。如果一个值 *x* 几乎满足同余式，则进行小的调整可以使其更接近真正的解。这是通过应用类似导数的修正来实现的，从而反映了微积分的近似技术。这个过程被称为亨泽尔引理，它允许将模 *p<sup>e</sup>* 的求解简化为模 *p* 的求解。
这项看似特定的技术具有深远的影响，与雄心勃勃的郎兰斯纲领相关联——一个现代研究领域，探索多项式的伽罗瓦群与模算术中解的存在之间的关系。
## 使用受微积分启发的技巧解决数论问题 - 摘要
最近 Hacker News 的讨论围绕一篇博客文章展开，该文章探讨了一种使用类似于微积分的技术（特别是微分代数）来解决数论问题的方法。虽然严格来说不是微积分（更准确地说，是使用微分），但文章展示了如何应用“形式导数”——本质上是多项式的改写规则。
核心思想与亨塞尔引理相关，这是一种受微积分启发的代数技术，特别是 p-adic 数域中的牛顿法。评论者争论这是否属于解析数论或代数数论，一些人强调了与复分析和黎曼zeta函数的关系。
文章说明了如何找到模方程的解，并解释说由于同余性质和二项式定理，检查整数 0 到 n-1 就足够了。 许多评论者提供了替代的解释，并指出了原文中的一个小的错误。 讨论还涉及 p-adic 数的更广泛背景和郎兰计划。
为了更好地评估人工智能，一项新的评估协议正在被提议，以将人工智能的表现*与*人类认知能力进行基准测试。 这包括在各种任务上测试人工智能，从具有代表性的人群中建立人类表现基线，然后将人工智能的结果映射到人类分布。 为了付诸实践，一个20万美元的Kaggle黑客马拉松——“衡量通往AGI的进展：认知能力”——即将启动。 它侧重于人工智能评估目前缺乏的五个关键领域：学习、元认知、注意力、执行功能和社会认知。 鼓励参与者使用Kaggle的社区基准平台开发新的评估方法，并将其与领先的人工智能模型进行测试。 奖金从每个赛道的1万美元到2.5万美元的大奖，投稿截止日期为3月17日至4月16日。
一位联邦法官下令特朗普政府全面恢复“美国之音”（VOA）的运营，此前该台 фактически 停播了一年。法官罗伊斯·兰伯斯裁定，前美国全球媒体署（USAGM）负责人卡丽·莱克无权在总统行政命令之后，将超过1000名VOA员工置于闲置状态。 法官批评该政府的决定缺乏“原则依据”，要求在一周内制定VOA恢复运营的计划。VOA是全球重要的独立新闻来源，以49种语言向3.62亿人广播，此前一直以最少的人员运营。 VOA局长、也是此案原告帕西·维达库斯瓦拉表示感谢，并承诺重建该机构的声誉和信任。虽然莱克打算对之前的裁决提出上诉，但政府已提名莎拉·罗杰斯领导USAGM，等待参议院批准。
## 黑客新闻讨论：VOA复原命令
最近的一项法院命令要求恢复美国之音（VOA），引发了黑客新闻上的讨论。一些人将其庆祝为反对政治干预的胜利，而另一些人则表示怀疑，认为这只是在更大规模、持续进行的撤销对美国机构造成损害的斗争中取得的一小步胜利。
对话迅速深入到对美国民主状况的更广泛担忧，评论员们指出了选区划分、选举人团以及特殊利益集团的影响等系统性问题。一些人认为，仅仅推翻决定是不够的，因为潜在的问题根深蒂固，需要几代人才能解决。
一个反复出现的主题是美国是否从根本上可以挽救的问题，一些人表达了“厄运论”——一种悲观的观点，认为局势无法修复。另一些人强烈反对，主张继续努力重建和改善机构。 国内和国际媒体的作用也在争论之中，一些人质疑VOA的恢复是否真的重要，考虑到其他宣传来源的普遍影响。
## 人工智能 IPO 竞赛：OpenAI 承受压力 最新报告显示，OpenAI 正在调整重点，这一举动被解读为对其可能 IPO 的准备所受到的压力不断增加的回应。然而，这不仅仅是一家公司的事情；这是 OpenAI、Anthropic 和 SpaceX (xAI) 之间争夺人工智能市场主导地位并获得巨额公共资金——可能相当于十年美国 IPO 融资总和——的一场高风险竞赛。 这种紧迫感源于融资环境的收紧，因为海湾投资者优先考虑其他问题。OpenAI 此前一直在追求多样化的“副项目”，例如 Sora 和网络浏览器，现在正在简化流程，以向投资者展示其稳定性。这种转变部分上是一种有计算的公关策略，将 Anthropic 的成功定性为“警钟”，同时强调 OpenAI 的企业合作关系。 目前，Anthropic 似乎在企业采用和收入增长方面处于领先地位，这得益于其面向开发者的 Claude Code。OpenAI 正在努力赶上，利用其庞大的用户群和叙事构建能力。关键要点是什么？争夺公共市场资金的竞赛已经开始，OpenAI 需要说服投资者它拥有清晰的盈利途径——尤其是在关键的软件/代码领域——才能获胜。
卡吉正在考虑从其专业版中移除助手功能。
Kagi is contemplating the removal of the assistant from its professional tier
8 天前
Kagi 计划为 Kagi Assistant 推出独立付费订阅，目前 Assistant 与搜索计划捆绑。讨论的重点是 Assistant 的试用计划，可能为现有 Kagi 搜索（入门和专业版）用户提供一次性使用额度，以体验 *所有* Assistant 功能——目前对他们有限制。 此额度不会每月重置，不同于典型的免费试用。目的是让搜索用户体验 Assistant 的全部功能，并根据需要升级到“Ultimate”套餐。 Kagi 的目标是简化定价：搜索或 Assistant 的单独订阅，Ultimate 作为组合选项。这种重组旨在明确 Kagi 的产品，最大限度地减少对现有用户的影响，同时为大量使用 Assistant 的用户提供明确的升级路径。具体额度仍在最终确定中。
## 代码优化：关键原则总结 有效的代码优化并非猜测，而是一个数据驱动的过程。**不要过早优化**——你无法可靠地预测性能瓶颈在哪里（规则1 & 2）。在尝试任何加速改进之前，**始终进行测量**，并且只关注那些明显减慢速度的区域。 除非绝对必要，否则避免使用复杂的算法（规则3 & 4）。它们通常对小型数据集存在隐藏的性能成本，并会增加更多引入错误的可能。**优先考虑简洁性**——“蛮力”通常是一个好的起点（KISS原则）。 最终，**数据结构比算法更重要**（规则5）。选择正确的数据组织方式通常会使最佳算法显而易见。首先关注设计良好的数据结构，因为它们是高效编程的核心。 这些原则呼应了霍尔、汤普森和布鲁克斯等人的智慧，强调了一种务实的性能方法：测量、简化和优先组织数据。
🎤 声音分离：使用UVR卡拉OK模型或Demucs将人声从伴奏中分离。可调节主唱音量。📝 歌词：WhisperX转录并对齐音频中的每个词。如果可用，则使用LRCLIB中的现有歌词。🎯 音高评分：对着麦克风唱歌，实时获得评分。星级评分和每首歌的排行榜记录您的进度。👤 玩家资料：多个资料，分别记录分数历史。切换歌手，不会丢失任何人的记录。🎬 视频文件支持：将.mp4或.mkv文件拖放到库中。人声被分离，原始视频作为背景播放。🌌 动态背景：GPU着色器效果（等离子体、极光、星云...），Pixabay视频循环，或视频文件的源视频。🎮 手柄：完全使用控制器浏览菜单、选择歌曲和控制播放。方向键、摇杆、面部按钮。📦 单一二进制文件：首次启动时，ffmpeg、Python、PyTorch和ML模型都会被引导加载。无需安装。
## 夜莺：开源卡拉OK应用 - 摘要
夜莺是一款新的开源卡拉OK应用程序，旨在与用户电脑上的*任何*歌曲一起使用。它使用Rust和Bevy引擎开发，本地分离人声和伴奏（使用UVR Karaoke或Demucs等模型），并通过WhisperX或LRCLIB自动生成时歌词。它具有音调评分、游戏手柄支持和GPU加速功能。
开发者旨在易于使用，选择单二进制文件安装方式，首次启动时下载必要的依赖项（Python、ML模型）。然而，这种方法因潜在的安全和性能问题，以及绕过标准包管理而受到批评。
用户反馈不一，一些用户在使用歌词准确性和依赖项下载方面遇到了问题。尽管存在这些问题，该项目因其在卡拉OK软件方面的潜力而备受关注，尤其是在小众音乐和对完全本地、无广告体验的需求方面。开发者正在积极寻求反馈和贡献以改进该应用程序。
Eon Systems PBC 近期分享了关于创建虚拟、具身化的果蝇的进展，该果蝇由基于连接组的大脑模型控制，引发了广泛关注。该项目整合了现有研究——包括成虫连接组、大脑模型和详细的虚拟身体（NeuroMechFly）——以模拟感觉运动控制。 这只果蝇在虚拟环境中导航，响应“味道”（糖）和“灰尘”（触发梳理）等线索，由一个拥有14万个神经元的神经模型驱动。感觉输入激活相应的神经元，更新大脑活动，并将输出转化为身体的运动指令。虽然前景可观，但该模型仍然简化；它使用基本的神经元动力学，并使用有限数量的下行神经元控制身体。 这并非果蝇的完整模拟——内部状态、学习和完整的运动层级缺失。然而，它为测试连接组约束控制和探索大脑-身体接口提供了一个有价值的平台。Eon 旨在完善这项工作，并寻求合作以建立大脑仿真保真度的标准。