每日HackerNews RSS

电子游戏启发了出色的用户体验（2019） Video games inspire great UX (2019) 3 小时前

在拥有 30 年 UX 设计经验后，作者通过与游戏理论家拉夫·科斯特（Raph Koster）合作，挑战了自己原有的设想。他不再局限于“游戏化”（点数和徽章）的表面形式，而是试图探索游戏设计中更深层、更本质的内核。 他提出了连接游戏设计与应用 UX 的六个“透镜”： 1. **故事与叙事**：无论设计如何，用户都会自行构建叙事；创作者必须打造连贯的故事线来引导这一过程。 2. **分形设计**：复杂的系统是由嵌套的微小技能集合而成的。与游戏一样，应用应严谨地拆解每一项交互。 3. **学习循环**：乐趣是学习的副产品。应用应通过分层构建来引导用户掌握技能，而非用复杂性让用户感到不知所措。 4. **示能**：游戏利用细腻的多层反馈（如《塞尔达传说：旷野之息》中的体力轮）来直观地引导用户。 5. **暗示性**：利用微妙的环境线索取代碍事的对话框，防止用户陷入“无脑操作”或停滞不前。 6. **节奏**：不要一次性展示所有内容，而应通过精心策划的旅程引导用户，从单一且清晰的操作开始。 通过应用这些透镜，设计师可以跳出僵化的准则，创造出既引人入胜又极其直观的体验。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 电子游戏启发了出色的用户体验 (2019) ( jenson.org ) 5 点 由 andsoitis 发布 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

查看详情

开源会被取代它的智能体终结吗？ Will Open Source Survive the Agents That Replaced It? 3 小时前

正在验证您不是机器人...

这篇 Hacker News 讨论探讨了人工智能代理时代开源软件的未来。对话呈现了两种主要观点： * **人工智能作为助力：** 一些贡献者认为，人工智能代理使个人能够通过小团队构建高质量的定制替代品，从而绕过大型商业软件公司。另一些人则认为，人工智能淘汰了琐碎的开源项目，使开发者能够专注于更复杂和更具创新性的挑战。 * **关于质量和隐私的担忧：** 人们对人工智能代理正在生成并随后用于训练的“废料与垃圾”日益感到担忧。一位用户建议，随着人工智能的输出充斥整个生态系统，开发者可能需要将项目保存在私有仓库中，以保持代码质量，并避免助长更广泛训练数据池的退化。 总的来说，评论者反映了软件开发领域的一种转变：虽然人工智能承诺为创作者提供更大的自主权，但也为公共代码仓库的长期健康状况以及人工智能生成软件的质量带来了不确定性。

查看详情

人工智能没有智慧，你也不会有。 AI Has No Wisdom and Neither Will You 3 小时前

作者警告，目前有一种令人担忧的趋势，即贬低人类的代码编写与审查工作，转而推崇人工智能生成的“感觉式编程”（vibe-coding）。虽然人工智能在自动化处理琐碎任务方面非常有用，但它缺乏优先考虑长期可维护性的能力——而这种能力只能通过多年的经验与直觉积累。 由于可维护性无法通过即时指标或僵化的规则来衡量，人工智能往往会模仿现有数据集中的不良模式，从而产生脆弱且难以管理的代码。此外，通过将编程工作外包给人工智能，开发人员失去了磨练技能的机会，阻碍了他们向专业精通之路的成长。若缺乏人类的监督，项目不可避免地会演变成“蝴蝶效应”般的混乱局面，导致后期无法进行重构。 作者认为，软件工程是一门人类要素不可或缺的独特学科。最终，他们预测未来对人工智能的过度依赖将导致普遍性的技术债务，而企业最终会将“无人工智能”（No-AI）开发作为一种竞争优势进行推广，因为人们会意识到，真正的软件工艺需要人类的责任感与深度的架构理解。

