请启用 JavaScript 和 cookie 以继续。
每日HackerNews RSS
抱歉。
请启用 JavaScript 并关闭所有广告拦截器
抱歉。
SubSmith 是一款语言学习工具，旨在通过电影、视频和播客等您喜爱的内容助您实现语言流利。它能够处理您本地的媒体文件（MKV、MP4、MP3），并提供 99 种以上语言准确且完美同步的字幕。
核心功能包括即时悬停词典，让您无需中断观看即可在语境中学习词汇；同时支持一键整合至 Anki，将媒体内容转化为个性化记忆卡片。作为传统教科书和课程之外更优、更实惠的替代方案，SubSmith 打造了一个沉浸式的无干扰学习环境。
该平台提供 7 天免费试用（无需信用卡），并有两种灵活的定价方案：15 美元/年的年度订阅，或 40 美元的终身买断制许可。无论您是寻求学习路径的指导，还是希望以更高效的方式从喜爱的节目中提取句子，SubSmith 都能为您提供所需工具，在您的电脑上构建专业级的沉浸式学习流程。
抱歉。
**Cartographia Imperialis** 是一款非官方的交互式粉丝自制网页地图，旨在记录《战锤40,000》的银河系。该工具允许用户探索帝国各大星域（太阳、朦胧、太平、暴风和极限星域）的关键地点，包括泰拉、卡迪亚、马库拉格和钛帝国等标志性行星。 该界面提供可切换的图层功能，涵盖航行路线、标签和亚空间裂隙，并包含第41千年裂隙前与第42千年不屈远征时代的数据。用户通过档案索引选择特定地点，即可查看各天体的详细档案。请注意，本项目仅为爱好者创作，与 Games Workshop 无任何关联，亦未得到其认可。
最近的一篇 Hacker News 帖子重点介绍了 **Cartographia 40k**，这是一个令人印象深刻的《战锤 40,000》银河系交互式 3D 地图。该项目受到了粉丝们的热烈欢迎，他们非常欣赏它为帝国宏大规模所提供的直观视角。
用户讨论主要集中在三个方面：
* **潜在改进：** 社区成员建议将特定星球与相关的“黑图书馆”（Black Library）小说链接起来，增加物流时间轴，并纳入缺失的扇区（例如《艾森霍恩》系列中的扇区）。
* **性能与用户界面：** 尽管其构想备受赞誉，但用户也指出了一些延迟问题、界面重叠和性能瓶颈，并有人建议进行技术优化以实现更流畅的导航。
* **背景设定与元评论：** 讨论深入探讨了该系列的历史。用户们争论 40k 最初是作为对 20 世纪 80 年代英国的讽刺评论，还是仅仅是一系列“醉酒书呆子”的笑话，同时也讨论了官方正史与该设定去中心化且往往自相矛盾的本质之间持续存在的张力。
总的来说，社区认为这张地图是一个充满前景但“仍在完善中”的项目，它是探索广阔且往往混乱的 40k 宇宙的宝贵资源。
Show HN: FnScribe – macOS 开源离线听写工具 Show HN: FnScribe – Open-source, offline dictation for macOS
2 天前
FnScribe 是一款适用于 macOS 的私密且本地优先的听写工具，完全基于设备端的 Whisper 模型运行。它常驻于菜单栏，在通过快捷键或免提模式触发前，不会干扰您的工作。它能自动将语音转录至当前活动应用程序中，并提供诸如去除冗余词、自动格式化以及用于自定义拼写的个人词典等智能功能。 隐私是其设计的核心；该软件无需账户、云服务，也不会存储转录历史。音频和文本数据仅存在于内存中，且麦克风与辅助功能等敏感权限均在本地管理。 主要功能包括： * **灵活模式：** 支持按键说话（默认使用 `fn` / 地球仪键）和免提听写。 * **智能编辑：** 可识别口头标点符号命令，并提供类似“实际上是……”之类的修正短语。 * **可靠性：** 若自动输入失败，提供诸如“复制最后一段转录”等手动恢复选项。 * **开源：** 基于 GPLv3 协议开源，使用 Rust 和 Tauri 构建，并提供开发者友好的构建与测试脚本。 FnScribe 需要 macOS 13 (Ventura) 或更高版本，并支持 Apple Silicon 或 64 位 Intel 芯片的 Mac。对于寻求私密语音转文字集成的用户而言，这是一个安全且高效的解决方案。
抱歉。
本文提出了一种计算封闭三角化 3D 网格体积的高效 $O(n)$ 算法。作者利用散度定理，将三重体积积分转化为曲面积分。 通过选择向量场 $\mathbf{F}(x, y, z) = \langle x, 0, 0 \rangle$，体积计算简化为网格中各三角形的求和。利用每个三角形的参数表示，作者推导出一个简洁公式： $V = \frac{1}{6} \sum_{i=0} (\Delta_{i1} \times \Delta_{i2})_x (T_{i0x} + T_{i1x} + T_{i2x})$ 该方法无需数值积分或昂贵的采样手段。由于计算仅依赖于每个三角形的基本算术运算——每个面仅需 11 次浮点运算——该算法速度极快。它能够在诸如树莓派等普通硬件上，每帧处理数千万个三角形。尽管作者指出该方法可能早已为人所知，但这依然是一个数学上优雅且计算上最优的体积计算方案。
抱歉。
披萨制作自动化的探索面临着巨大阻碍，Picnic、Zume 和 Pazzi 等多家机器人公司都未能实现盈利或维持运营。像 Moto Pizza 的 Lee Kindell 这样的餐厅老板，已经尝到了这项技术的苦头，包括高昂的成本以及对倒闭供应商的依赖。
批评人士指出，与人工相比，食品准备机器人在效率和稳定性上往往表现不佳，且人们担心自动化会剥夺餐饮业所重视的“人情味”。然而，行业支持者认为，机器人技术可以提供标准化的品质并提高速度，尤其是在连锁市场中。
尽管过去经历过失败，开发人员仍保持乐观。一些企业家正通过将失败企业的知识产权整合到更广泛的自动化项目中来寻求转型，例如 Miso Robotics 负责炸物烹饪的“Flippy”。虽然手工披萨制作商依然坚持人工服务，但对全自动披萨机器的追求仍在继续，因为人们相信现有的技术数据终将带来突破。行业领导者表示，虽然早期项目可能“操之过急”，但机器人技术融入快餐行业仍是不可避免的演变。
抱歉。
本摘要概括了文中针对 DevOps 领域中广泛使用 YAML 所表达的挫败感。
### 反对使用 YAML 的理由
尽管 YAML 已因 Kubernetes 的采用而成为配置领域的行业标准，但它常被诟病为开发者的“陷阱”。由于其规范复杂且容易被误解，该格式以行为不可预测而臭名昭著。
**主要痛点包括：**
* **数据类型模糊：** YAML 经常误读简单值，例如将“NO”（挪威）转换为布尔值 `false`，篡改版本号（如将 `1.70` 变成 `1.7`），或将 `04:30` 等字符串视为六十进制整数。
* **解析不一致：** 由于不同实现版本的 YAML 解析器差异巨大，在一个环境中可以运行的文件在其他环境中往往会失败。
* **安全风险：** 许多 YAML 解析器在处理不可信输入时容易受到代码注入攻击。
* **维护噩梦：** 缺乏模式校验（schema validation），且配置配置容易演变成难以阅读的“YAML 乱炖”，导致调试极其困难。
归根结底，作者建议转向更稳健的配置语言（如 CUE、Dhall 或 Jsonnet），这些语言能提供更好的安全性、可预测性以及开发体验。
这份 Hacker News 的讨论探讨了 YAML 充满争议的本质，其核心围绕着 "noyaml.com" 网站上的批评展开。
参与者争论 YAML 格式究竟是存在固有缺陷，还是仅仅被误用了。批评者认为 YAML 过度复杂、具有歧义且难以安全解析。然而，支持者指出，许多问题源于开发人员将 YAML 用于其设计初衷之外的任务（例如复杂的逻辑或模板），而不是简单的配置。
讨论强调了几个反复出现的主题：
* **替代格式：** 许多用户提倡使用 TOML 进行配置或使用 JSON5 以提高可读性，而另一些人则建议 XML 或 S-表达式等结构化格式能提供更好的嵌套性和可预测性。
* **“挪威”问题：** 这是一个著名的历史怪癖，YAML 解析器会将国家代码 "NO" 误解析为布尔值 `false`。
* **生态系统陷阱：** 尽管存在缺陷，但由于 YAML 在 Kubernetes 等工具中的广泛使用，它仍然占据主导地位，导致难以被取代。
* **人与机器：** 讨论触及了机器优化格式（JSON）与人类友好格式之间的矛盾，许多人认为严格的 Lint 检查和引号使用可以规避大多数常见的 YAML 陷阱。
请启用 JavaScript 和 cookie 以继续。
抱歉。
德国主权技术基金（STF）宣布投资 508,640 欧元，用于在未来两年内推进 Flatpak 的开发与管理。该计划由 Modal 联合组织，并得到 Para-Real Ltd. 的支持，旨在对 Flatpak 的安全性和沙盒功能进行现代化升级，使其能够媲美 iOS 和 Android 等专有平台。
尽管 Flatpak 已趋于成熟，但在精细化音频权限、网络连接及 VPN 集成等方面仍存在技术差距。本项目旨在通过为音频、网络、VPN、拼写检查和安全密码自动填充实现新的门户（portals）来弥补这些不足。此外，团队还将引入“意图”（intents）系统和增强权限管理等基础设施改进。
通过扩大项目能力并使其结构正规化，该计划旨在支持 Fedora Silverblue 和 SteamOS 等日益依赖 Flatpak 的基于镜像的 Linux 发行版。一支由经验丰富的开发人员和设计师组成的团队将主导此项工作至 2027 年，重点关注项目的长期可持续性并加强整个 Linux 桌面生态系统。社区成员可通过 #flatpak 和 #xdg-desktop-portals Matrix 频道关注进展并参与贡献。
主权技术局（STA）近期向 Flatpak 开发项目投入了 50 万欧元，这在 Hacker News 上引发了关于 Linux 桌面基础设施资金来源及未来发展的重要讨论。
**讨论要点：**
* **投资策略：** 支持者认为，STA 是基础开源软件（FOSS）必要的“加速器”，有助于项目达到适合政府采用的成熟度，并在此后向长期企业支持过渡。然而，批评者认为公共资金往往具有临时性、官僚主义严重，且可能与志愿者驱动项目的需求不符。
* **Flatpak 的技术障碍：** 尽管许多人欢迎更好的沙盒机制，但用户也强调了一些主要痛点，例如缺乏精细且向后兼容的权限控制。许多应用仍需“全盘”访问权限才能运行，这引发了安全顾虑及易用性问题（如手柄支持失效或文件访问冲突）。
* **与替代方案的比较：** 许多贡献者将 Linux 沙盒与 macOS 进行负面对比，认为苹果拥有更优越的长期架构设计和权限提示机制。另一些人则主张采用 Nix 或基于容器的方案（如 podman/bubblewrap）。
* **观点分歧：** 关于 Flatpak 究竟是通向安全、自主的 Linux 桌面的关键路径，还是一个增加不必要复杂性的、不可持续且碎片化的“发行版内的发行版”，各方仍存在激烈争论。