Little Navmap 是一款强大的开源飞行计划工具，兼容 X-Plane 和微软模拟飞行等飞行模拟器。该应用由 Alexander Barthel 在过去十年中开发，基于 C++ 和 Qt 构建，并利用 SQLite3 数据库和 KDE 的 Marble 进行地图渲染。
该软件既是一款复杂的飞行计划器，也是一款实时电子飞行包（EFB），允许用户导入广泛的航空数据库，根据特定的飞机性能配置文件计算航线，并通过 XConnect 实时监控飞行。
作者通过两个实际案例展示了该工具的多功能性：使用西锐 SR-22T G6 进行从塔林到哥本哈根的短途飞行，以及使用空客 A350-900 进行从赫尔辛基到曼谷的长途飞行。虽然 Little Navmap 可以自动生成航线，但作者强调了它与 SimBrief 等外部服务集成的能力，以兼顾复杂的现实世界空域限制。总的来说，对于希望提升飞行模拟体验的航空爱好者而言，Little Navmap 是一款功能强大且轻量级的替代方案。
每日HackerNews RSS
抱歉。
出于对在虚拟现实中体验生存恐怖游戏《GTFO》的渴望，作者投入了超过 800 小时和 500 次代码提交，开发了一款全面的 VR 模组。 该项目最初是通过 DnSpy 进行简单的汇编修改，随后演变为使用 Harmony 和 BepInEx 进行运行时补丁的强大开源工具。这一转变带来了更好的可维护性和合规的分发方式。该模组引入了诸多沉浸式功能，如动作控制、拟真用户界面（diegetic UI）、触觉反馈支持以及终端交互，同时平衡了游戏难度，确保了与非 VR 玩家相比的公平体验。 该项目面临了重大障碍，最主要的是游戏转向 IL2CPP 脚本后端，这使得可读的 C# 代码被复杂的 C++ 反汇编所取代，开发过程变得更加艰苦。尽管面临重重挑战，且作者对该游戏的个人兴趣逐渐减退，但该模组仍取得了成功，获得了超过 6,000 次下载，并得到了专注社区的贡献。最终，该项目成为了作者职业生涯中关键的积累，证明了模组开发既是一项宝贵的技术挑战，也是为游戏社区做出贡献的有益方式。
抱歉。
正在加载地图...
抱歉。
请启用 JavaScript 并关闭广告拦截器
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
对足球的数学致敬 (nytimes.com)
7 点 由 igonvalue 1 小时前 | 隐藏 | 往日 | 收藏 | 2 条评论 | 帮助
pmdulaney 29 分钟前 [–]
如果每个黑色五边形都与 5 个六边形共用一条边，且每个白色六边形都与 3 个五边形共用一条边，你能算出六边形与五边形的比例吗？（我还没解出这道题，但我认为这是可行的。）
回复
gus_massa 30 分钟前 | 父评论 [–]
提示：数一下边。想象每条边都有两个面/条带。一面是白色的，另一面是黑色的。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
Incremental 是一个函数库，它提供了一种构建复杂计算的方法，能够根据输入的变化高效地进行更新。该库深受 Umut Acar 等人在自调整计算方面研究的启发。Incremental 可应用于多种场景，包括： * 构建大型计算（类似于在电子表格中构建的那种），使其能够对数据的变化做出高效响应。 * 在图形用户界面（GUI）应用程序中构建视图，以便高效地整合新数据。 * 在计算衍生数据时，确保衍生数据与源数据保持同步，例如进行过滤或映射反转。 你可以在 `incremental/src/incremental_intf.ml` 中找到该库的详细文档及使用说明。此外，你也可以通过这篇博客文章和这段视频来了解该库的非正式介绍。
该 Hacker News 讨论帖探讨了 Jane Street 推出的 OCaml 增量计算库 **Incremental**。该库能够仅在输入发生变化时高效地重算计算图中必要的部分，从而避免冗余工作。
讨论的主要观点包括：
* **广泛的相关性**：用户指出增量计算在多个领域都有应用，包括 UI 框架（如 SolidJS 或 React 库中的“信号”模式）、构建系统（如 *tup*）以及金融建模（如“银行 Python”系统）。
* **概念区分**：参与者讨论了函数式响应式编程（FRP）与增量计算的定义。尽管两者常被混淆，但增量计算通常被视为一种基于记忆化的图“损坏与修复”方法，而 FRP 则常与事件流或连续时间信号联系在一起。
* **实现挑战**：讨论涉及了“拉取（pull）”与“推送（push）”传播模型之间的权衡、处理动态图结构的难度，以及内存局部性对于高性能应用场景的重要性。
* **替代方案**：参与者分享了多种实现和学术参考资料，如 *Salsa*、*PSAC* 和 *DBSP*，强调尽管核心概念是通用的，但易用性与性能之间的权衡决定了特定领域所适用的最佳工具。
科技行业：日经研究显示，数据中心租赁与GPU供应合同加剧了Meta和甲骨文的负债。 Meta位于佐治亚州的一处数据中心。该公司的表外债务约为4200亿美元，几乎是其账面债务的三倍。加利福尼亚州帕洛阿尔托消息——日经的一项研究显示，随着人工智能投资的激增，美国科技巨头的隐性债务在四年左右的时间里膨胀了八倍，估计达到1.65万亿美元。这不仅超过了它们的实际债务，也使得投资者更难评估其风险。
近期 Hacker News 上的一场讨论引发了人们对美国五大科技巨头“隐性”债务的担忧，这些债务已高达 1.65 万亿美元。争论的核心在于人工智能基础设施融资的不透明性，特别是通过特殊目的实体（SPV）和租赁协议将巨额资本支出留在企业资产负债表之外的做法。
批评者认为，这反映了 2008 年金融危机中“大而不倒”的动态，并警告称，如果人工智能投资的回报无法实现，由此产生的债务可能会引发系统性不稳定。虽然一些评论者担心纳税人将再次被迫承担救助成本，但另一些人则坚持认为，这些科技巨头拥有足够的现金流和收入来吸收亏损，而不至于破产。
这场讨论还涉及了这场“债务驱动”型人工智能热潮的更广泛影响，包括依赖不受监管的私人信贷的伦理问题、市场最终调整的潜力，以及与中国的地缘政治竞争。尽管对于整个行业崩溃的可能性看法不一，但各方一致认为，当前人工智能基础设施的支出规模是史无前例的，这为科技行业和全球经济创造了一个高风险的环境。
在一项了不起的工程创举中，两名开发者成功将1993年的经典游戏《DOOM》移植到了在FPGA上从零构建的定制CPU中。
该项目需要克服重大的硬件障碍，特别是内存限制和性能瓶颈。由于标准的FPGA内存对于14MB的《DOOM》文件来说太小，团队集成了DDR3内存，这要求设计定制的指令和数据缓存、用于管理内存流量的仲裁器，以及处理时序问题的复杂时钟域跨越。
在实现了外设支持（包括VGA输出和键盘输入）后，团队面临了严峻的调试挑战，从未初始化的内存假设到编译器优化错误等。通过严格的迭代改进，如流水线缓存命中、增加乘法指令以及优化编译器标志，团队将性能从最初的0.7帧/秒提升至流畅的15–20帧/秒。
该项目在互联网上引起了广泛关注，是底层系统编程和硬件调试的典范。开发者们目前正致力于乱序处理，以将游戏帧率推向30帧/秒，并希望最终挑战《Quake 2》等要求更高的游戏。
抱歉。
Portraify 是一项基于人工智能的服务，可将普通的自拍照转换为适用于领英、简历和公司简介的高质量专业头像。流程非常简单：只需上传 1–3 张清晰的照片，人工智能便能在两分钟内生成带有专业灯光且去除了背景的精美棚拍级肖像照。
主要优势包括：
* **速度：** 即时生成，无需等待。
* **隐私：** 上传的照片不会被存储，并在处理后立即删除。
* **便捷：** 无需影棚设备，任何智能手机摄像头均可使用。
* **灵活性：** 透明且无需订阅的定价模式，积分永不过期。
新用户注册即可免费获得三张肖像照，另有 9 美元起的单次购买选项可供选择。Portraify 为希望提升个人品牌的每位用户提供了一种快速、安全且专业的解决方案。
开发者“camel2243”推出了 **Portraify**，这是一款由人工智能驱动的工具，旨在将普通照片转换为专业头像、美国护照照片及标准证件照尺寸。
开发者因不满传统照相馆的高昂费用和不便，开发了 Portraify，其核心在于保持真实肖像，而非进行 AI 过度“美颜”。该工具包含生成前检查功能，以确保输入的照片符合质量要求（光线、清晰度和可见度）。
针对隐私顾虑，开发者承诺上传的照片仅在内存中处理并会立即销毁，不会存储或用于模型训练。用户注册后可获得三次免费生成机会。
在讨论区中，有用户建议扩展工具用途，增加如度假或社交场景等风格化背景，以提升其吸引力。开发者目前正在征集关于实际使用效果及改进建议的反馈。
坡道路由器 Ramp Router
1 天前
Ramp Router 是一项大模型（LLM）路由服务，通过为多个模型（包括 OpenAI、Anthropic、Gemini 等）提供单一的、兼容 OpenAI 的 API 接口，简化了人工智能的集成过程。 与其将应用程序绑定在单一供应商上，Ramp Router 可以智能地将请求路由至符合您质量标准且最具成本效益的模型。这种设置在优化预算和性能的同时，还能在服务中断或遇到限流时提供故障转移支持。 核心优势包括： * **成本高效：** 通过自动选择更经济、高性能的模型来降低 AI 开支。 * **轻松集成：** 只需修改一行代码，即可将您现有的 SDK 指向 Ramp 接口。 * **灵活性：** 无需更新基础设施，即可适应新模型的发布和价格变动。 * **无需前置条件：** 您无需成为 Ramp 的现有客户即可使用该服务。 Ramp Router 目前免费使用（您仅需支付模型供应商的 token 费用），早期用户还可获得促销额度。感兴趣者可加入候补名单以申请提前访问权限。
抱歉。