每日HackerNews RSS

“响度战争”——一种数字时代为了提高平均音量而牺牲动态范围的趋势——正对黑胶唱片产生负面影响。传统上,黑胶唱片需要针对模拟媒介的物理限制进行专门的母带处理。然而,现代制作往往绕过这一环节,直接使用经过压缩、“砖墙式”(brickwalled)的数字母带作为黑胶刻录的源文件。 以王子(Prince)的《Purple Rain》为例,原始数字母带(DR12)的动态范围明显高于2015年的重制版(DR6)。当这些经过压缩的数字母带被转录到黑胶唱片上时,由此产生的唱片便继承了这种缺乏深度的缺陷。尽管黑胶唱片的物理限制在一定程度上迫使动态范围有了细微的回升,但与原始版本相比,音质仍然明显趋于平淡。 这并非个别现象,而是一种普遍的行业做法,影响着各种流派的许多当代发行作品。虽然像 MoFi 这样追求高保真的厂牌仍在优先进行专门的高质量母带制作,但整个行业对超压缩数字源的依赖,正损害着模拟媒介固有的潜能。

2006年,计算机历史博物馆(CHM)的馆长达格·斯派瑟(Dag Spicer)和亚历克斯·博查内克(Alex Bochannek)根据线索,前往德国卡斯特罗普-劳克瑟尔,调查一处被遗弃的大型计算文物收藏地。在一间巨大的仓库里,他们发现了一个隐藏的宝库,藏品从20世纪30年代的穿孔卡片机到冷战时期的系统应有尽有,据信是由沃尔特·阿梅林(Walter Ameling)教授所收集的。 馆长们采用了基于网格的系统化编目流程,对这处11,800平方英尺的设施进行了梳理。在十天的时间里,他们仔细评估了数以千计的物品,包括罕见的大型主机、模拟计算机以及大量的技术文档。通过权衡历史意义与博物馆现有藏品,他们确定了需要保留的关键藏品。此次考察成功抢救了一段至关重要的现实计算历史,确保了这些珍贵的文物能够得到保护,并被纳入位于加州的计算机历史博物馆永久馆藏。

著名数学家陶哲轩(Terence Tao)长期以来一直倡导协作式发现,他通过整合形式化验证软件和人工智能,开创了向“实验”数学转变的先河。 在“博学项目”(Polymath Project,一种大规模、去中心化的数学问题求解模式)取得初步成功后,陶哲轩意识到人工审核的局限性以及人为错误的风险。这促使他采用了 Lean——一种允许将数学工作验证为计算机代码的交互式证明系统。通过领导诸如多项式弗赖曼-鲁扎(PFR)猜想等高调的形式化项目,陶哲轩证明了复杂的证明过程可以被拆解为模块化的子任务,从而使不同的团队能够高效地参与其中。 这一演变在“等式理论”(Equational Theories)项目中达到了顶峰,这是一项旨在梳理数千条代数定律的雄心勃勃的实验。该项目通过将人类智慧与自动定理证明器及计算机验证代码相结合,不仅成功绘制了一片广阔的数学图景,甚至还产生了新颖、出人意料的构造。 陶哲轩设想了一个数学能够像物理学等领域那样,采用实验性、大规模协作模式的未来。他相信,通过利用人工智能和形式化验证来处理可控的子问题,数学家们能够超越传统的孤立研究,开启一个数据驱动、机器辅助发现的新时代。

这次讨论围绕《广达杂志》(*Quanta Magazine*)的一篇文章展开,该文详细介绍了数学家陶哲轩(Terence Tao)日益倡导在数学研究中使用人工智能及 Lean 等形式化验证工具的观点。 讨论显示出数学界对此持有两极化的反应: * **AI 数学应用的支持者:** 许多用户认为 AI 是一种不可避免且强大的工具,能够降低研究中的“协调成本”。他们认为,Lean 和大语言模型(LLM)等工具将促成大规模的并行协作,有望将数学推向“证明丰富”的时代,并实现发现效率的指数级增长。 * **批评者与怀疑论者:** 一些评论者对“AI 炒作”以及 OpenAI 等商业实体对陶哲轩等领军人物的影响表示担忧。另一些人则认为,依赖机器验证的证明剥离了数学核心的“优雅”与人类直觉,可能导致产生虽然可验证却令人难以理解的结果。 * **细致的观点:** 几位参与者认为,有关“出卖”的论调被夸大了。他们认为陶哲轩的方法是务实的,即将 AI 视为又一种工具;并指出形式化是一个由来已久的追求,其历史早于当前的 AI 趋势。归根结底,这场辩论凸显了在拥抱自动化效率与保持数学发现中传统的审美及智力价值之间的紧张关系。