这篇 Hacker News 的讨论聚焦于 AI 时代下维护代码质量的挑战。原帖认为，AI 生成（即“凭感觉编码”）的项目最终必然会变得难以维护，因为 AI 本身缺乏对架构的内在理解。这一缺陷之所以严重，是因为劣质代码的后果往往需要数年时间才会显现，导致强化学习模型难以从中获得有效反馈。 对此，用户 CharlieDigital 指出，人类在面对同样问题时也举步维艰，且由于开发周期较慢，人类识别技术债的速度往往更慢。他认为，只要开发者具备必要的“品味”和自律，能够建立稳固的架构基础与设计模式，AI 其实完全有能力产出高质量且一致的代码。归根结底，这一挑战并非 AI 的局限，而是人类的问题：团队必须抵制那种为了追求短期交付速度，而牺牲长期结构完整性的做法，唯有如此才能确保 AI 生成的代码具备可维护性。

查看详情

C 和 C++ 中的类型双关 (Type Punning) Type Punning in C and C++ 3 小时前

类型双关（Type punning）——即将同一内存区域解读为不同类型——对于底层编程至关重要，但由于严格别名规则，它常导致难以察觉的隐蔽错误。虽然指针转换（如 `(int*)&float_var`）看似有效，但这属于未定义行为。在高优化等级（-O2 及以上）下，编译器会假定不相关的类型不会发生别名，因此可能会基于“对一个指针的写入不会影响另一个指针的值”这一错误假设，进而优化掉部分代码。 在 C++ 中，这个问题尤为严重，因为编译器在利用别名假设以提升性能方面更加激进。因此，在调试构建中运行正常的代码，在生产环境中可能会失效。 为了确保行为明确并避免与优化相关的错误，开发者应避免使用指针转换来进行类型双关。取而代之的是，应使用以下安全替代方案： * **联合体（Unions）：** C 语言明确允许通过不同的成员访问同一内存。 * **`memcpy`：** 类型双关的黄金标准。现代编译器能识别这种模式，并将其优化为单条寄存器移动指令，在确保安全性和高性能的同时，不会引入未定义行为的风险。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 C 和 C++ 中的类型双关 (Type Punning) ( pwkf.org ) 11 点 由 ingve 30 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 K0IN 3 分钟前 [–] C++ 中的 reinterpret_cast 对此有效吗？ 回复 社区准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索：

查看详情

一个掷骰子的构建图 A build graph that rolls dice 4 小时前

本摘要探讨了 Nix 如何通过引入“动态派生”（dynamic derivations），从“应用式”（applicative）构建系统向“单子式”（monadic）构建系统转型。 传统上，Nix 是应用式的：整个构建图必须预先已知，这使得工具能够在执行前对构建过程进行推断。然而，动态派生允许在构建过程中定义构建图。虽然 Nix 长期以来通过评估器（evaluator）中的“派生导入”（import-from-derivation, IFD）支持“单子式”行为，但动态派生将此能力转移到了调度程序（scheduler）层面。这使得之前受限于评估器的步骤能够实现并行化、远程构建和缓存。 作者通过一个“掷骰子”实验展示了这一点：构建过程会随机决定是停止还是继续，即在运行时生成依赖图的下一步。除了简单的构建图生成（如 `cargo-dyndrv`）外，该原语还支持复杂的应用场景，例如： * **状态空间搜索：** 根据发现的情况扩展构建边界。 * **网络爬虫：** 在获取页面时动态发现依赖关系。 * **递归模拟：** 运行进程直到满足特定条件。 虽然这种转变挑战了我们预先审视构建图的能力，但它从根本上拓展了 Nix 的构建边界。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 一个掷骰子的构建图 ( fzakaria.com ) 4 点 由 ingve 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 help setheron 45 分钟前 [–] 感觉它既酷又复杂，卡住了。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

查看详情

JetBrains Air：面向智能代理软件开发的系统化产品 JetBrains Air: A System of Products for Agentic Software Development 4 小时前

