每日HackerNews RSS

## 苹果网络服务器 ROM:2.0 更新 最近的发现延续了苹果网络服务器 (ANS) ROM 的故事,最初的设想并非仅用于 AIX。虽然早期的 ROM 允许启动 Mac OS,但后来的“2.0”ROM 承诺对 Mac OS 提供原生支持,包括利用 ANS 独特的硬件——板载图形和快速 SCSI——而无需变通方法。 测试结果好坏参半。2.0 ROM *确实* 可以直接从内部驱动器启动 Mac OS 9.1,这是早期版本无法实现的。然而,性能明显 *低于* 预生产 ROM,受到 L2 缓存检测问题以及潜在的 RAM 速度影响。尝试启动 Rhapsody(Mac OS X 的前身)也失败了,并出现内核崩溃。 有趣的是,2.0 ROM 表现出一些怪癖——前置 LCD 屏幕为空白,以及更快的启动过程——表明它是不完整的。虽然它在硬件支持方面提供了便利,但巨大的性能损失使得预生产 ROM 成为在 ANS 上运行 Mac OS 的首选。 人们仍在继续寻找可能改进的 2.0 ROM 版本,并且正在努力为旧 ROM 打补丁以提高稳定性。尽管遭遇挫折,但持续的探索为苹果雄心勃勃但寿命短暂的 Unix 服务器历史增添了新的篇章。

启用 JavaScript 和 Cookie 以继续。

``` [提交于2025年10月22日 (v1),最后修改于2025年10月23日 (此版本,v2)] 查看论文PDF:标题为“Transformers本质上是简洁的”,作者为Pascal Bergsträßer和其他2人。 查看PDF HTML (实验性) 摘要:我们提出简洁性作为衡量Transformer描述概念表达能力的标准。为此,我们证明了Transformer具有很强的表达能力,它们可以用比有限自动机和线性时间逻辑 (LTL) 公式等形式语言的标准表示方法更简洁的方式表示形式语言。 作为这种表达能力的副产品,我们表明验证Transformer的属性是可证明的不可计算的(即EXPSPACE-完全)。 来自:Pascal Bergsträßer [查看邮箱] [v1] 2025年10月22日 星期三 07:25:54 UTC (28 KB) [v2] 2025年10月23日 星期四 08:09:19 UTC (28 KB) ```

启用 JavaScript 和 Cookie 以继续。

谷歌将结束开发者对完整网络搜索索引的免费访问,这将影响依赖可编程搜索引擎的用户。新的引擎将仅限于搜索50个域名,现有用户超过此限制或使用“搜索整个网络”选项的,必须在2027年1月1日前迁移到付费方案。 谷歌推广Vertex AI Search,这是一种基于云的AI服务,提供对话搜索等功能。继续访问完整索引的定制定价可按需提供,预计费用约为先前每1000次请求5美元。Custom Search JSON API也将停止服务。 这一变化给依赖免费服务的独立开发者、教育机构和非营利组织带来压力,可能需要大量的代码更新或替代方案,如Meilisearch或Common Crawl。 欧盟也开始担忧这可能涉及反垄断问题,因为谷歌控制着对网络搜索的访问。谷歌辩称此举是为了简化产品,专注于提高产品质量。

## Frizbee:用于 GitHub Actions 和容器镜像的校验和工具 Frizbee 是一个命令行工具和 Go 库,旨在增强 CI/CD 管道的安全性和可靠性。它基于标签为 GitHub Actions 和容器镜像生成校验和(摘要),确保内容完整性。 **主要特性:** * **校验和生成:** 为 Actions 和镜像中使用的标签提供摘要。 * **自动替换:** 自动更新工作流文件 (`.github/workflows/`) 和 YAML 文件中的引用,以使用这些摘要,防止意外更改。支持模拟运行模式和 CI/CD 集成。 * **镜像支持:** 适用于来自 ghcr.io 等注册表的容器镜像。 * **库功能:** 提供强大的 Go 库,用于以编程方式访问标签和校验和处理。 * **配置:** 可通过 `.frizbee.yml` 文件自定义,以排除特定的 Actions、分支、镜像或标签。 **安装:** 可通过 Go、Homebrew 和 Winget 安装。 Frizbee 是一个开源项目,由社区积极维护,并采用 Apache 2.0 许可。他们的 Discord 服务器提供支持和讨论。

