## 苹果推出钱包中的数字身份 苹果公司宣布推出**数字身份**,这是一种新的安全方式,可直接在苹果钱包中存储和展示身份信息,利用美国护照的信息。 这扩展了身份验证选项,超越了驾照,为那些没有符合REAL ID标准的州身份证件的人提供了解决方案。 用户可以通过扫描护照与他们的iPhone,完成面部验证,并将数据安全地存储在他们的设备上,来创建数字身份。展示通过iPhone或Apple Watch使用Face ID或Touch ID进行身份验证,确保隐私——苹果无法访问展示数据。 最初,数字身份将在超过250个美国机场的TSA安检点进行国内旅行的测试。未来的扩展包括在企业和应用程序中用于年龄和身份验证。需要注意的是,数字身份*不能*替代实体护照用于国际旅行。 目前,驾照和州身份证件也在苹果钱包中提供,适用于12个州和波多黎各,最近在日本国际推出。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Apple 在 Apple Wallet 中推出了数字身份 (apple.com) meetpateltech 发表于 1 小时前,17 分 | 隐藏 | 过去的 | 收藏 | 4 条评论 phantom784 发表于 2 分钟前 | 下一个 [–] Google Wallet 也支持此功能,但不支持护照,仅支持部分州的驾照。https://support.google.com/wallet/answer/12436402?hl=en 我想知道护照是否也会很快在 Google 上推出 - 如果是这样,只要你持有护照,就可以在全国范围内使用。回复 willio58 发表于 7 分钟前 | 上一个 | 下一个 [–] 我仍然在等待有一天 100% 的州驾照都能在钱包中支持,并且任何要求身份验证的人都必须接受它们。我目前拥有钱包的唯一原因就是为了存放驾照。回复 robin_reala 发表于 1 小时前 | 上一个 [–] …在美国。回复 barbazoo 发表于 9 分钟前 | 父级 [–] ... 适用于美国护照。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

## 从零开始构建 CI/CD 流水线 Runner 本文详细介绍了使用 Python 创建 CI/CD 流水线 Runner 的过程,旨在揭示 GitLab Runner 和 GitHub Actions 等工具的内部工作原理。作者最初对这些工具的配置缺乏深入理解,为了在隔离环境中构建自定义解决方案,从而深入研究了其核心组件。 该 Runner 的构建分阶段进行,首先是在 Docker 容器中执行单个任务,然后是具有顺序执行的多阶段流水线,再到使用多进程并行执行任务。 重要的是,最终版本包含了依赖管理和任务之间的工件传递,从而模拟了真实的 CI/CD 功能。 核心组件包括:配置解析器、使用拓扑排序的依赖解析器、任务调度器和任务执行器。 虽然这个 Runner 演示了基本概念,但生产级别的工具会添加诸如分布式执行、缓存、Webhook 和强大的安全性等功能。 该项目是一个有价值的学习工具,可以深入了解 CI/CD 架构,并使开发者能够在必要时进行故障排除、自定义甚至构建自己的流水线。 进一步的开发可以包括诸如 Web UI、缓存机制和分布式执行能力等功能。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 用Python从头开始构建CI/CD流水线运行器 (muhammadraza.me) 8点 由 mr_o47 2小时前 | 隐藏 | 过去 | 收藏 | 1条评论 systemerror 42分钟前 [–] 为什么气隙环境需要自己构建CI/CD解决方案?有很多气隙Jenkins和/或Argo Workflows的例子。这只是一个学习练习吗?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## FreeBSD 探索:初步观察 我一直在虚拟机上测试 FreeBSD,为将来在即将到来的 Framework 笔记本电脑上切换做准备(取代一台老旧的 X1 Carbon)。Framework 的 Linux/BSD 兼容性,加上 FreeBSD 基金会改进笔记本电脑支持的努力,使其成为理想的候选者。我的目标是在投入之前评估 FreeBSD 是否值得付出努力。 为什么选择 FreeBSD?它的吸引力在于更连贯的系统设计——统一的内核和用户空间——简化了贡献,并可能提供更大的稳定性以及充足的软件可用性。虽然我对 Fedora Silverblue 感到满意,但 FreeBSD 却提供了一个有趣的替代方案。 初步设置涉及在 M1 Mac Mini 上使用 ZFS 的虚拟机。网络需要进行一些配置调整(服务命令接口规范,DNSSEC 处理),并考虑了默认设置调整(ASLR,PID 随机化,安全功能)。`pkg` 包管理器速度很快,但缺乏并发下载,而且 FreeBSD 社区可能不太友好。 目前尚不清楚这些好处——统一的系统、ZFS、潜在的稳定性——是否超过了与 Linux 相比的怪癖和 CLI 差异。明确的评估需要在 Framework 笔记本电脑上进行测试,特别是评估 KDE 性能和硬件支持。最终,我需要确定 FreeBSD 是否提供了能够证明过渡的切实优势。后续文章将详细介绍我在物理硬件上的体验。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 FreeBSD 简要介绍 (yorickpeterse.com) 13 分,by todsacerdoti 1 小时前 | 隐藏 | 过去的 | 收藏 | 1 评论 georgehaake 12 分钟前 [–] 写得很好。好奇你在Mac上使用了哪个虚拟机宿主机?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