阿根廷开发者 Dante Leoncini 已成功将 1998 年的经典游戏《半衰期》(Half-Life)移植到 2007 年发布的诺基亚 N95(塞班系统滑盖手机)上。目前游戏运行帧率为 30 FPS,并已支持鼠标和键盘外设。 尽管 Leoncini 指出游戏运行中存在轻微的性能延迟,但他已找到原因并正在积极修复。由于 N95 搭载 ARM11 处理器并运行塞班系统,此次实现的是原生移植,而非 PC 模拟。该项目再次展现了 Leoncini 在挑战 N95 硬件极限方面的卓越能力——这款手机仅配备 332 MHz 处理器和 64MB-128MB 内存。他此前还曾成功移植过《雷神之锤 3》(Quake 3)和《古惑狼》(Crash Bandicoot),甚至为该平台开发了自己的游戏引擎及 Blender 克隆版。 Leoncini 的成果凸显了诺基亚 N95 所采用的 OMAP 2420 架构的持久潜力,证明了即使是老旧的移动硬件,通过专门的优化也能运行复杂的“重量级”软件。

一位开发者最近达成了一项技术里程碑:让《半衰期》(Half-Life)在 2007 年的经典智能手机诺基亚 N95 上以 30 帧的速度运行。这得益于 Xash3D 引擎,这是一个兼容 Valve GoldSrc 引擎的开源项目。 这一成就引发了 Hacker News 上关于怀旧的讨论,用户们回忆起 N95 作为一款超越时代的强大设备所拥有的地位。讨论涵盖了几个核心主题: * **“复古”市场:** 爱好者们指出,中国存在一个灰色市场,利用回收的主板和替换零件组装“全新”的 N95 和 N900,尽管质量参差不齐。 * **现代需求与现实:** 许多参与者表示,相较于当前 iOS/Android 生态系统的“激烈竞争”,他们更渴望拥有一款像诺基亚 N900、基于 Linux 的 Librem 5 或 PinePhone 那样,具备物理键盘且更易于维修的现代“工具型”智能手机。 * **Symbian 与 Maemo:** 用户们深情地回忆起 Symbian(以及更先进的、基于 Debian 的 Maemo)的功能,包括在当时看来非常前沿的 Wi-Fi SIP 通话和 Python 脚本编写等高级特性。 * **游戏历史:** 这篇帖子还引发了关于早期 PC 游戏硬件要求,以及原版《半衰期》源代码持续且复杂的法律地位的辩论。

Waymo 推出了 **Waymo Premier**,这是一项专为高频用户设计的受邀制会员计划。会员每月支付 29.99 美元,即可享受旨在提升打车体验的一系列专属礼遇: * **优先接载:** 更快匹配车辆,缩短等待时间。 * **乘车优惠:** 所有行程均可获得 10% 的 Waymo Cash 返现,高峰时段奖励更高。 * **优先体验:** 在 Waymo 开拓新城市时,拥有优先使用服务的权限。 * **灵活取消:** 每月享有五次免手续费的行程取消机会。 该计划目前正在旧金山、洛杉矶和凤凰城的特定用户中逐步推出,并计划在未来扩展至更多市场。会员权益适用于 Waymo 运营的所有城市。 Waymo 开发此等级旨在响应那些将自动驾驶服务作为主要通勤方式的日常乘客的反馈。符合条件的用户请留意 Waymo 应用程序中的专属邀请。

这篇 Hacker News 讨论帖探讨了 Waymo 推出的“Waymo Premier”会员服务,定价为每月 29.99 美元,权益包括优先叫车、10% 返现以及新服务区域的抢先体验权。 社区反应两极分化。许多用户表示怀疑,将其称为“平台腐化”策略——即对本不应设限的服务收费;而另一部分用户则认为,这对经常出差的商务人士来说很有价值。讨论的重点很大程度上集中在无人驾驶出租车与公共交通的权衡上,许多用户因安全担忧、卫生状况及“最后一公里”问题而更倾向于选择网约车。 此次对话也凸显了更广泛的社会矛盾,包括那些将私家车视为基本自由的人,与那些主张改善公共交通基础设施的人之间的分歧。批评者还指出了可靠性问题,例如 Waymo 在施工或紧急情况期间容易阻塞道路,并讽刺了在布满传感器监控的车辆中谈论“隐私”的荒谬性。归根结底,该讨论反映了一个更广泛的议题:无人驾驶交通最终会取代城市居民的私家车拥有权,还是只会成为少数人的昂贵奢侈品。