JetBrains 宣布推出 **JetBrains Air**，这是一个全新的开放式生态系统，旨在应对代理式 AI 开发带来的复杂挑战。鉴于企业在管理、审计和控制自主代理方面面临诸多困难，JetBrains 正将其重心从单纯提供个人开发工具（IDE）转向构建一套用于团队协作和组织监管的综合系统。 JetBrains Air 构建于三大核心支柱之上： * **JetBrains IDE 中的 Air**：强化开发环境，用于指挥代理并验证其代码。 * **Air Teams**：协调开发人员与代理之间的软件交付工作流。 * **Air Governance**：提供集中式可见性、成本管理和安全策略。 该系统的一个关键特性是其**多供应商的开放式方案**。通过代理客户端协议（ACP），JetBrains Air 支持各种模型和代理，确保企业不会被锁定在单一供应商身上。通过将这种灵活性与 JetBrains 深度且确定性的代码智能相结合，该平台旨在解决“验证瓶颈”问题——即 AI 生成的代码易于产出但难以审计的问题。最终，JetBrains Air 致力于帮助企业在不牺牲质量、安全或问责制的前提下，实现 AI 实验的规模化应用。

最近关于 JetBrains 新推出的智能体软件开发产品“Air”的 Hacker News 讨论显示，资深用户群体对此持怀疑态度。 许多参与者表达了对该公司目前发展方向的不满，指出 JetBrains 的 AI 产品（如 Junie 和 Air）往往存在漏洞多、价格虚高或落后于竞争对手的问题。一些用户表示，由于对模型支持受限、对 ReSharper 等旧工具投入停滞，以及认为公司与现代开发需求脱节感到沮丧，他们已经放弃了 Rider 等 JetBrains IDE，转而使用 VS Code。 评论者们探讨了 JetBrains 在 AI 时代面临的生存威胁。尽管有人认为手动重构仍优于 AI 智能体，但另一些人则认为该公司难以证明其订阅模式的合理性。总体而言，舆论情绪趋向失望；曾经的忠实用户发现当前的产品组合相关性降低，并选择不再续费，他们希望该公司最终能重新专注于提供更高质量、更具竞争力的开发工具。

查看详情

东京一所学校统计能看到富士山的早晨次数：1965年为22天，2023年为170天。 A Tokyo school counts the mornings it can see Mt. Fuji: 22 in 1965, 170 in 2023 4 小时前

请启用 JavaScript 和 Cookie 以继续。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 东京一所学校统计能看到富士山的早晨次数：1965 年为 22 次，2023 年为 170 次 ( jivx.com ) 10 分 由 momentmaker 发布 42 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 moontear 1 分钟前 | 下一条 [–] 这是一个有趣的统计数据，但如果能解释原因会更有趣。 这仅仅是因为空气质量变好了吗？还是该地区的气候变得更干燥，导致空气中的水蒸气减少了？ 回复 rjh29 3 分钟前 | 上一条 [–] 这基本上是 JIVX 语言学习工具的广告。整个网站看起来都是 AI 生成的，在写作或内容策划方面似乎没有任何人类参与的痕迹。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

每分钟 9 则广告：2026 年世界杯——“美丽足球的代价” 9 Ads per Minute: FIFA Cup 26 – "the price of the beautiful game" 4 小时前

来自布里斯托大学和牛津大学的最新研究显示，最近一届国际足联世界杯成为了推广有害产品的巨大平台。研究人员利用英国强大的 Isambard-AI 超级计算机分析了 172.6 小时的比赛直播画面，记录到超过 93,000 次推广不健康食品、酒精、博彩和加密货币的品牌曝光。 其中，不健康食品和饮料的曝光占比超过 70%。研究强调，这种品牌宣传“无处不在且无法避免”，出现在近四分之一的比赛直播时间里。关键在于，国际足联的统一转播信号忽略了可用的虚拟技术，本可以利用该技术替换掉不符合当地法律的广告，但却选择向全球观众——包括那些此类产品受限或非法的国家——展示了不受监管的营销内容。 专家警告称，这种体育赛事中“饱和式”的有害广告投放正在威胁公共健康，尤其是通过使不健康产品和博彩消费“正常化”来影响儿童。研究人员敦促各国政府对体育营销实施更严格的监管，并呼吁国际足联在合作伙伴关系中采纳公共利益标准，确保将儿童健康置于与可预防疾病及社会危害相关的商业推广之上。