© 2025 Valve Corporation. 版权所有。所有商标均为其各自所有者在美国和其他国家/地区拥有。 增值税已包含在所有适用价格中。 隐私政策 | 法律 | 无障碍访问 | Steam 订阅者协议 | 退款 | Cookies 查看移动网站

Valve 宣布推出“Steam Machine”,这是一款专为游戏设计的迷你电脑,同时还发布了新的 Steam 控制器和更新的 SteamOS。据报道,这款机器的性能是 Steam Deck 的六倍,面向那些优先考虑性能而非便携性的用户——特别是那些通常将 Steam Deck 连接到扩展坞使用的用户。 最初的讨论集中在这款机器的功能上,特别是其 4K 输出。虽然最初有人指出 60Hz 的限制,但后续评论澄清该设备可以通过 HDMI 2.0 支持 4K 120Hz,甚至可以通过 DisplayPort 实现更快的速度。关于 HDMI 许可问题可能造成的限制,存在争议,但用户确认硬件支持更高的刷新率。 Steam Machine 被视为对 Xbox 等游戏主机硬件的潜在颠覆者,并且由于其开放的软件平台和游戏重点,它也是苹果 Vision Pro 的更易于获取的替代品。许多评论员表达了对 Steam 生态系统及其日益增长的吸引力的兴奋之情。

## 异步代码中的死锁问题 最近的 Oxide 播客讨论了“futurelocks”——一个涉及异步代码的复杂 Rust 错误——促使人们更深入地研究一个长期存在的问题:由终结器(或 future)与受互斥锁保护的共享资源交互引起的死锁。 核心问题在于*协同地*运行终结器(如析构函数)——希望它们能快速完成——与主程序在同一线程上。 如果终结器尝试获取主程序已经持有的互斥锁,就可能导致死锁,如一个简化的 Python 示例所示。 根本原因并非新问题;几十年 ago,像 Hans Boehm 这样的研究人员就指出了终结器需要访问共享状态的危险。 一致的解决方案是在*单独的线程*上运行终结器,从而消除争用的可能性。 Rust 异步代码中的 futurelocks 共享这个问题:异步运行时希望 future 能够合作,但当一个 future 需要另一个 future 锁定的资源时,可能会导致死锁。 虽然异步代码提供了一些保障,但交错执行和对合作的依赖仍然是潜在问题。 作者对 futurelocks 的完美解决方案表示悲观,认为异步调度的固有复杂性使得完全预防变得困难,并倾向于传统线程的可靠性,尽管它有开销。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Async 和 Finalizer 死锁 (tratt.net) 5 分,来自邮件 19 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

© 2025 Valve Corporation. 版权所有。所有商标均为其各自所有者在美国和其他国家/地区拥有。 增值税已包含在所有适用价格中。 隐私政策 | 法律 | 无障碍访问 | Steam 订阅者协议 | 退款 | Cookies 查看移动网站

## Steam 机器与 Linux 游戏进展 - Hacker News 摘要 最近 Hacker News 的讨论集中在 Valve 的新款 Steam 机器上,这是一款设计用于运行 SteamOS 并由半定制 AMD Zen 4 CPU/RDNA3 GPU 驱动的 PC。用户对摆脱 Windows 的潜力表示兴奋,主要用于游戏,一些人已经将 Steam Deck 作为他们的主要电脑使用多年。 关键点包括 Valve 通过 Proton 和 Wine 继续投资于基于 Linux 的游戏,以及对 Arm 游戏的支持(由 Snapdragon 驱动的 Steam Frame)。人们乐观地认为,这最终可能是“Linux 桌面年”,提供经过完善、厂商支持的体验。 提出的担忧包括 8GB 显存的寿命、Valve 成为 полноценного 操作系统开发商的可能性,以及 HDMI 2.0 端口。许多人认为这是朝着 Linux 成为 PC 游戏和通用计算的可行、用户友好选项的重大一步,可能与微软在 Xbox 上的 Windows 计划竞争。

日本和加拿大的Apple Watch用户现在可以在没有传统蜂窝服务的地方使用Starlink的蜂窝网络发送短信。日本运营商KDDI的Au为拥有付费订阅的Apple Watch Ultra 3、Series 11和SE 3用户提供这项服务,而加拿大的Rogers Communications则将其作为免费的测试版提供。 此次扩展由SpaceX促成,暗示着美国可能通过T-Mobile提供该服务,T-Mobile已经支持Apple Watch蜂窝计划和iPhone卫星服务。目前,只有Apple Watch Ultra 3内置卫星连接功能,用于紧急情况和在激活运营商计划的情况下发送短信。 进一步的发展正在酝酿中,苹果的卫星合作伙伴Globalstar可能被SpaceX收购,这可能会加速Starlink的发展,并将其功能扩展到短信之外,包括更广泛的数据传输——甚至可能包括视频通话——用于iOS和Android设备。