Asahi Linux 团队呼吁用户避免安装 macOS 15 "Golden Gate" 测试版。苹果在该版本中对启动引导程序和启动磁盘的处理机制进行了重大更改,导致现有的 Asahi Linux 分区无法被识别且无法启动。 所幸此问题不会造成数据丢失,Linux 分区仍然完好,但在找到解决方案前无法访问。Asahi Linux 已就此更改向苹果提交了错误报告,目前正在等待回复。建议已更新的用户尽可能从备用的旧版 macOS 系统启动。 另外,即将推出的 Linux 7.2 内核将引入对 Apple M3 设备的支持。但该功能仍处于实验阶段,尚未达到常规使用标准,特别是对于那些已经升级到存在问题的 macOS 15 测试版的用户来说。

最近的 macOS 27 测试版无意中导致 Asahi Linux 无法启动,这在 Hacker News 上引发了关于苹果开放性以及消费级硬件现状的讨论。 问题根源在于苹果开始强制执行一个名为“VolBootable”的未公开 APFS 标志。Asahi 开发者已经找到了解决方案并正在更新其安装程序,同时澄清称此次变动是无意的漏洞,而非阻止第三方操作系统的恶意行为。 此次事件重新引发了关于“维修权”和用户自由的广泛讨论。批评者认为,苹果缺乏硬件文档迫使开发者进行不必要的逆向工程;而支持者则认为,苹果已经提供了能够运行未签名操作系统的引导加载程序,这是许多其他消费设备所不具备的功能。一些用户希望通过类似欧盟的法规强制要求所有通用硬件公开文档,另一些人则对计算领域的“劣质化”表示担忧,即用户在名义上拥有硬件,但制造商却完全控制着软件栈。总体而言,社区对于如何看待这一事件仍存在分歧:一方赞赏 Asahi 的技术成就,另一方则批评现代 ARM 架构硬件封闭且不透明的本质。

对于 Emacs 爱好者来说,在流行文化中发现这款小众文本编辑器是一种难得的乐趣。从《社交网络》和《创:战纪》等电影,到《硅谷》和《黑客军团》等剧集,Emacs 偶尔会作为“硬核”编程或黑客文化的标志出现。无论是杰西·艾森伯格用 Perl 编写脚本,角色们争论 Vim 与 Emacs 的优劣,还是在《ALDNOAH.ZERO》等动画中惊鸿一瞥的 Emacs Lisp 代码,这些客串都突显了该编辑器在软件文化中的传奇地位。 这些引用涵盖了随意的提及、机智的“编辑器之战”笑话,以及受 xkcd 漫画启发而产生的著名的 `M-x butterfly` 命令等技术彩蛋。除了在荧幕上亮相,该编辑器还得到了高德纳 (Donald Knuth) 和吉多·范罗苏姆 (Guido van Rossum) 等业界泰斗的推崇,巩固了其作为“热核文字处理器”的地位。随着这份名单不断增长,它成为了用户们的怀旧地图,让那些以使用计算机历史上最强大、最具传奇色彩的工具之一为傲的人们感到自豪。无论是刻意的致敬还是转瞬即逝的背景画面,Emacs 始终以一种低调而标志性的姿态存在于我们的数字景观中。

这篇 Hacker News 讨论探讨了 Emacs 文本编辑器在电影、电视和文学作品中的频繁亮相及其文化影响。 参与者分享了各种发现——从电影《创:战纪》(Tron: Legacy)中逼真的 Unix 命令,到小说《白痴》(The Idiot)和美剧《硅谷》(Silicon Valley)中的相关情节。这个讨论串就像是一个“极客的暗号”,用户们在此交流媒体作品中技术准确性的轶事,例如波兰电影《黑客》(Haker)中那句臭名昭著且毫无意义的“通过 Sendmail 使用 Emacs”台词。 对话还延伸到了经典的开发者争论,包括: * **编辑器之战:** 传说中的 Emacs 与 Vim 之争,一些用户推崇“Evil-mode”来连接这两个世界。 * **缩进:** 关于制表符(tabs)与空格(spaces)之间充满激情且由来已久的争论。 * **媒体的不准确性:** 对“好莱坞式黑客”的评论,即屏幕上的代码往往是乱码、标准的 BASIC REM 语句(如《超人 III》中所示),或是来自无关软件的复用代码。 总的来说,社区将 Emacs 视为科技文化中根深蒂固的支柱。用户们提供了媒体中代码表现的整理列表,并反思了为什么这款编辑器在几十年后依然是开发者的主流工具。