一项利用布里斯托大学 Isambard-AI 超级计算机进行的研究，分析了 172 小时的 2026 年国际足联世界杯比赛录像，对植入式广告的强度进行了量化。研究显示，平均每分钟出现 9 条广告，即大约每 6.7 秒就会出现一个品牌标识。 这项研究在 Hacker News 上引发了热烈讨论。评论者重点关注了以下几个方面： * **企业合规性：** 用户指出，此类人工智能工具为赞助商提供了一种客观的方式，以核实广播公司是否达到了合同规定的广告位投放要求，这可能引发针对漏播广告的法律诉讼。 * **饱和度与侵入性：** 许多人对体育赛事中“无处不在”的营销表示不满，特别提到了侵入式的场边广告牌，以及“饮水时间”的常态化——批评者怀疑这是人为制造出来的额外广告时段。 * **数据的价值：** 尽管有人认为该研究只是证实了显而易见的事实，但其他人坚持认为，精准且可量化的数据对于倡导和政策制定是必要的，正如审查制度的测量对于互联网自由至关重要一样。 * **潜意识影响：** 讨论还涉及了关于广告有效性的持续争论。用户质疑这种大众市场的曝光度究竟是否能真正驱动消费者行为，还是仅仅让受众“淹没”在营销信息之中。

查看详情

Verda（芬兰）完成1.89亿美元B轮融资 Verda (Finland) raises $189M in Series B 4 小时前

Verda 在获得由 Emergence Capital 领投的 1.89 亿美元 B 轮融资后，估值已达到独角兽级别，其总融资额现已超过 4.5 亿美元。这家总部位于赫尔辛基的公司提供“全栈式”AI 云服务，通过自主设计数据中心、基础设施和软件，为现代代理（agentic）和推理工作负载提供灵活且高性能的计算支持。 截至 2026 年 7 月，Verda 的年化收入运行率达到 1.65 亿美元，服务范围覆盖全球 50 多个国家。该公司的核心竞争力在于其“AI 实验室”，通过开展内部研究以优化 GPU 利用率和软件性能，并将研究成果直接应用于 Aleph Alpha 和 Epsilon Health 等客户的产品开发中。 Verda 目前在全球拥有超过 250 名员工，并计划到 2027 年将其业务规模扩展至 250 兆瓦。未来的投资将重点用于扩大全球数据中心容量、提升推理速度、推出托管式 Kubernetes 服务，以及深化企业级安全与合规能力。通过将硬件设计与以开发者为中心的软件平台相结合，Verda 旨在助力欧洲成为下一代 AI 计算基础设施领域的领导者。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Verda（芬兰）完成1.89亿美元B轮融资 ( verda.com ) 6 积分 由 cmrdporcupine 发布于 1小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 nik736 1分钟前 | 下一条 [–] Verda 很棒！Verda 唯一的缺点就是经常售罄 :-) 所以希望这 1.89 亿美元能改善这种情况。 回复 htrp 5分钟前 | 上一条 | 下一条 [–] 又一个 AI 云计算公司 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

在树莓派 5 上运行 JavaFX 27 Native Image JavaFX 27 Native Image on a Raspberry Pi 5 5 小时前

在最初将 GraalVM Native Image 用于移动端部署后，作者将他们的 JavaFX 桌面和命令行（CLI）应用程序迁移到了预先编译（AOT）。他们发现，由于图形界面（GUI）很少达到即时编译（JIT）的触发阈值，因此能从 AOT 中显著受益；迁移到 Native Image 后，启动速度最高提升了 90%，内存占用也大幅降低。 在树莓派（Raspberry Pi）5 上的基准测试表明，经过 AOT 编译的 JavaFX 性能远超标准的 JIT 构建（jlink + CDS），甚至超过了高端台式机的性能表现。 尽管 JavaFX 与 Native Image 高度兼容，但其初始配置过程非常复杂，这导致人们普遍认为 Java 桌面应用与 AOT“不兼容”。作者将这种挫败感归因于那些掩盖了原生层并导致调试困难的“魔法”工具。为了解决这一问题，他们开发了自定义工具，旨在简化最新版 JavaFX 与 Oracle GraalVM 的集成，消除过程中的神秘感，从而让高性能的原生 Java 桌面应用更易于开发。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在树莓派 5 上运行 JavaFX 27 原生镜像 ( ennerf.github.io ) 4 点 由 0x54MUR41 发布 2 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索：

查看详情

更多