## Helm 4.0.0:首个稳定版本 Helm 团队发布了 Helm 4.0.0,这是一次重要的版本更新,引入了显著的改进。主要功能包括:重新设计的插件系统,支持 Web Assembly;服务器端应用;增强的资源监控;本地缓存;以及通过 `slog` 改进的日志记录。SDK API 已更新,支持多个图表 API 版本,包括实验性的 v3 版本。 虽然在 CLI 标志和输出方面与 v3 不兼容,但团队旨在使过渡比 v2 到 v3 的转变更加平滑。现有的 v2 图表仍然受支持,并且大多数工作流程*应该*继续正常运行。**鼓励测试**以确保兼容性。 未来发布计划于 2025 年 12 月 10 日(补丁版本 3.19.3 & 4.0.1)和 2026 年 1 月 21 日(小版本 3.20.0 & 4.1.0)。 在此处下载 Helm 4.0.0 并查找安装指南:[https://helm.sh/docs/overview/](https://helm.sh/docs/overview/) 团队对充满活力的社区的贡献和支持表示感谢。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Helm v4.0.0 (github.com/helm) 15 分,by todsacerdoti 31 分钟前 | 隐藏 | 过去 | 收藏 | 2 评论 buster 7 分钟前 [–] 在 Kubernetes 上工作一段时间后,我真的要说,Helm 是一场复杂的地狱。它肯定有很多功能,但其中很多是不需要的,但仍然增加了复杂性。另外,请修复“默认”Helm chart 模板,它是一个选项和值的噩梦,初学者无法理解。使其基本和简单。现在我更愿意使用 Terraform 来进行 Kubernetes 部署,尤其是在你已经使用 Terraform 的情况下!回复 nullwarp 0 分钟前 | 父评论 [–] 我从未见过没有让人做噩梦的 Helm 模板。这可能是我离开 Kubernetes 的最大原因。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

在最近的一次福克斯新闻采访中,特朗普总统强调**可负担性**将是即将到来的2026年中期选举的决定性议题。他认为,在他的领导下,成本已经在下降,并举例说明,如鸡蛋价格降低以及沃尔玛报告的更便宜的感恩节大餐。特朗普计划通过降低咖啡关税和继续降低能源价格来进一步降低成本,目标是将汽油价格降至每加仑2美元。 这次采访还将可负担性定位为对民主社会主义日益增长的影响的回应,特朗普政府将他们视为对美国繁荣和传统价值观的威胁。他们批评《降低通货膨胀法案》和开放边境政策是导致通货膨胀的因素。 特朗普的策略集中在扭转这些政策,并将自己塑造成年轻美国人经济稳定的捍卫者,口号呼应了他2016年的竞选口号:“让可负担性再次伟大”。鉴于国会僵局,该政府预计将利用行政行动迅速解决可负担性问题。

## 美联储对流动性的控制:摘要 2008年金融危机后,美联储日益成为金融市场流动性的主要提供者,从“最后的贷款人”转变为常常是*唯一*的贷款人。2008年之前,私人市场履行这一角色,但危机后的法规——如巴塞尔III和沃尔克规则——严重阻碍了私人部门的流动性提供。这些法规增加了银行短期贷款的成本,并限制了自营交易,从而减少了关键的市场参与。 与此同时,美联储实施量化宽松(QE)政策大幅扩大了其资产负债表和银行准备金,建立了一种美联储通过存款准备金利率(IORB)大力影响隔夜融资利率的体系。货币市场改革进一步将资本推向美联储和国债,减少了私人市场贷款。 这种新的动态意味着美联储,而非自由市场,现在大力影响资产估值和潜在的投机泡沫。目前隔夜融资市场压力的再次出现,预示着量化宽松政策可能回归,美联储面临一个选择:干预以维持流动性,或冒着可能导致混乱的去杠杆化事件的风险。美联储作用的扩大引发了关于泡沫在这一新体制下最终何时以及如何破裂的问题。

## NetHack 4:设计理念 NetHack 4 最优先考虑**灵活性**——玩家能够以多种方式达成目标,甚至包括非预期的途径。 与一些专注于适应有限资源的roguelike游戏不同,NetHack 旨在让玩家*做*他们想做的事情,从而培养创造力和即兴发挥。 游戏既能满足寻求直接体验的休闲玩家,也能满足追求具有挑战性的自我限制(“行为规范”)的老玩家。 可重玩性源于这种自由; 即使在获胜后,玩家也可以探索新的策略和解决方案。 设计避免惩罚实验,即使是看似无用的选项,因为相信发现和非寻常的解决问题是享受游戏的关键。 为了支持这一点,NetHack 专注于清晰的信息和玩家控制。 界面改进旨在确保行动与意图一致,并且角色发展是健全的,提供诸如许愿魔杖之类的工具。 游戏避免过度的重复劳动,并通过奖励冒险和在整个游戏中提供有意义的战略选择来鼓励探索。 最终,NetHack 4 努力成为一款始终可以获胜的游戏,*同时* 呈现新鲜且引人入胜的问题,重视玩家的主动性和发现感。

