每日HackerNews RSS

2026年8月12日,Heart Aerospace公司在普拉茨堡国际机场成功完成了其X1验证机的首飞。这次历时27分钟的任务证明了大型全电力推进系统在商业航空领域的可行性,且仅消耗了价值5美元的电能。 X1是Heart公司即将推出的ES-30——一款30座混合动力区域客机——的全尺寸测试平台。得益于电力推进技术,通过降低燃料成本、简化维护流程以及提高可靠性,ES-30预计将比传统飞机降低超过40%的运营成本。该项目已获得行业内的广泛支持,包括联合航空和加拿大航空等主要承运商的承诺。 Heart Aerospace致力于推动区域旅行的去碳化并降低乘客出行成本,目标是让ES-30在2031年投入运营。在X1测试成功后,公司目前正在开发首架ES-30预生产机型,并计划于2028年进行飞行测试。这一里程碑标志着向更经济、更频繁、更可持续的区域航空服务迈出了关键一步。

Heart Aerospace 已成功完成其 X1 验证机的首次飞行,这标志着迄今为止重量最大的电动飞机达到了一个重要里程碑。虽然该公司声称飞行电费仅需 5 美元,但这一数字在 Hacker News 上引发了关于计算方法以及该数据是否基于批发价格或特定飞行条件的争议。 该飞机采用混合动力设计,利用电动机实现短程高效飞行,并配有备用发电机作为储备,旨在服务短途支线航线。支持者认为,电动航空可以彻底改变驾驶困难地区(如沿海或山区)的交通连接。他们还强调了其潜在优势,包括降低维护成本、减少噪音以及最终淘汰含铅航空燃油。 批评者和怀疑论者仍关注技术和经济障碍,包括电池能量密度、“储备”安全要求,以及电动动力在短途飞行之外的可行性。此外,用户还讨论了“最大”这一描述是否准确,并指出历史上曾存在翼展更宽的太阳能飞机。尽管存在这些疑虑,社区大体上认为这一进展是迈向可持续支线航空旅行的必要早期步骤。

**MCP-Memory** 是一个模型上下文协议(MCP)服务器,为 AI 智能体(如 Claude、Cursor 和 Windsurf)提供持久化的长期记忆。它允许智能体跨会话存储、搜索和管理状态信息,确保即使在项目关闭后也能保持上下文。 **主要功能包括:** * **OKF v0.2 标准:** 所有数据均以包含 YAML 前置元数据的易读 Markdown 文件形式存储,确保透明度与兼容性。 * **双层存储:** 记忆既保存为便于人工查阅的结构化文件,又通过本地 SQLite 数据库(使用 FTS5)进行索引,实现 20 毫秒以内的快速检索。 * **命名空间隔离:** 支持有组织的数据分类(例如:项目/架构、用户/偏好)。 * **智能体指令:** 内置用于管理项目检查点的工具,允许智能体从中断处准确恢复工作。 * **零样板设置:** 专用的设置向导可自动检测并配置本地 AI 工具,实现无缝集成。 通过将持久化状态与高性能索引相结合,MCP-Memory 弥补了瞬时聊天会话与复杂长期项目开发之间的差距,使智能体能够掌握项目历史、编码风格和关键节点信息。

API 定价更新 💰 随着 V4 系列产品的发布,我们正在更新 API 定价,并引入高峰与非高峰费率。非高峰费率比高峰期低 50%,从而实现更灵活的工作负载调度。📉 新定价将于 2026 年 8 月 16 日 16:00 UTC 生效 🕒

DeepSeek Harness (dsh) 是由 DeepSeek AI 开发的开源智能体框架。它采用模块化、基于插件的架构,并由强调时空可组合性的“Cordis”编程范式驱动。 该项目目前处于快速开发者预览阶段,更新频繁且可能存在破坏性变更。用户可以通过以下方式访问 Web UI:在安装 Node.js 后运行 `npx @deepseek-ai/dsh web`,或者直接从 GitHub 仓库构建。 DeepSeek 鼓励社区通过 GitHub Discussions 和 Discord 服务器进行交流。有兴趣参与贡献或开发插件的开发者,可以在仓库中找到包括架构指南和智能体开发协议在内的详尽文档。该项目采用 MIT 许可证。

🛡️ 正在进行快速检查 我们正在检查您的连接,以防止自动化滥用 为什么我会看到这个页面? 遇到问题?请联系支持团队