Homebrew 6.0.0 已发布,带来了重大的安全性、性能和功能升级。 **主要亮点:** * **Tap 信任机制:** 一项新的安全机制要求用户明确信任第三方 Tap。这可以防止未经授权的 Ruby 代码执行,显著增强了 Homebrew 防御供应链攻击的能力。 * **内部 JSON API:** 更快、更高效的 JSON API 现已成为默认设置,减少了网络流量并加快了 `brew update` 的速度。 * **Linux 沙盒:** Linux 上的构建和安装阶段现已通过 Bubblewrap 进行沙盒化,安全性与 macOS 看齐。 * **`brew bundle` 改进:** 现在默认支持并行安装 Formula,扩展了清理支持,并初步集成了 Windows `winget`。 * **安装步骤框架:** 一种新的 DSL 允许在不执行 Ruby 代码的情况下处理常见的安装后任务(如文件准备),从而提高了性能和可审计性。 * **整体性能:** 启动时间和 `brew leaves` 等常用命令的速度更快,整体优化减少了 Ruby 库的开销。 * **兼容性:** 增加了对 macOS 27 (Golden Gate) 的初步支持。 此次发布是在 “brew-rs” Rust 实验结束后推出的,项目重心重新回到基于 Ruby 的性能优化上。作为由志愿者运营的项目,Homebrew 继续寻求社区捐款以支持其基础设施。

Homebrew 6.0.0 已正式发布,此次更新为这款流行的软件包管理器带来了几项关键改进: * **安全与性能:** 引入了全新的仓库(tap)信任安全机制,并采用了更快、更精简的内部 JSON API。 * **Linux 支持:** 该版本包含适用于 Linux 的沙盒功能,并持续受到不可变 Linux 发行版用户的青睐,成为其首选的软件包管理器。 * **用户体验优化:** 项目组根据用户反馈优化了默认设置,并对 `brew bundle` 进行了多项功能增强。 * **兼容性:** 新增了对 macOS 27 (Golden Gate) 的初步支持。 此次发布在 Hacker News 上引发了开发者社区的热烈讨论。许多用户称赞 Homebrew 使用便捷、在 macOS 和 Linux 上体验一致,并将其视为新系统必备的“首装”工具;与此同时,也有人对其滚动更新模式带来的利弊展开了辩论。 批评意见主要集中在固定特定软件包版本较为困难,以及对“过度激进”的更新策略表示担忧。对于追求更精细开发环境控制的用户,**mise**、**Nix** 和 **MacPorts** 等替代工具被频繁提及。总体而言,该项目依然是 macOS 开发体验中的基石。

请启用 JavaScript 和 Cookie 以继续。

Omniglot 是一个致力于研究语言和书写系统的综合性在线资源平台。该网站由西蒙·艾格(Simon Ager)创办,提供了有关各种文字(包括字母表、辅音音素文字、音节文字和人造语言)的详细信息,以及详尽的语言学习指南。 该平台是一个庞大的语言数据存储库,其多语言内容涵盖了基本短语、数字、习语,乃至歌曲、故事以及绕口令、动物叫声等文化趣闻。除了参考资料外,Omniglot 还提供实用的语言学习技巧、学习资料推荐,以及各类教育服务和应用程序的链接。 该网站定期更新条目和博客内容,为语言学家、学生及语言爱好者提供服务。通过益智游戏、图库和社区驱动的内容等附加功能,Omniglot 成为了一个探索全球人类交流多样性的多功能门户。

最近的一则 Hacker News 帖子重点介绍了 **Omniglot.com**,这是一个致力于全球书写系统的老牌在线百科全书。自 1998 年上线以来,该网站一直是一个综合性资源库,记录了各种自然语言和人造语言,并提供了说明性例句。 讨论触及了语言表现力与系统复杂性之间的关系。参与者探讨了不同的书写系统如何带来独特的交流细微差别——例如,日语有助于产生视觉双关语,而拉丁字母则更多地依赖斜体或粗体等排版变化来传达含义。发帖者分享该链接的初衷,正是为了反驳关于世界各地书写系统运作方式的常见误解。

更多

联系我们 contact @ memedata.com