Mojang 正在将《我的世界：Java 版》的渲染从 OpenGL 过渡到 Vulkan，作为“鲜活视觉效果”更新的一部分，承诺带来视觉增强和性能提升。这一重大改变旨在利用现代特性，并保持与包括 macOS（通过翻译层）和 Linux 在内的 PC 操作系统兼容。
此次切换将要求模组制作者更新他们的作品，放弃 OpenGL，Mojang 鼓励提前准备并利用现有的渲染 API 以简化过渡。虽然缺乏 Vulkan 支持的旧硬件可能会变得不兼容，但 Vulkan 具有广泛的 GPU 支持。
玩家不会立即被强制切换；Mojang 计划今夏在开发快照中发布 Vulkan 和 OpenGL 并存的版本，允许在两者之间切换。最终，一旦 Vulkan 稳定且性能良好，OpenGL 将被移除。此次更新代表了《我的世界：Java 版》未来发展的重要一步。
每日HackerNews RSS
## Minecraft Java 版将切换至 Vulkan
据 gamingonlinux.com 报道，Minecraft Java 版正在从 OpenGL 过渡到 Vulkan。考虑到该游戏仅专注于桌面平台，此举被认为是明智的，可以避免在移动平台上使用不稳定 Vulkan 驱动程序可能出现的问题。
Hacker News 上的讨论指出，微软的这一转变令人惊讶，微软最近开始采用 Khronos 标准，例如 SPIR-V 用于着色器编译，从而改善了与 Vulkan 和 DirectX 的互操作性。
一个主要担忧是潜在的着色器编译延迟，这是 Vulkan 的常见问题。然而，评论员认为 Minecraft 相对简单的体素渲染风格可能会减轻这些问题。有人开玩笑说，未来有可能使用 Nanite 和 Lumen 在 Unreal Engine 5 中重建游戏。
## HM 与双向类型系统：为你的语言提出的错误问题 关于 Hindley-Milner (HM) 和双向 (Bidir) 类型系统的争论，常常被框定为二选一的选择，但这是一种错误的二分法。核心问题不是 *选择哪个* 系统，而是 *你的语言是否需要泛型*。 泛型需要合一——推断和求解类型变量的过程（例如 Rust 中的 `Vec<T>`）。HM 本质上包含合一。然而，双向类型系统并不局限于缺乏合一；它 *支持* 合一，使其成为 HM 的超集。你可以实现一个带有或不带有合一的双向系统，提供灵活性。 如果没有泛型，一个更简单的依赖于类型注解的双向系统就足够了，尤其是在学习练习或领域特定语言 (DSL) 中，在这些情况下，最小化复杂性是关键。然而，对于通用语言，泛型越来越被认为是必不可少的，从而推动了对合一的需求。 最终，双向类型系统提供了一种更具适应性的方法。选择它并不会排除合一，并且允许你根据语言的特定需求定制系统——无论是一个功能齐全的泛型语言，还是一个精简的、注重注解的 DSL。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
如何选择 Hindley-Milner 和双向类型 (thunderseethe.dev)
9 分，thunderseethe 发表于 1 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 486.713通往罗马的路线：摘要
“486.713通往罗马的路线”是一个数据可视化项目，通过大规模的移动模式来研究“殊途同归”的说法。该项目利用路由算法和OpenStreetMap数据与GraphHopper，绘制了从各个地点到罗马的大量可能路线。
结果以大尺寸lambda打印（120厘米 x 80厘米）和交互式网络地图的形式呈现，提供详细信息和“探索”应用程序。这些可视化展示了道路基础设施如何反映地理、政治和区域背景。 除了罗马，该项目还扩展到分析东京、柏林和旧金山等城市的城市流动“指纹”和“街道DNA”，从而深入了解独特的城市结构。 最终，它将数据艺术和信息可视化巧妙地结合在一起。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
通往罗马的道路 (2015) (benedikt-gross.de)
5 分，由 robin_reala 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
微软提供指南，用于为LLM训练盗版《哈利·波特》系列。
Microsoft offers guide to pirating Harry Potter series for LLM training
3 小时前
微软博客一篇帖子简短地提供了一份指南，介绍如何访问完整的《哈利·波特》系列作品，用于训练大型语言模型（LLM），并链接到Kaggle上的一个数据集。 这篇帖子最初的主题是关于基于SQL的人工智能应用，引发了Hacker News上关于使用受版权保护的材料进行人工智能训练的合法性和伦理的讨论。
用户指出，LLM已经能够重现书籍的重要部分——一项研究表明，使用Sonnet 3.7模型，第一部《哈利·波特》小说达到了95.8%的逐字准确率。
该数据集的可用性引发了关于J.K.罗琳的团队为何没有采取行动的问题，猜测范围从相对较低的下载量（1万次）到《哈利·波特》系列作品的潜在盈利能力降低了追究轻微侵权的动机。 也有人对微软的内容审查流程表示担忧，因为最近发生了一起涉及据称抄袭的单独事件。 这篇帖子已被存档。
CMake 对 Swift 6.0 的完整支持目前受到 Swift 编译器 (swiftc) 和 Ninja 构建系统的一些兼容性问题阻碍。具体来说，Swift + Ninja 会忽略 `CMAKE_OSX_DEPLOYMENT_TARGET`，导致版本不匹配和警告。一个临时解决方法是手动设置 Swift 编译器的目标。 另一个问题与 CMake 策略 CMP0157 相关，swiftc 无法正确处理安装名称，需要一个构建后命令来调整库 ID。对此的修复已于 2024 年 8 月 2 日合并，并将回移植到 CMake 3.29 和 3.30 版本。 最后，swiftc 无法识别在导入目标依赖项中定义的某些编译和链接选项，因此需要一个解决方法来修改这些标志在导入之后。这些问题正在积极解决，以在 CMake 中实现稳定、非实验性的 Swift 6.0 体验。
Ladybird 浏览器项目已放弃采用 Swift 编程语言的计划。该决定在他们的 GitHub 页面上公布，但未公开详细解释。
Hacker News 上的评论员认为这并不令人意外，他们指出 Swift 与苹果公司的紧密联系，并质疑它相对于成熟且内存安全的 C++ 的优势，而 C++ 是大多数主流浏览器的基础。一位用户指出 C++ 经过“实战检验”，是一个务实的選擇。
虽然承认 Swift 具有潜在的长期稳定性，但另一位评论员同意这一决定，认为 Swift 的实现将带来显著的初始挑战。该项目仍然专注于 Linux 兼容性，并在准备就绪时欢迎测试。
都一样吗？
All Look Same?
3 小时前
请记住，食物文化不断地相互引进和输出。这不是测试食物的起源地。答案基于图片拍摄地点。例如，面条起源于中国，但韩国和日本都以不同的方式进行了改良。
Hacker News 的讨论围绕着网站“All Look Same”（alllooksame.com），这是一个挑战用户区分中国、日本和韩国人脸的测验。用户报告得分各异，许多人发现即使有在这些国家长期居住的经验，也很难区分。
一些评论员指出东亚人群体之间共享的基因，使得视觉区分具有挑战性，尤其是在考虑到当前的时尚趋势时。有些人为该测验辩护，认为承认相似之处并不一定具有种族歧视，而另一些人则指出，期望存在明显差异可能存在偏见。
该网站本身看起来很旧（域名创建于 2001 年），目前加载速度非常慢，但仍然可以访问。得分范围很广，从最低的 1/18 到一些人达到 9/18 左右，突出了这项任务的难度。Hacker News 上关于该网站的先前讨论可以追溯到 22 年前。
## 一次性软件的兴起与API的力量
成为新手父母激发了他对睡眠追踪的需求，现有的Fitbit无法满足。现有的用户体验并非为新生儿父母的零碎睡眠而设计，因此这位工程师利用AI编码工具快速构建了一个自定义界面，以可视化他的数据并解答关于他疲惫程度的关键问题。
虽然有用，但他意识到这并非一个可行的产品——它缺乏基本功能，并且完全依赖于Fitbit的核心功能。这突显了“一次性软件”的出现，这种软件可以利用AI轻松创建，以满足高度特定且临时的需求。
关键在于**API**的持久价值。Fitbit现有的API实现了这种个性化，展示了暴露核心产品能力如何培养客户忠诚度，*而无需*企业构建所有可能的功能。
展望未来，AI代理正在进一步扩展“界面表面”，可能会完全绕过应用程序。那些在*服务层面*（如订阅）进行盈利的企业将处于最佳的蓬勃发展地位，因为他们控制着潜在的价值。未来在于拥抱开放的API，认识到在界面廉价的世界里，持久的产品本身就是服务——核心能力，而不是它的呈现方式。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
当接口变得可抛弃 (chrisloy.dev)
5 分，由 chrisloy 1小时前发布 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助
gotwaz 52分钟前 [–]
接口剥夺了身份。很多产品都是围绕着身份变现而构建的。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
使用带有连字功能的字体来显示十三世纪僧侣数字。
Making a font with ligatures to display thirteenth-century monk numerals
3 小时前
冲洗并重复数千行。 “sub”序列贪婪地匹配字符，这就是为什么此列表从4位数字开始；如果从1到9开始，我们只会得到一堆个位数替换。 这也意味着对于5位或更多位数的数字，例如123456，字体将一次匹配4位数字并生成“1234”的字形，然后是“56”。 字形外观本身是使用Chris Heilmann的Cistercian数字生成器的SVG路径定义的。 感谢Chris！有关我用于生成Cistercian字体的完整代码，请参见GitHub仓库：bobbiec/cistercian-font。 请注意，代码大部分是由AI生成的——尽管我对其进行了审查，但我也没有专业知识来发现如果存在严重错误。 我在玩转演示时注意到，象限的顺序非常不寻常。 如果从最低有效数字（个位）到最高有效数字（千位）计数，你会得到这种反Z形：
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
制作带有连字的字体来显示十三世纪僧侣数字 (digitalseams.com)
14 分，由 a7b3fa 2 小时前发布 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助
rjh29 24 分钟前 | 下一个 [–]
令人惊讶的是，没有比定义 10000 条连字配置行和 10000 个字形更好的方法。 我猜动态子字形组合是 Unicode 级别的事情？回复
samtheDamned 24 分钟前 | 上一个 [–]
非常酷地使用了我甚至不知道存在的技术！回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文讨论了作者提供开放性问题作为额外学分的方式。一个关键的争论点在于透明度：学生应该知道这些问题是未解决的吗？作者认为应该，因为真正困难的问题不太可能由单个学生解决，但承认存在将难题误认为易题的情况（例如乔治·丹齐格）。 作者区分了真正意义上的“开放性问题!!!”和他们自己无法解决的问题，明确告诉学生后者可能在他们的能力范围内。一位朋友警告说，如果学生成功解决，这可能会损害作者的信誉，但作者认为热情地承认解决方案可以避免这种情况。 最后，作者坚信额外学分不应计入学生的成绩，而是提供推荐信作为奖励——保持这项工作的“额外”性质。
这个Hacker News讨论围绕教授向学生展示未解决的问题，这些问题可能源于他们自己的研究或最新发现。一位用户分享了一个关于算法教授的故事，这位教授沉迷于在会议上遇到的一个新公布的难题，急切地希望他的学生能找到解决方案。
另一位评论者回忆起一位离散数学教授随意地将著名的不可判定连续统假设作为“有趣的问题”布置出去，突显了前沿数学问题与本科课程之间的差距。总体情绪表明，教授有时会使用具有挑战性的开放性问题来吸引学生——或许，也是为了寻求他们对自己研究的帮助！该帖子戏谑地引用了《心灵捕手》作为对杰出、非传统思想家的类比。
您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想要讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：019c72e2-7558-7a2c-aabe-88e7867854cd。
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
27岁的Apple iBooks可以连接Wi-Fi并下载官方更新 (reddit.com)
18点 由 surprisetalk 1小时前 | 隐藏 | 过去 | 收藏 | 4评论 帮助
bsimpson 8分钟前 | 下一个 [–]
我忘了iMac的便携版本叫做iBook。我以为这是关于Apple App Store的书籍版本。回复
__natty__ 3分钟前 | 上一个 | 下一个 [–]
而且当时的UI比最近推出的液态玻璃好得多。回复
gok 17分钟前 | 上一个 | 下一个 [–]
最老的iBook G4是2003年10月发布的，甚至不到23年。回复
gattilorenz 7分钟前 | 上一个 [–]
但前提是运行Tiger或更新版本 :)回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：