本讨论帖围绕一份近期报告展开,该报告指出,全球升温过快可能会在气温升高 2°C 时触发大西洋经向翻转环流(AMOC)崩溃。 参与者对人类应对气候变化的能力深感悲观。提出的解决方案从激进的“地球工程”到系统性的大规模政策变革(如碳税、取消化石燃料补贴以及扩大公共基础设施)不等。许多评论者认为政治意愿是主要障碍,指出既得利益者和消费文化一再阻碍必要的行动。 辩论中很大一部分内容探讨了地方环境政策与全球现实之间的脱节,指出虽然一些发达国家减少了排放,但发展中地区以煤炭为主要动力的快速工业化抵消了这些成果。 怀疑论依然是反复出现的主题;一些用户质疑气候模型的确定性,并强调了在经济增长与彻底去碳化之间取得平衡的难度。最终,共识倾向于一种充满挫败感的无奈,许多人总结认为,由于当前的全球体系在结构上倾向于增长而非生存,灾难性的气候事件可能是唯一有足够力量迫使系统发生变革的因素。

Dr. Drang 解释了他进行数据分析的基本原则为何是“不要”使用电子表格。虽然他承认电子表格作为通用数据容器、逻辑机和演示工具十分便捷,但他认为,随着项目的增长,其缺乏结构的特性会导致错误和难以维护。 根据多年审查其他工程师复杂且不规范电子表格的经验,Drang 指出,当电子表格包含嵌套且晦涩的公式、难以追踪的依赖关系,或者数据超出行限制时,它们就会成为负担。与使用 Python (Pandas) 或 SQL 的编程工作流不同(后者逻辑透明、可重复且具备扩展性),电子表格往往会促成难以验证的、杂乱无章的“独有”习惯。 Drang 提出了该原则的两个主要例外: 1. **简单、直观的任务:** 当数据量小到无需滚动即可查看,且逻辑简单直接时。 2. **一次性编辑:** 将电子表格作为临时“中转站”,用于清理或重排单个项目的数据。 最终,Drang 总结道:虽然电子表格对某些人来说功能强大,但对于复杂、长期或大规模的数据分析而言,“点击拖拽”所带来的错误风险远大于其益处。

关于“我使用电子表格的准则”在 Hacker News 上引发的讨论,凸显了一个反复出现的辩题:尽管程序员往往认为电子表格易于出错、缺乏文档且存在技术上的“乱码式”混乱,但它对非技术用户而言,依然是世界上最易用、灵活且强大的工具。 该话题的主要观点包括: * **强力工具悖论:** Excel 常因在缺乏技能的用户手中被滥用而受到诟病,这些人往往会创建出脆弱且“令人恐惧”的互联系统。然而,它之所以成功,是因为它是一个集数据录入、存储、计算和可视化于一体的环境,且无需接受正规的软件工程培训。 * **易用性与严谨性:** 开发人员主张对于复杂的任务应使用数据库或代码来替代电子表格,但评论者指出,“正规”软件往往缺乏电子表格网格那种直观、可视化且具备交互性的特性。 * **“必要的恶”:** 许多参与者承认,电子表格往往是弥合开发人员与非技术相关方之间鸿沟的唯一工具。 归根结底,共识在于电子表格是一把双刃剑:它们对于快速原型设计和数据可视化至关重要,但往往会由于使用过度而产生弊端,最终需要专业迁移至专用应用程序,以解决隐藏的错误和扩展性限制。

**GaussianSplatting.jl 2.0** 引入了重大的性能与易用性升级,并完全使用 Julia 构建。主要亮点包括: * **多平台支持:** 利用 `KernelAbstractions.jl`,该库现在通过单一代码库支持 NVIDIA、AMD 和 Apple Silicon (Metal) GPU。 * **响应式 UI:** 全新的多线程架构将渲染和训练与 UI 解耦,确保应用在进行 JIT 编译或数据集加载等繁重的后台任务时,仍能保持交互流畅。 * **高级训练策略:** 增加了对 MCMC 稠密化(densification)的支持,以实现对场景几何结构的精确控制;同时引入深度监督和几何正则化,以提高重建质量并减少伪影。 * **背景管理:** 新增的“天空穹顶”(Sky Dome)功能可有效将天空与场景几何结构分离,从而减少浮动伪影。 * **工作流增强:** 本次更新包括实时损失函数绘图、自动检查点保存、显存使用监控,以及保存/加载摄像机路径和超参数配置(`.toml`)的能力,从而提升了实验的可复现性。 这些改进简化了高斯溅射(Gaussian Splatting)的工作流程,为高保真 3D 重建提供了更强大且友好的使用体验。