最近一篇Hacker News上的帖子讨论了经典roguelike游戏NetHack,以及在nethack4.org上提供的最新版本(4)。讨论引发了玩家们对这款以难度著称的游戏的回忆,分享了他们的游戏进度——有些人甚至到达了空中位面,这是一个重要的成就。 常见的困难包括死于饥饿或中毒,突显了游戏陡峭的学习曲线和大量的选项。一位用户分享了来自Roguelike Celebration的“致NetHack的一封情书”演讲链接,分析了游戏的独特设计和影响。 有人提出了关于“NetHack 4”的合法性问题,以及它是否是原始版本(3.6.7)的授权更新,但很快就被指出这是一个来自2013年的旧问题。总的来说,这个帖子展示了人们对NetHack持久的挑战性和复杂性的持续欣赏。

## 老技术,新花样:在20年前的PowerBook上运行AI 如今,苹果的M系列芯片占据了头条,但该公司之前曾使用PowerPC处理器。 近期,复古计算爱好者Andrew Rossignol证明了这些旧芯片并未过时,他成功地在2005年的PowerBook G4上运行了一个大型语言模型(LLM)。 尽管这台机器存在局限性——1.5GHz处理器和仅1GB的内存——Rossignol将一个开源LLM推理引擎(llama2.c)和TinyStories模型适配到了PowerPC的大端架构。 这需要大量的软件修改和手动内存管理。 性能较慢,文本生成速度为每秒0.77个token,而现代Intel Xeon为6.91个。 然而,利用PowerPC的AltiVec向量处理扩展,将其提升到每秒0.88个token。 这项实验表明,通过巧妙的优化,即使是二十年前的硬件也能参与到现代AI中,推动了旧技术可能性的边界。

一篇Hackster.io文章展示了Llama大型语言模型在老式PowerPC G4笔记本电脑上成功运行,引发了Hacker News上的讨论。 许多用户纷纷表示,他们也开展了类似的项目,在各种“奇怪、老旧的系统”上运行Llama和其他模型(如qwen3.c),包括SPARC、PA-RISC、RISC-V、Alpha和POWER架构。 对话中明确,苹果公司并非*制造* PowerPC芯片,而是使用它们。 有用户区分了llama.c和llama.cpp,并确认后者已在G4上成功实现,并承诺撰写相关文章。 最后,一位评论员指出,人工智能本质上是矩阵运算,非常适合现有硬件能力。

经过16年的开发,Waymo现在将其自动驾驶出租车服务扩展到包括在旧金山、凤凰城和洛杉矶的高速公路驾驶。这标志着该公司的一个重要里程碑,可能将乘车时间缩短高达50%,并将其服务范围扩展到更广泛的郊区和机场,如SFO和圣何塞。 最初,高速公路乘车选项将通过Waymo应用程序中的偏好设置提供。此次扩展在旧金山半岛创造了260英里的服务区域,并包括在圣何塞和凤凰城机场的路边接送服务。 Waymo强调掌握自动驾驶高速公路驾驶的复杂性,需要大量的测试——包括道路测试和模拟测试——以确保安全性和可靠性。该公司还与加州公路巡警等安全官员协调,为此次扩展做准备。此举对于Waymo与竞争对手竞争并吸引需要更长距离、高效交通运输的更广泛用户群至关重要。

## Waymo扩展至高速公路行驶 Waymo已开始向公众提供高速公路乘车服务,表明其对自动驾驶技术的信心。这一扩展被视为重要一步,因为高速公路虽然看似比城市街道“更容易”,但仍然存在独特的挑战——特别是更长的停车距离和对远距离感知的需求。 Hacker News上的讨论提到一起Waymo做出危险动作的事件,引发了关于系统“激进性”水平的争论。尽管总体上被认为比人类驾驶员更安全,但它并非万无一失。 评论员认为Waymo优先部署高速公路是为了公关目的,以最大程度地降低致命事故的风险。另一些人指出,Waymo的驾驶风格已经比许多人类驾驶员更谨慎,始终遵守限速规定。此举为向依赖高速公路旅行的美国小型城市扩张解锁了潜力。 体验过类似系统(GM的SuperCruise、Ford的BlueCruise)的用户强调了拥有人工干预的舒适性,而许多人认为Waymo目前领先于特斯拉的自动驾驶能力。