## rubyfmt:格式化Stripe庞大的Ruby代码库 这篇Stripe工程博客文章详细介绍了“rubyfmt”的故事,这是一个工具,旨在自动格式化他们2500万行的Ruby代码库,并在一夜之间完成。面对阻碍开发者效率的不一致格式,Stripe选择了一次性、自动化的重新格式化,而不是逐步的更改。 文章强调了格式化如此大型代码库的挑战以及所取得的收益——提高了可读性、简化了代码审查以及提供了一致的开发者体验。 除了博客之外,Stripe还为开发者提供了资源,包括文档、YouTube教程、Github仓库(可能包含rubyfmt)以及通过Discord和本地聚会进行交流的机会。这是Stripe更广泛关注开发者生产力以及扩展其工程努力的一部分。相关文章涵盖了选择性测试执行和配置开发堆栈等主题。

## Stripe 的 2500 万行代码库格式化 Stripe 最近“一夜之间”重新格式化了其整个 2500 万行代码库,以提高可读性并减少合并冲突。 这引发了关于最佳方法的争论——大规模的一次性更改与增量格式化——以及在人工智能时代代码格式化的价值。 许多评论者分享了类似的迁移经验,强调了工具的重要性(例如 Stripe 的理智检查,用于验证只有空格发生了变化)以及仔细的计划以避免中断正在进行的工作。 一些人提倡增量格式化,将格式化程序应用于未触碰的文件中的开放 PR,而另一些人则更喜欢“大爆炸”方法,以便获得清晰的“前”和“后”状态。 对话还涉及了语言选择(Ruby,带有 Sorbet 类型检查),令人惊讶的格式化工具速度(如 clang-format),以及人工智能可能受益于或使格式化过时的可能性。 最终,共识倾向于人类可读代码对开发人员和人工智能工具的价值。

PATREON 可见的佐克:佐克3 你需要开启网页浏览器的Javascript才能玩这个游戏。 加载中... ... 佐克3×欢迎来到评论音轨。

本文探讨了R和Kap在数据处理方面的差异,使用了对比Pandas(Python)和R的博客文章中的例子。作者用Kap重新实现了这些例子,以突出两种语言的方法。虽然Kap的解决方案通常更简洁,但R受益于有用的默认设置——例如,读取CSV时自动解析数据类型——这在Kap中需要显式处理。 例如,在R中加载CSV文件会自动识别数字列,而Kap最初将所有内容读取为字符串,需要单独的步骤来定义列标题并转换数据类型。求和一列或按国家/地区分组等常见操作在两者中都可以实现,但Kap需要更直接的指定。 作者展示了计算总数、应用折扣和删除异常值等任务,展示了Kap强大的数组操作能力。最终,R和Kap(或Pandas)之间的选择取决于个人偏好,R优先通过默认设置提供便利,而Kap提供更明确、可能更高效的方法。

请启用 JavaScript 并禁用任何广告拦截器。

## 白宫考虑审查人工智能模型 - 摘要 《纽约时报》的一篇文章讨论了白宫可能在人工智能模型发布*之前*进行审查的可能性,这在Hacker News上引发了争论。核心问题在于,这可能导致政治干预,模型可能会根据政治敏感问题(如选举结果)而非技术 merit 进行评估。 许多评论员担心监管俘获,即大型人工智能公司(如OpenAI、Anthropic和Google)可能会利用这一过程来扼杀竞争,特别是来自开源或国际模型(尤其是来自中国)的竞争。人们对执法、对创新的影响以及美国在人工智能竞赛中可能落后的可能性表示担忧。 一些用户指出,一个“自由市场”政府实施此类控制的讽刺意味,并质疑实际目标——是真正的安全,还是仅仅是控制和杠杆的手段。讨论还涉及现有的技术法规(如欧盟的cookie提示),以及潜在的意外后果。最终,情绪倾向于怀疑和对人工智能未来发展的影响感到担忧。

更多

联系我们 contact @ memedata.com