[提交于 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），常因拒绝标准集合论基础、转而支持纯粹的有限主义或构造主义方法而被引用。
归根结底，该讨论反映了数学中长期存在的张力：即数学到底是人们发现的柏拉图式真理，还是人类发明的、在本体论存在之上优先考虑实用性和形式一致性的工具。
Gruen 等人荣获大奖的论文《Ray Tracing Massive Amounts of Animated Geometry》提出了一种新颖的解决方案，旨在解决复杂动画场景中实时光线追踪的性能瓶颈。
在传统的渲染流程中，对密集网格进行动画处理需要频繁且昂贵地更新加速结构（BVH），这往往会超出 GPU 的帧时间预算。作者提出通过使用低分辨率四面体笼（tetrahedral cages）将动画与三角形数量解耦。这些笼子充当代理：在运行时，仅对笼子进行动画处理，而复杂的几何体则保持在静态的、预计算的“静止姿态”。进入四面体的射线会被变换到该静止姿态空间，从而无需更新底层 BVH 即可高效进行求交计算。
这种方法显著降低了内存占用和计算开销，使得以 60 FPS 渲染拥有数亿个动画三角形的场景成为可能。虽然该技术最适用于植被摇曳或人群等保持连接性的动画，但它为传统的顶点动画提供了一种可扩展的替代方案。目前的研究正致力于提升笼子的质量，并提供 C++ 库以便将此方法集成到现代光线追踪流程中，帮助开发者克服当前动画几何体在扩展性上的限制。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
本期《Animation Obsessive》通讯标志着其 2026 季度的开始，深度解析了吉卜力工作室标志性美学背后的传奇色彩设计师——保田道世的作品。 尽管宫崎骏和高畑勋获得了大部分赞誉，但保田道世作为吉卜力工作室的“左膀右臂”，负责营造了该工作室独特、细腻且充满氛围感的色彩调性。保田于 1958 年在东映动画开启职业生涯，与宫崎骏和高畑勋合作长达数十年，从一名赛璐珞画师成长为富有远见的设计师。她摒弃了动画中常见的艳丽平涂色彩，转而为《龙猫》、《萤火虫之墓》和《幽灵公主》等影片开发出微妙、自然且具情感共鸣的色调，以此闻名。 保田的工作流程从非刻板，她通过细致研究光影、质感和角色心理，创造出“可信”的奇幻世界。她在保持艺术完整性的同时适应新技术的能力，使她成为吉卜力不可替代的中坚力量。本期通讯还提供了行业快讯，包括皮克斯裁员的消息、俄罗斯电影中生成式人工智能的兴起，以及东映即将推出的蓝光修复计划。
抱歉。
请启用 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 发行版**（特别是 `python-build-standalone`）日益增长的重要性，该项目目前由 `uv` 包管理器的团队维护。
与传统的在用户机器上从源码编译 Python 的安装程序不同，这些预编译的二进制文件为 Python 应用程序提供了一个可靠且可复现的基础。`uv` 和 `mise` 等工具已经采用了这些发行版，以显著改善开发体验和部署可靠性。
讨论的要点包括：
* **可靠性**：通过将解释器视为静态运行时依赖项，开发人员可以避免“依赖地狱”和特定环境带来的怪异问题。
* **应用**：包括 `uv` 和 `mise` 在内的主要项目使用这些构建版本，以确保在不同系统间拥有统一的 Python 环境。
* **部署**：用户指出，这些发行版非常适合将 Python 打包成独立应用程序（例如桌面应用或容器），而无需依赖宿主系统的配置。
* **替代方案**：一些参与者提到了 **Cosmopolitan/APE** 项目，它支持跨平台的单二进制文件执行，但在库兼容性（例如加载原生扩展）方面存在权衡。
总体而言，共识是可移植二进制文件对于现代、稳定的 Python 分发至关重要。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
英伟达首席执行官黄仁勋近日加入 X（原推特），倡导继续发展开源人工智能模型。黄仁勋与谷歌、Meta 和 OpenAI 等科技巨头共同签署了一封公开信，敦促美国政府避免对开源模型实施“过早的限制”，并指出这些模型对于全球创新、竞争和网络安全至关重要。 这场辩论的核心在于“闭源”模型（由公司通过云端控制）与“开源”模型（向用户提供权重和代码以进行本地化定制使用）之间的矛盾。尽管美国政府对外国开源模型（特别是来自中国）表示了安全担忧，但支持者认为，开源模型能够促进主权独立并推动广泛的经济参与。 公开信承认，开源权重确实存在独特的风险，因为一旦发布就无法完全控制。然而，支持者坚持认为，这些风险应通过其他方式加以管理，而非采取彻底的禁令。归根结底，行业领袖认为，一个开放的生态系统对于“人工智能经济”的持续增长至关重要，这有助于证明现代人工智能所带来的巨大资源消耗和基础设施成本的合理性。
Hacker News 上近期的一篇帖子讨论了英伟达首席执行官黄仁勋在 X（前身为 Twitter）上的首次发帖，他在文中主张开放对 AI 模型的访问权限。
该讨论很快出现了两极分化。一些用户推测，黄仁勋的立场是一种将 AI“商品化”的战略举措；通过鼓励开源开发，英伟达可以推动数据中心和云服务商对其 GPU 的巨大需求。另一些人则认为这不过是可预见的公关辞令，从而引发了关于该讨论是否有价值的激烈争论。
这篇帖子也成为了平台审核工作的焦点。社区管理员介入并劝阻“嘲讽式的否定”及低质量、愤世嫉俗的评论，并援引平台方针以促进深思熟虑且有实质内容的讨论。管理员为其维持社区质量的努力进行了辩护，而一些老用户则对目前的社区氛围表示不满。最终，该帖子被标记并从首页移除，这反映了该平台在平衡开放且主观的讨论与既定的文明、建设性辩论标准之间所面临的挑战。