最初,作者们被公有云基础设施的易用性所吸引,但随后发现成本失控、支持不透明,且创新受到供应商的限制。他们发现 Kubernetes 提供了一种强大的替代方案:一个用于构建私有云的可编程基础。 Kubernetes 提供了与公有云相同的基础云功能——弹性计算、持久存储、托管数据库等——但*没有*供应商锁定。通过利用 Rook/Ceph 和 CloudNativePG 等开源工具,他们获得了对计算位置、数据驻留和可预测预算的控制权。 这种转变使团队能够掌控自己的路线图,并优先考虑弹性、合规性和成本效益。虽然管理基础设施需要对自动化进行投资,但成熟的工具(如基础设施即代码和 Operators)现在简化了这一过程。Kubernetes 并没有完全取代公有云,而是将其重新定义为一种*选择*,而不是必需品,使组织能够在他们真正控制的基础设施上构建。

## Kubernetes 作为私有云:一个质疑性的讨论 一篇最近的文章提出 Kubernetes 可以作为私有云使用,在 Hacker News 上引发了争论。虽然这个想法对那些寻求云功能但又希望拥有更多控制权的人来说很有吸引力,但许多评论者表达了怀疑。 反对“自托管 Kubernetes”的核心论点在于它引入的运营开销。用户指出,有效地运行 Kubernetes 需要管理任务——运维、安全、可扩展性、升级——而这些通常由云提供商处理。人们对升级的复杂性(每个 3 个月一次的 operators 和 manifests)以及对专业知识的需求表示担忧。 一些人认为 Kubernetes 在需要快速部署的小团队中表现出色,但大型组织应该考虑使用基础设施即服务 (IaaS)。 还有人强调了即使*使用* Kubernetes 也可能导致组织混乱,并指出它仍然可能导致复杂的配置。 一些评论员提倡更简单的替代方案,如 Proxmox 或 Podman,质疑 Kubernetes 的好处是否超过其固有的复杂性,适用于许多用例。一种反复出现的情绪是,Kubernetes 经常解决一个根本不存在的问题(“需要一个云”)。

经过238年,美国一美分硬币因铸造成本——几乎每个硬币四美分——而停止生产。特朗普总统在二月份宣布了这一决定,理由是财政效率低下。虽然一美分硬币仍然是法定货币,但其停用却出乎意料地造成了破坏。 零售商在现金交易中面临挑战,因为许多州要求精确找零。一些商家正在四舍五入价格,可能每年给消费者造成约600万美元的损失,而另一些商家则要求顾客提供一美分硬币。政府除了最初的社交媒体公告外,缺乏明确的指导,导致了“混乱”的局面。 此举甚至可能*增加*成本,因为生产更多的五美分硬币对铸币厂来说成本更高。像“美国共同一美分”之类的团体,由一美分硬币坯料制造商资助,正在倡导立法解决方案,以允许四舍五入并避免法律问题,特别是关于SNAP等项目。尽管一美分硬币的历史可以追溯到1787年,并且一些人对其怀有怀旧之情,但其使用量的下降导致公众对其停用的反应相对平淡。

## 便士终结与硬币使用讨论 一则源于美国便士最后一次铸造的Hacker News讨论,引发了关于低面值硬币的持续争论。文章指出,Kwik Trip便利店连锁店将因四舍五入政策而亏损,原因是便士的使用量正在下降。 评论员指出便士本身存在的问题:它经常作为零钱收到,但很少被*花费*。这种现象也延伸到其他硬币,零售体验分享显示顾客即使拥有硬币也更喜欢纸币。 多位用户提倡取消不仅是便士,还有镍币、一角币甚至四分之一美元硬币,建议美国采用更广泛使用1美元和2美元硬币——但有人对当前1美元硬币的复杂设计表示担忧。加拿成功取消便士的案例被引用为榜样,与美国 perceived mismanagement(被认为的管理不善)形成对比。

## 特朗普瞄准肉类加工垄断 特朗普总统已指示司法部调查大型肉类加工公司涉嫌价格操纵,旨在解决牛肉价格上涨问题,同时支持美国牧场主。他认为,这些主要由外国拥有的大公司人为抬高价格,损害了消费者和国家的粮食安全。 这一举措源于仅四家公司控制了美国85%的肉类加工业——这种整合根源于一个世纪的历史。与尤普顿·辛克莱的《丛林》所引发的普遍认知相反,当前体系并非是对行业滥用的*回应*,而是由20世纪初的《肉类检验法》等法规*促成*的。 经济历史学家表明,早在1880年代,肉类加工商就积极*寻求*政府认证,以人为制造进入壁垒,阻止小型竞争对手,并确保出口市场。如今,联邦法规禁止农民直接加工和销售自己的肉类,迫使他们依赖这些大型认证加工商,并产生大量成本。 特朗普的解决方案侧重于消除这些监管障碍,以促进竞争,让农民获得更大的控制权,并可能降低消费者价格。核心问题不仅仅是企业行为,而是最初设计用于使大型行业参与者受益的监管框架。