这场 Hacker News 讨论聚焦于一个在 Julia 中实现高斯溅射(Gaussian Splatting)的新项目,该项目因其跨平台硬件支持(NVIDIA、AMD 和 Apple Metal)而受到称赞。 讨论的重点主要集中在高斯溅射工作流程所面临的技术挑战上。用户指出,目前的“事实”标准要求使用 COLMAP 进行相机姿态估计和初始点云生成,这一预处理步骤通常被认为既繁琐又耗费硬件资源。一位参与者表达了在寻找处理视频素材的非 COLMAP 替代方案时所遇到的困难,尽管其他人也提到 COLMAP 近期通过 HIP 实现了对 AMD 硬件的支持。 此外,技术观察者对该项目的演示效果提出了批评,指出在旋转视角时会出现“残缺”或伪影。用户对此澄清说,这些伪影在原始训练数据中被遮挡的区域是预料之中的,这突显了高斯溅射的本质——即依赖一致的图像覆盖来合成视角。虽然一些用户对 Julia 实现版本所带来的易用性提升印象深刻,但其他人仍在讨论对齐不同相机视角以构建完整 3D 场景的复杂性。

Netlify 已与 OpenRouter 达成合作,旨在扩展其人工智能能力。用户现在可以通过 Netlify 的 AI 网关使用 OpenRouter 提供的任何模型,并能在“代理运行器”(Agent Runners)中直接访问包括 Kimi K3、GLM 5.2 和 DeepSeek V4 在内的各类前沿编程模型。 为了帮助用户在众多选择中进行决策,Netlify 使用其开源评估工具“AXIS”对这些模型进行了测试。通过对构建咖啡店网站等任务运行相同的提示词,Netlify 对比了各模型的视觉质量、代码可靠性以及点数消耗情况。 初步测试的主要结论包括: * **性能与成本:** 像 Claude Opus 这样的前沿模型能够提供高质量、富有创意的结果,但点数消耗较大;而 GPT 5.6 Terra 等中端模型则提供了兼顾成本与质量的选择。 * **差异性:** GLM 5.2 等模型在不同运行测试中表现出的不稳定性较高,而 DeepSeek V4 Flash 等模型则在经济性上表现卓越。 * **策略性使用:** 尽管设计和文案对于简单网站至关重要,但未来的测试将重点关注模型如何处理数据库和身份验证等复杂平台功能。 Netlify 鼓励用户尝试不同的模型,以在创意构思、项目预算和功能需求之间找到最佳平衡。

关于 Hacker News 上一篇通过单次提示(single-prompt)生成网页任务来比较 11 款 AI 模型的文章,讨论中突显了“玩具”基准测试与专业开发需求之间的分歧。 许多评论者批评这种简单的单次提示测试,认为它们无法代表真实的开发工作流——后者通常涉及迭代、多轮交互以及复杂的约束条件。另一些人指出,此类评估缺乏统计严谨性,因为小样本量(通常 n=1)无法衡量大语言模型固有的非确定性。 讨论的很大一部分集中在“AI 美学”上,特别是对“米色/橙色”主题的重复使用。参与者将其归因于共享的训练数据以及 Tailwind 等常见的 UI 模式。尽管有些人认为这种比较有助于衡量模型的“个性”,但大多数工程师认为,有意义的基准测试必须针对特定领域、基于个人代码库,并通过人工评估或高端模型裁判进行验证。最终的共识是:虽然这些测试很有趣,但它们很难作为实际软件工程的替代指标,因为在工程实践中,实用性和信息密度往往比风格化的外观更为重要。

正在检查您的浏览器……需要启用 JavaScript

这篇 Hacker News 讨论探讨了早期计算历史,特别是 ENIAC、UNIVAC 的遗产,以及约翰·莫奇利(John Mauchly)和 J·普雷斯珀·埃克特(J. Presper Eckert)的工作。 参与者分享了关于关键路径法(CPM)以及一种名为“Skeduflo”的冷门模拟调度原型的技术见解。讨论还涉及了数字计算机颇具争议的专利史,重点讨论了阿塔纳索夫-贝瑞计算机(ABC)及其在作废 ENIAC 专利中的作用。 多位评论者提供了在 20 世纪 70 和 80 年代使用 UNIVAC 硬件的第一手资料,指出了该公司在早期向量处理和对称多处理等方面的重大工程成就,同时也对阻碍其成功的管理和市场压力表示遗憾。讨论强调了从真空管向晶体管的过渡,并通过赫尔曼·卢科夫(Herman Lukoff)的《从点到位》(*From Dits to Bits*)等回忆录缅怀了那些有影响力的人物。总的来说,这个讨论帖是对计算领域奠基时期的一次怀旧回顾,尽管这一时期是碎片化的,但它为现代架构和项目管理实践铺平了道路。

自主技术集团 +−=× 首页 期刊 职业发展 加入我们的团队 创造能思考、推理和行动的系统。我们正在寻找来自不同学科和背景、充满好奇心的人才。 正在加载职位... 首页 期刊 自主技术集团 布鲁克林,纽约 联系我们 复制邮箱 邮箱已复制

抱歉。

更多

联系我们 contact @ memedata.com