[提交于 2004 年 11 月 18 日 (v1)，最后修订于 2004 年 11 月 29 日 (当前版本 v3)] 查看 G. J. Chaitin (IBM 研究院) 所著题为《实数有多“实”？》的论文 PDF。查看 PDF 摘要：我们讨论了反对连续性并支持离散性的数学与物理论据，重点介绍了埃米尔·博雷尔 (1871-1956) 的思想。来源：Gregory J. Chaitin [查看电子邮件] [v1] 2004 年 11 月 18 日星期四 22:35:07 UTC (11 KB) [v2] 2004 年 11 月 24 日星期三 03:15:31 UTC (11 KB) [v3] 2004 年 11 月 29 日星期一 16:41:15 UTC (11 KB)
每日HackerNews RSS
关于格雷戈里·蔡廷（Gregory Chaitin）2004年论文《实数有多真实？》（"How real are real numbers?"）的黑客新闻（Hacker News）讨论，聚焦于柏拉图主义、构造主义以及实数系统在物理学中的相关性之间的哲学争论。
蔡廷质疑了实数的有效性，并指出许多实数（例如他的停机概率 $\Omega$）是“极其不可知”且不可计算的。一些评论者认为，由于不可计算的数无法在物理上实现或被命名，它们的存在更像是一种形式主义的抽象，而非物理现实。他们建议将数学限制在“可计算”数的范围内会更具实质意义，即使这会使标准分析和物理学变得复杂化。
相反，另一些人则捍卫实数系统，认为它是不可或缺的工具。他们主张完备性和连续性对于微积分和量子力学的严谨性至关重要。这一观点的怀疑论者，如诺曼·威尔德伯格（Norman Wildberger），常因拒绝标准集合论基础、转而支持纯粹的有限主义或构造主义方法而被引用。
归根结底，该讨论反映了数学中长期存在的张力：即数学到底是人们发现的柏拉图式真理，还是人类发明的、在本体论存在之上优先考虑实用性和形式一致性的工具。
使用四面体笼对海量动画几何体进行光线追踪 Ray tracing massive amounts of animated geometry using tetrahedral cages
17 小时前
Gruen 等人荣获大奖的论文《Ray Tracing Massive Amounts of Animated Geometry》提出了一种新颖的解决方案，旨在解决复杂动画场景中实时光线追踪的性能瓶颈。
在传统的渲染流程中，对密集网格进行动画处理需要频繁且昂贵地更新加速结构（BVH），这往往会超出 GPU 的帧时间预算。作者提出通过使用低分辨率四面体笼（tetrahedral cages）将动画与三角形数量解耦。这些笼子充当代理：在运行时，仅对笼子进行动画处理，而复杂的几何体则保持在静态的、预计算的“静止姿态”。进入四面体的射线会被变换到该静止姿态空间，从而无需更新底层 BVH 即可高效进行求交计算。
这种方法显著降低了内存占用和计算开销，使得以 60 FPS 渲染拥有数亿个动画三角形的场景成为可能。虽然该技术最适用于植被摇曳或人群等保持连接性的动画，但它为传统的顶点动画提供了一种可扩展的替代方案。目前的研究正致力于提升笼子的质量，并提供 C++ 库以便将此方法集成到现代光线追踪流程中，帮助开发者克服当前动画几何体在扩展性上的限制。
光线追踪海量动画几何体计算成本高昂，因为每当顶点移动时，空间索引（包围盒层次结构，即 BVH）都必须更新。虽然对 BVH 进行简单的“重拟合”（refitting）适用于轻微形变，但往往会导致树结构效率低下，从而降低光线追踪性能。而从头开始重建树又非常缓慢。
GPUOpen 的一篇新论文提出了一种处理复杂场景（例如包含 5.8 亿个三角形的场景）的解决方案，即使用粗略的四面体网格。系统不再更新海量的三角形，而是对数量少得多的四面体单元（例如 200 万个）进行动画处理，并更新其对应的 BVH。
当光线与动画四面体相交时，它会被“扭曲”回静止姿态，从而允许系统为其中包含的三角形使用静态的高性能微型 BVH。该技术将 BVH 更新成本与三角形总数解耦，为在光线追踪环境中管理高保真动画几何体提供了一种更有效的方法。这种方法借鉴了软体模拟中使用的技术，即通过底层的简单变形格点来驱动复杂几何体。
请启用 JavaScript 和 Cookie 以继续。
本次讨论探讨了构建诸如 Tokio 之类稳健、通用调度程序的内在困难，这类调度程序通常优先考虑任务进度而非任务顺序。
用户 *jandrewrogers* 认为，最优调度本质上是“人工智能完备（AI-complete）”问题——即在计算上极其棘手，以至于在通用意义上无法解决。由于现实世界的系统要求延迟有界并在严格的资源限制下运行，开发人员只能依赖狭隘且不完美的近似方案。因此，通用调度程序往往要么脆弱，要么效率低下；然而，设计定制化的专用调度程序仍是一项极具挑战性的工程难题。
该讨论帖的共识是，开发人员应接受这些权衡，而非与调度程序对抗。由于严格的顺序往往是高性能的敌人，社区建议，若有特定的顺序或并发管理需求，开发人员应自行实现定制解决方案，或利用专门的 crate（如 `futures_orchestra`）来明确处理这些需求。
本期《Animation Obsessive》通讯标志着其 2026 季度的开始，深度解析了吉卜力工作室标志性美学背后的传奇色彩设计师——保田道世的作品。 尽管宫崎骏和高畑勋获得了大部分赞誉，但保田道世作为吉卜力工作室的“左膀右臂”，负责营造了该工作室独特、细腻且充满氛围感的色彩调性。保田于 1958 年在东映动画开启职业生涯，与宫崎骏和高畑勋合作长达数十年，从一名赛璐珞画师成长为富有远见的设计师。她摒弃了动画中常见的艳丽平涂色彩，转而为《龙猫》、《萤火虫之墓》和《幽灵公主》等影片开发出微妙、自然且具情感共鸣的色调，以此闻名。 保田的工作流程从非刻板，她通过细致研究光影、质感和角色心理，创造出“可信”的奇幻世界。她在保持艺术完整性的同时适应新技术的能力，使她成为吉卜力不可替代的中坚力量。本期通讯还提供了行业快讯，包括皮克斯裁员的消息、俄罗斯电影中生成式人工智能的兴起，以及东映即将推出的蓝光修复计划。
这篇 Hacker News 讨论聚焦于《Animation Obsessive》的一篇文章，旨在赞颂吉卜力工作室标志性美学背后那些默默无闻的调色师。读者称赞该文揭示了吉卜力电影独特魔力背后那种细致入微、常被忽视的匠心工艺。
评论者们特别惊叹于其细腻的配色选择——相比于高饱和度的“标准”调色，他们往往倾向于微妙、低饱和度的色调——这提升了《魔女宅急便》和《侧耳倾听》等影片中场景的情感深度。除了对技术层面的赏析，该讨论还引发了对人类艺术价值的思考。许多用户表示担心，这种充满灵魂、耗时耗力的创作正面临着自动化的生存威胁。归根结底，这场讨论强调了人们共同渴望保护和珍视手绘动画，并指出，尽管技术效率带来了便利，但它往往缺乏定义真正艺术成就的“人性”与生命力。
请启用 JavaScript 和 Cookie 以继续。
一位联邦法官近日驳回了谷歌试图利用《数字千年版权法》（DMCA）阻止第三方抓取其搜索结果的请求。这一裁决在 Hacker News 上引发了激烈讨论。
许多用户认为谷歌的法律行动极其虚伪，并指出该公司正是通过未经许可索引整个互联网才建立了帝国。批评者指出，谷歌决定停用其公共 API 并限制数据访问，导致第三方别无选择，只能通过抓取结果来填补功能空白。
讨论还涉及了更广泛的影响，包括：
* **反垄断与监管：** 鉴于欧盟和美国当局都在向谷歌施压，要求其与竞争对手共享搜索数据，一些人认为这一裁决符合数据访问日益开放的趋势。
* **人工智能与爬虫：** 参与者指出，该裁决可能会影响未来的诉讼，即探讨人工智能模型权重（正如搜索索引一样，都是建立在公共数据之上）是否受版权保护。
* **平台责任：** 讨论中还强调了对搜索结果中诈骗和恶意软件的担忧，一些人建议平台应对其促进并从中获利的内容承担责任。
网关超时 网页服务器报告了网关超时错误。 Ray ID: a21e12c51cdafd38 您的 IP 地址: 47.245.80.60 错误参考编号: 504 Cloudflare 节点: 新加坡
抱歉。
在《Crafting Interpreters》一书中，Robert Nystrom 探讨了在运行时错误中将字节码偏移量映射到源代码行号的高效方法。虽然使用平行的行号数组可以实现 $O(1)$ 的查找效率，但它需要 $O(n)$ 的内存空间。
为了将内存优化至 $O(r)$（其中 $r$ 为行跳转的次数），Nystrom 比较了两种主要策略：
1. **游程编码（Run-length encoding）：** 存储属于同一行的连续字节长度。虽然这种方法对于顺序遍历非常高效（配合游标为 $O(n)$），但随机查找需要 $O(r)$ 的线性搜索。
2. **起始偏移量（Starting offsets）：** 存储 `(offset, line_number)` 对。这种格式支持**二分查找**，使随机查找效率达到 $O(\log r)$。结合游标使用时，它仍能保持 $O(n)$ 的顺序处理性能。
这种兼顾两种用途的结构对虚拟机设计非常有效。现实世界的实现反映了这些权衡：JVM 使用类似的“起始偏移量”表（通常进行线性搜索），而 Lua 使用带有周期性绝对检查点的增量编码方案，以平衡内存效率和查找速度。最终，结合二分查找的起始偏移量方法，为通用虚拟机行号追踪提供了最稳健的平衡方案。
抱歉。
该项目旨在创建高度可移植、自包含的 Python 发行版，通过限制 CPU 指令集和对共享库的需求，最大限度地减少运行时依赖。通过静态链接依赖项，这些发行版确保了在目标架构上的跨系统兼容性。 该项目还提供丰富的构建元数据和制品，允许下游用户重新打包或定制 Python 环境（例如移除 SQLite 等特定功能），这对于将 Python 嵌入到大型二进制文件中尤为有用。 对于寻求“开箱即用”解决方案的用户，姊妹项目 **PyOxy** 提供了捆绑了额外 Rust 功能的发行版。PyOxy 提供单文件、功能齐全的 Python 可执行程序，是那些寻找无缝且即用型解释器的理想选择。
Hacker News 的讨论强调了 **python-build-standalone** 的实用性。该项目由 Astral（`uv` 的开发团队）维护，旨在提供自包含、可移植的 Python 二进制文件。
与标准的安装程序不同，这些构建版本将 Python 解释器与宿主环境解耦，使其成为一种可靠且可复现的运行时依赖。`uv`、`mise` 和 `pipx` 等工具都依赖这些分发版本来确保跨系统的环境一致性。用户称赞该项目显著改善了部署体验，并简化了将 Python 打包到桌面应用或容器化环境中的过程。
讨论还探讨了其他分发方式：
* **Cosmopolitan/APE**：提供“一次构建，到处运行”的方案，生成的单个二进制文件可在 Linux、macOS、Windows 和 BSD 上运行。
* **部署挑战**：参与者指出，虽然“自包含”分发解决了许多依赖问题，但在面对宿主环境特定的需求（如 `glibc` 版本和原生扩展）时，仍存在挑战。
* **遗留项目**：讨论中提到了 `PyOxidizer`，这是一个旨在将 Python 应用打包成单个可执行文件的项目，但目前基本已被废弃。
总的来说，尽管关于可移植性与原生平台性能的争论仍在持续，但社区普遍认为，可移植的 Python 二进制文件是实现可靠运行时分发的黄金标准。
请启用 JavaScript 和 Cookie 以继续。
这篇 Hacker News 帖子讨论了 Go 语言的内存管理，起因是一篇关于该语言垃圾回收器（GC）的文章。
核心议题是 Go 如何避免堆内存碎片化。与其他环境不同，Go 使用“按大小隔离分配”的机制，将对象按尺寸分组到连续的内存区域（spans）中。这防止了小对象阻碍大对象的分配。参与者指出，在 64 位系统上，巨大的虚拟地址空间极大地降低了碎片化风险。
讨论还探讨了内存管理对系统性能的影响。参与者辩论了 Linux 上透明大页（THP）的作用，指出尽管该功能很强大，但由于某些程序（如 Redis）与其写时复制（copy-on-write）机制不兼容，其名声在历史上曾受损。讨论进一步涉及了“缓存效率”，评论者认为现代垃圾回收器应将标记位（mark bits）存储在独立的位图页中，而不是直接嵌入到对象中，以避免不必要的内存页污染。最后，讨论延伸到关于带垃圾回收机制的语言是否适合游戏开发等高性能应用的更广泛辩论，对比了 Go 与 C# 和 Swift 的做法。
英伟达首席执行官黄仁勋近日加入 X（原推特），倡导继续发展开源人工智能模型。黄仁勋与谷歌、Meta 和 OpenAI 等科技巨头共同签署了一封公开信，敦促美国政府避免对开源模型实施“过早的限制”，并指出这些模型对于全球创新、竞争和网络安全至关重要。 这场辩论的核心在于“闭源”模型（由公司通过云端控制）与“开源”模型（向用户提供权重和代码以进行本地化定制使用）之间的矛盾。尽管美国政府对外国开源模型（特别是来自中国）表示了安全担忧，但支持者认为，开源模型能够促进主权独立并推动广泛的经济参与。 公开信承认，开源权重确实存在独特的风险，因为一旦发布就无法完全控制。然而，支持者坚持认为，这些风险应通过其他方式加以管理，而非采取彻底的禁令。归根结底，行业领袖认为，一个开放的生态系统对于“人工智能经济”的持续增长至关重要，这有助于证明现代人工智能所带来的巨大资源消耗和基础设施成本的合理性。
黄仁勋在 X（原 Twitter）上的首次亮相引发了 Hacker News 上的两极化讨论，他在文中主张开放人工智能模型的获取权限。
批评者认为此举是一场精心策划的公关噱头，指出作为主要的硬件供应商，英伟达通过开源权重模型的普及获益，因为这会推动对 GPU 集群和云算力的巨大需求。然而支持者则认为，无论黄仁勋的商业利益如何，他的主张符合大众利益，即通过人工智能民主化来对抗企业对技术的“封闭式花园”管控。
该讨论帖最终演变为关于 Hacker News 审核标准的元讨论。一些用户认为该话题重复且缺乏实质价值，而管理员则介入干预，劝阻讽刺、愤世嫉俗或低质量的否定言论，呼吁用户遵守网站指南，进行更具思考性和建设性的辩论。由于讨论内容极具争议，该帖最终被标记并从首页移除。