《立即学习Prolog!》是一门面向初学者的课程,旨在介绍Prolog编程,提供在线版本(自2001年起)和书籍形式。其核心目标是为几乎没有或没有先验计算经验的人们提供一个自包含、易于理解的资源。 然而,该课程强调Prolog最好通过*实践*来学习。虽然文本提供了基础理解,但作者强烈鼓励读者积极练习,使用Prolog解释器并完成提供的练习——以及超越练习! 课程创建者欢迎反馈和建议,以不断改进课程的未来版本,旨在创建一个进入Prolog编程世界的有价值的入口。

## Hacker News 上关于 Prolog 的讨论 一篇指向学习 Prolog (swi-prolog.org) 的链接引发了 Hacker News 上的讨论,揭示了这种语言的独特性和挑战性。 许多评论者分享了学习 Prolog 的经验,指出它迫使人们从根本上重新思考编程概念——几乎就像是重新学习编程。 虽然 Prolog 在定理证明和声明式编程等任务中功能强大,但由于库生态系统较小,它的通用性不如 Python 等语言。 然而,它确实是图灵完备的,并且能够构建完整的应用程序。 一些用户认为 Prolog 对于建模领域和设计简洁的代码非常有用,即使只是在用其他语言实现之前进行“思想实验”。 还有人设想了一种工具,可以将“类似 Prolog”的查询嵌入到其他语言中,用于约束和关系管理。 讨论中俏皮地将 Prolog 描述为夏洛克·福尔摩斯可能会使用的语言,突出了它逻辑和演绎的方法。

人工智能系统由于训练数据存在偏差,正在微妙地强化性别刻板印象,这可能对下一代产生有害后果。例如,人工智能日历会假设女性之间的会议是关于育儿的,图像识别无法识别男孩享受理发店体验——将“理发店”解读为传统女性活动。 这种偏差源于反映社会规范的历史数据,人工智能学习并延续现有的不平等现象(例如,将护理与女性联系起来,将医生与男性联系起来)。这不仅仅是一个错误,而是过时社会期望的一种编码形式。 像Hold My Juice这样的公司正在积极对抗这一点,他们优先考虑多样化、真实世界的数据,严格的偏差测试和人工监督。他们认识到偏差是默认情况,并正在构建从用户纠正中学习的系统,旨在在公平性和包容性方面取得可衡量的进展。目标不是中立,而是自我意识和持续改进,确保人工智能反映出对家庭和个人的更公平的看法。

最近一项实验凸显了人工智能的偏见,一个系统将两位女性创始人的会面标记为“育儿”。“Hold My Juice”家庭人工智能的开发者分享了这一案例,作为人工智能常常默认刻板印象的证据——假设女性主要负责育儿和家务。 Hacker News评论区的讨论集中在偏见的来源上。一位拥有丰富LLM经验的评论员认为,这种偏见可能源于人工智能的提示方式和提供的背景,而非模型本身固有的缺陷。另一些人指出,社会偏见反映在用于训练这些人工智能系统的数据中(例如社交媒体),以及社会对育儿角色的观念转变缓慢。 这起事件引发了关于人工智能默认设置、无偏训练数据的挑战以及人工智能驱动的偏见对公共讨论的更广泛影响的争论。

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接,禁用任何广告拦截器,或尝试使用不同的浏览器。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Ioannis Yannas 发明了用于烧伤治疗的人工皮肤——享年90岁 (news.mit.edu) 18 分,bookofjoe 2小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 toomuchtodo 10分钟前 [–] https://en.wikipedia.org/wiki/Ioannis_Yannas 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

亚特兰大联邦储备银行行长拉斐尔·博斯蒂克将于任期结束时在二月份退休,这加剧了美联储在可能关键一年中的领导层变动。博斯蒂克是首位非洲裔和公开出柜的地区美联储行长,他的任期因美联储监察长调查的交易丑闻而受到关注——但调查人员没有发现实际不当行为的证据。 他的离职正值唐纳德·特朗普日益增长的政治压力之际,据报道特朗普正在准备任命更多温和派人士进入美联储,并对地区银行施加更大的影响力以降低借贷成本。现任主席杰罗姆·鲍威尔的任期也将在五月份结束。 博斯蒂克支持最近的降息,但他倡导继续实施紧缩的货币政策,直到通货膨胀达到2%的目标。他的继任者将通过搜索委员会选出,在此期间,切丽尔·维纳布有可能担任临时领导,直至任命永久继任者。亚特兰大联邦储备银行直到2027年才将拥有联邦公开市场委员会(FOMC)的投票成员。

新闻电影电视音乐科技专题名人政治怪闻社区广告条款隐私与Cookie政策LADbible集团LADbibleSPORTbibleGAMINGbibleTylaUNILAD TechFOODbible内容授权关于我们及联系方式招聘最新话题A-Z作者隐私设置脸书InstagramXThreads抖音YouTube提交您的内容

