(Empty input provided. There is nothing to translate.)
每日HackerNews RSS
语义艺术 (semantic.art) 最近在黑客新闻上分享，它是一个利用自然语言提示来*寻找*人类创作的现有艺术作品的项目，而不是用人工智能生成新图像。用户输入提示，系统会在真实艺术作品的数据库中搜索相关作品。
评论者称赞该项目是一个巧妙而“美妙”的艺术发现工具，赞赏它专注于展示人类创造力，与人工智能图像生成形成对比。一位用户强调了驱动搜索的复杂“语义路由”和多重索引的使用。 许多用户只是表达了对该网站及其提示界面的喜爱。
该项目因其利用人工智能进行艺术探索和发现的创新方法而备受关注。
## 特斯拉利润下降，销量却创纪录 特斯拉报告显示，第三季度利润大幅下降37%，尽管汽车销量创下纪录，这得益于美国电动汽车税收抵免到期前的抢购。 营收超出预期，达到264.57亿美元，但每股收益却低于预期，为0.50美元，导致股价下跌。 税收抵免到期带来的提振掩盖了潜在的挑战，特斯拉正在应对“不断变化的贸易、关税和财政政策”。 首席执行官埃隆·马斯克专注于特斯拉的人工智能和机器人技术潜力——特别是自动驾驶技术和Optimus机器人——承诺一个“没有贫困”的未来。 然而，这份报告正值一个备受争议的时期。 投资者正在准备投票表决马斯克提出的1万亿美元薪酬方案，该方案正面临代理顾问公司的反对，他们认为该方案过高。 马斯克曾暗示，如果该方案未获批准，他可能会离开公司。 更添动荡的是，特斯拉面临对其完全自动驾驶技术的审查，并与监管机构发生冲突，甚至公开侮辱了一名美国交通部长。 尽管推出了Model Y和Cybertruck等新车型，特斯拉仍然难以与价格较低的竞争对手竞争，并兑现其关于机器人出租车和机器人技术的雄心勃勃的承诺。
## 特斯拉利润下降，尽管电动汽车需求上升
特斯拉最近报告利润大幅下降，尽管美国电动汽车销量激增。Hacker News上的讨论指出，有几个因素导致了这种情况。虽然需求依然存在，但特斯拉面临来自传统汽车制造商（如起亚、现代和通用汽车）日益激烈的竞争，这些公司现在是电动汽车市场的有力竞争者。
评论员认为，特斯拉近年来没有推出真正具有创新性的车辆，除了对Model Y的增量更新之外。一些人批评特斯拉频繁的设计更新策略具有操纵性，更喜欢他们最初的突破性方法。另一些人质疑特斯拉专注于价格实惠而非车型多样化是否是一种可持续的商业模式，并将其与成熟汽车制造商的多样化产品线进行对比。
这场辩论还涉及特斯拉的品牌形象，尤其是在埃隆·马斯克最近的争议之后。人们讨论特斯拉是否符合豪华品牌的标准，考虑到其定价和维修成本。最后，关于马斯克1万亿美元薪酬方案的即将到来的投票也是一个争议点，一些人认为这是由雄心勃勃的里程碑所证明的，而另一些人则认为这是过高的。
## AI 编程现实调查：超越 70% 自动化与 SDD 的炒作 近期 AI 编程工具的激增以及规范驱动开发 (SDD) 的出现，既有真正的创新，也有虚高的估值。尽管 Cursor 等公司实现了爆炸式增长，并且 84% 的开发者现在使用 AI 工具，但承诺的“70% 自动化”在很大程度上是神话——是对麦肯锡研究的误用，并且与现实数据相悖，数据显示开发者在使用 AI 辅助时常常会*减慢*速度。 SDD 需要在编码*之前*提供详细的规范，是对“氛围编码”（未经审查的 AI 生成代码）混乱的应对，并为证明高估值（一些公司市盈率高达 70 倍 ARR）提供了理由。然而，它的成功很大程度上取决于具体情况；它在新项目中表现出色，但在遗留系统中却举步维艰。 在未来 18-24 个月内可能会出现纠正。能够证明产品与市场契合度并具有运营纪律性的公司——例如 GitHub Copilot——将会生存下来，而那些依赖“技术潜力”的公司将会衰落。SDD 的长期可行性取决于 AI 模型是否能够变得可靠地确定性，从而可能使详细的规范变得不必要。最终，AI 编程是一个强大的*助手*，而不是对熟练开发人员和健全工程原则的替代。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受了我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。
## P != NP 证明声明：怀疑与审查
一篇声称使用计算拓扑和范畴论证明 P ≠ NP 的论文在 Hacker News 上出现，引发了大量讨论。作者声称提供了一个在 Lean4 中经过机器验证的证明，但多位数学家迅速发现了潜在的缺陷。
具体而言，提出的问题包括论文中明显错误的定理、关键声明之间的矛盾以及未定义的数学概念。人们还担心论文的风格类似于 AI 生成的内容，以及相关代码库的不可访问性。
讨论强调了验证如此复杂的证明的挑战，即使经过形式化处理，其有效性也取决于问题最初嵌入到范畴论中的准确性。缺乏合作作者或导师参与也被认为是这种规模声明的罕见现象。
总而言之，社区仍然持高度怀疑态度，并指出最近出现了一种频繁的、未经证实的 P ≠ NP “证明”在线出现的趋势。需要专家进行进一步调查以评估此声明的有效性。
## Gemini CLI 现在支持交互式 Shell 命令 Gemini CLI 得到了显著增强，增加了伪终端 (PTY) 支持，允许用户*直接*在 CLI 中运行复杂的交互式命令——无需切换到单独的终端！这意味着像 `vim`、`top` 和交互式 `git rebase -i` 这样的工具现在可以无缝运行。 此前，在 Gemini 之外运行这些命令会丢失宝贵的上下文。现在，一个虚拟终端会向您的屏幕传输实时的双向 Shell 会话，捕获文本、颜色和光标位置。输入会直接发送到进程，并且终端会适应窗口大小调整。 此功能在 v0.9.0 中默认启用（使用 `npm install -g @google/gemini-cli@latest` 进行升级）。它通过将所有内容保留在 Gemini 的上下文中，并提供更自然的命令行体验，从而大大改善工作流程。团队鼓励在他们的 GitHub 仓库中提供反馈，以便他们继续完善集成。
## Gemini CLI：褒贬不一
谷歌Gemini CLI交互式命令的推出引发了大量讨论，但总体上是负面的。虽然该功能——允许在CLI内使用shell——被视为一个有价值的进步，但许多用户报告Gemini模型本身不可靠。
常见的抱怨包括Gemini难以处理基本任务，如文件路径，持续忘记系统指令，以及过度注释代码。一些用户强调了一个令人沮丧的问题：达到速率限制会强制切换到能力较弱的模型（Flash），且没有简单的恢复方法。
许多人认为Gemini CLI落后于Claude Code等竞争对手，尽管Gemini的网页界面提供了更好的模型质量。一些人推测谷歌优先开发用于提升简历的功能，而非真正满足用户需求。另一些人则认为该工具更侧重于维持表面上的良好形象，而非提供真正有用的产品。
尽管存在批评，但人们仍然希望Gemini 3.0能够改进代理编码体验，并且一些人认为CLI与node-pty等工具的集成在特定、短期的任务中具有潜力。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2025 Google LLC
## 旅行者1号的星际救援：摘要
最近的Hacker News讨论强调了远程调试和更新旅行者1号的壮举，这艘探测器现在被认为是“星际的”（尽管仍处于太阳系的影响范围之内）。探测器遇到了数据损坏的问题，源于一个有缺陷的存储器。尽管系统已有45年历史，且通信延迟巨大，NASA的工程师们成功地诊断并实施了一个软件补丁——本质上，这是首次星际软件更新。
讨论还涉及过去任务中面临的类似挑战，例如修复伽利略探测器的天线和调试麦哲伦轨道飞行器。一个关键主题是维护和修复数十年历史的代码的困难，尤其是在原始开发环境丢失的情况下。访问旅行者1号的原始源代码证明具有挑战性，涉及政府记录和知识产权的灰色地带。
这次成功凸显了旅行者团队的聪明才智和其中涉及的运气——不同的存储器故障可能会使恢复变得不可能。这证明了强大的工程技术，并提醒我们深空探索中涉及的巨大距离和限制。
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.
该库 `cube_param.dll` 利用机器学习为音频合成器提供“参数降维”技术。它解决了合成器参数众多且复杂的问题，将其简化为易于管理的2-3个参数，从而简化音色设计并实现高效的参数空间探索。
C++ 实现提供二进制兼容的 C API（定义在 `cube_interface.h` 中），并利用 t-SNE 进行降维，得益于多核 CPU 支持，可以高效地处理大型预设数据集。一个示例 (`test_cube_c_api.cpp`) 演示了其用法。
虽然参数*搜索*速度很快，但从降维空间重建完整的参数集计算量很大，无法在 DAW 中进行实时自动化。它最适合离线音色设计。提供了示例声音和演示其与商业 VST (Sylent1) 配合使用的视频。
该库可以免费集成，欢迎反馈至 [email protected]。提供有限的支持。
## LibCube：AI驱动的合成器音色探索
LibCube是一个新工具（github.com/cslr），旨在简化在音序合成器中发现音色的过程，这些合成器通常具有众多且复杂的参数。该项目在Hacker News用户中引发了讨论，一位评论员将其与Aphex Twin的人工智能补丁生成器相提并论。
虽然一些人觉得这个工具很有趣并赞赏其底层代码，但关于合成器操作基本原理的长时间争论也随之而来。具体来说，争论的焦点在于ADSR包络中“维持”阶段的定义——它代表一个电平还是一个持续时间。
除了技术讨论之外，用户还强调了其他声音设计方法，如FM合成和西海岸合成，强调了音频创作中广阔的可能性。一些评论员建议使用“wekinator”等工具手动编录音色，并指出LibCube作为插件开发者演示的潜力。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接，禁用任何广告拦截器，或尝试使用不同的浏览器。
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
迷人的冒牌者 (jstor.org)
16 分，由 Petiver 1 天前发布 | 隐藏 | 过去 | 收藏 | 1 条评论
bbminner 1 天前 [–]
啊，我以为会是图形学论文 :) 回复
考虑申请YC冬季2026批次！申请截止至11月10日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
1869年8月，法国化学家和气象学家加斯东·蒂桑迪埃与家人在加莱海边度假时，偶然看到一张海报，宣布第二天将在市中心广场举行热气球发射活动，以庆祝拿破仑三世皇帝。他径直前往航空员的酒店，说服自己参加了这次旅程。尽管被可怕的噩梦（关于气球爆炸）、家人严厉的劝阻（不要冒险）以及猛烈袭击海岸的暴风雨所困扰，蒂桑迪埃还是在黎明时分抵达发射地点，只携带了从加莱人道协会购买的救生衣。尽管一个小型的试飞气球撞上了钟楼，然后被暴风雨吹向广阔的北海，但勇敢的航空员们还是跳入了柳条篮，军乐队奏响了进行曲，尼普顿气球一跃而起，升至4000英尺。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
《令人眼花缭乱的账户：空中旅行》（1871年版）(publicdomainreview.org)
7 分，来自 prismatic 1 天前 | 隐藏 | 过去的 | 收藏 | 讨论
考虑申请YC的冬季2026批次！申请截止日期为11月10日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：