一篇最近在Hacker News上被重点报道的文章详细介绍了切尔诺贝利禁区中的真菌如何突变,利用辐射作为能量来源——本质上是“以辐射为食”。 这引发了关于生命适应性和未来潜在发展的讨论。 用户指出,类似现象可能也发生在塑料甚至金属上,微生物正在进化以代谢这些材料。 一位评论员指出,历史上存在一个平行现象:在能够消化纤维素的生物体出现之前,死树堆积并最终形成了石油。 虽然有人担心微生物会破坏基础设施,但也有人认为塑料的相对较低密度可能会限制其影响。 讨论还涉及了基因改造生物体可能产生的意外后果的风险,以及抗生素耐药性细菌的持续威胁。 最终,这个帖子反映了对生命适应能力的谨慎乐观,以及对潜在挑战的认识。

Micro.blog 致力于赋能用户**掌控自己的在线形象**,最初是一个具有类似 Twitter 时间线的博客托管服务,并逐渐发展成为一个综合平台。创始人 Manton Reece 最近推出了 **Micro.blog Studio**,增加了长达 20 分钟的视频托管服务——这是对 YouTube 等平台视频内容中心化的直接回应。 其核心理念是 **“发布到自己的网站,在其他地方分发 (POSSE)”**,允许用户在其自己的域名上托管内容,并自动分享到 Bluesky、Mastodon,以及现在的 PeerTube 等平台。这确保了用户对内容的控制权,同时仍然可以触达更广泛的受众。 计划价格从每月 1 美元到 15 美元不等,Studio 计划提供更长的视频上传时长。虽然该平台因其理念而受到赞扬,但一些用户建议采用分级视频限制(例如,1 分钟、5 分钟等),以鼓励更广泛的采用和收入增长,同时支持 4K 分辨率。最终,Micro.blog 旨在成为一个独立、以用户为中心的替代方案,让掌控你的数字足迹比以往任何时候都更容易。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Micro.blog 发布新的“Studio”套餐,提供视频托管服务 (heydingus.net) 11 分,justin-reeves 1小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 kstrauser 1分钟前 [–] 只是想说我喜欢 Micro.blog。它终于让我摆脱了自己 Hugo 加上玄学设置,因为它非常符合人体工程学,而且价格合理。 我玩 SSG 玩了好几年,现在更喜欢直接写文章,然后同时将它们广播到 Mastodon 和其他我配置的地方。直到我读了 Manton 的书,我才明白它的目标是成为一个完全建立在开放网络标准之上的社交媒体服务,每个人都可以参与。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一位联邦法官已下令 OpenAI 向《纽约时报》和其他起诉该公司侵犯版权的报纸提供 2000 万条匿名 ChatGPT 用户日志。这些报纸认为,这些日志对于证明 ChatGPT 如何利用受版权保护的新闻内容并生成潜在的错误输出至关重要。 OpenAI 最初表示反对,理由是用户隐私问题,但法官认为这些担忧被确保删除识别信息的保护令所抵消。OpenAI 必须在 11 月 14 日之前遵守。 这场诉讼的核心是声称 OpenAI 非法使用受版权保护的材料——例如《纽约时报》的文章——来训练其人工智能模型,从而避免了在内容创作方面的巨额投资。 此案与来自作者和 Getty Images 的其他案件一起,构成了围绕“合理使用”以及人工智能公司利用公开数据进行训练目的的权利的日益激烈的法律斗争,这是快速发展的生成式人工智能领域的一个关键因素。 结果可能会对人工智能的未来发展和版权法产生重大影响。

摩根大通正在扩大其 **JPM Coin** 的使用范围,该代币代表其银行持有的美元存款,现在可通过 Coinbase 的 Base 区块链供机构客户使用。此举与传统银行系统相比,实现了更快的 24/7 支付处理。 重要的是,JPM Coin 是一种 **存款代币**——受监管的银行负债——这使其与由资产支持的典型稳定币区分开来。摩根大通还在与 DBS 银行合作,开发其各自存款代币生态系统之间的链上转账框架。 除了 JPM Coin 之外,该银行越来越多地拥抱更广泛的加密领域。计划包括允许比特币和以太坊作为贷款抵押品,预计对 Solana 和 XRP ETF 的投资将强劲增长,并为 *所有* 客户(而不仅仅是高净值个人)开发加密货币交易服务。这标志着全球最大银行对代币化和区块链技术的重大承诺。

## 量子卫星:你正在为太空科学做出贡献! 游戏《量子卫星》不仅仅是为了娱乐——你的游戏过程直接支持一个名为SEAQUE的真实量子物理实验,该实验目前正在国际空间站(ISS)进行。 每次你躲避障碍物时,都会产生随机的0或1选择。这些选择用于测试“贝尔不等式违背”,这是衡量纠缠光子(相连的光粒子)即使在距离遥远的情况下也能保持连接程度的关键指标。你的游戏越随机,实验就越准确! SEAQUE旨在验证其纠缠源的质量,并测试一种修复空间中探测器辐射损伤的方法——这些都是构建未来太空量子网络的重要步骤。最终,这项研究可以实现远距离的安全通信。 因此,通过玩《量子卫星》,你正在积极参与前沿的量子研究,并帮助为太空技术的进步铺平道路!

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Seaque实时贝尔测试 (illinois.edu) 4点 由 EvgeniyZh 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

油价下跌,原因是欧佩克和国际能源署发布了更新的展望报告,显示全球能源格局正在变化。欧佩克现在预测第三季度石油市场将出现盈余,这得益于美国产量和欧佩克+供应的增加,尽管预计2025年和2026年需求将继续增长约130-140万桶/天。他们已暂停在2026年初进一步增加产量,承认可能出现季节性放缓。 与此同时,国际能源署大幅修正了其长期预测,现在预测在当前政策下,未来25年石油和天然气需求将增加,理由是气候行动的重点有所下降以及电动汽车的采用速度放缓。这与之前的“石油峰值”预测不同,受到美国和沙特阿拉伯等主要生产国关于持续能源需求的论点的影响。 尽管对时间表存在不同看法,但双方都同意可再生能源将主导未来的电力生产,但转型速度仍不确定。欧佩克欢迎国际能源署的修正立场,称之为“与现实的会合”。

## 政府停摆结束,但挑战依然存在 众议院投票决定重新开放联邦政府,结束了持续35天的停摆——这是美国历史上最长的一次。参议院通过的资金方案预计将由特朗普总统签署,该方案将为政府运作提供资金至1月30日,恢复联邦雇员的欠薪,并防止进一步裁员。然而,该方案不包括对《平价医疗法案》保费税收抵免的延长,这是民主党做出的关键让步。 尽管共和党领导层表示有信心,但由于微弱的多数优势,投票需要接近满员出席。重新开放将是渐进的,预计航空旅行中断以及SNAP等项目的福利延迟将持续存在。 该协议仅提供了一个临时的解决方案,另一个资金截止日期将在2024年初到来。 众议长约翰逊面临即将到来的挑战,包括谈判有争议的拨款法案、解决即将到期的医疗保健条款以及管理党内纠纷——包括可能就发布完整的埃普斯坦文件进行投票。 尽管立即缓解了危机,但前进的道路仍然不确定,可能为另一次停摆对峙埋下伏笔。

特拉华州作为公司注册首选地的长期地位正面临挑战,越来越多的公司正搬迁到德克萨斯州和内华达州等地。这种转变源于对特拉华州衡平法院最近裁决以及被认为具有政治动机和不可预测性的立法行动的担忧。 Coinbase是最新宣布离去的公司,理由是寻求更大的法律稳定性和可预测性——这些品质历史上与特拉华州相关联。其他知名公司,包括特斯拉、SpaceX、Dropbox和TripAdvisor,已经完成了搬迁,通常是在影响其领导层或运营的争议裁决之后。 埃隆·马斯克,尤其是在特拉华州法官推翻他在特斯拉的薪酬方案后,一直公开倡导公司离开该州。这一趋势预示着公司法可能出现一个转折点,越来越多的州通过提供更有利和更稳定的法律环境来争夺企业。

启用 JavaScript 和 Cookie 以继续。

## OpenAI 与纽约时报:一场隐私纠纷 一则 Hacker News 讨论围绕 OpenAI 对纽约时报诉讼的回应展开,纽约时报寻求访问 2000 万用户的对话记录。OpenAI 将此视为侵犯用户隐私,认为纽约时报是在“钓鱼式探寻”侵犯版权的证据——特别是用户试图绕过他们的付费墙。 许多评论者对 OpenAI 的立场表示强烈怀疑,引用该公司自身的数据抓取历史以及将利润置于隐私之上。普遍存在一种虚伪感,用户质疑 OpenAI 在构建其模型时使用了大量公开数据后,突然对隐私的关注。 这场辩论触及了“第三方原则”(在线共享的数据并非真正私密)与用户对服务内隐私的期望之间的复杂性。一些人认为 OpenAI 正在利用公众舆论来限制法律调查的范围,而另一些人承认纽约时报捍卫其版权的权利,但质疑其请求的范围。最终,这场讨论凸显了对大型企业及其关于用户隐私的主张的深刻不信任。

英国政府拒绝了欧盟委员会提出的高达67.5亿欧元的要求,以加入欧盟“欧洲安全行动”(SAFE)国防计划,这对脱欧后的关系造成重大挫折。欧盟建议支付此费用以及管理成本,以供英国参与这项价值1500亿欧元的倡议,旨在加强欧洲防御能力,并向加拿大和土耳其等非欧盟国家开放。 英国认为拟议的费用过高,表示只有在协议能为本国产业带来价值时才会同意。尽管首相斯塔默最近试图在COP30会议上与欧盟主席冯德莱恩讨论此事,但她回避了这次会面。 尽管今年早些时候欧盟与英国的关系经历了一次“重置”,但这次分歧凸显了持续存在的紧张关系。SAFE项目的投标将于11月30日结束,谈判仍在进行中,但英国的参与仍然不确定。

联系我们 contact @ memedata.com