Hacker News 中文摘要

澳大利亚邮政因特朗普政府即将实施的关税政策暂停了对美国的转运服务，以避免在混乱的关税截止日期前出现物流问题。

本文介绍了Python中f-string的格式化用法，重点展示了如何对数字进行格式化。通过示例表格，详细说明了不同格式化选项（如填充、宽度、分组、精度和类型）对输出结果的影响，适用于整数和浮点数。例如，使用.2f可以保留两位小数，而.2g则用于科学计数法显示。

扎克伯格因担忧人工智能领域泡沫风险，决定暂停相关招聘。此举反映了科技行业对AI发展过热可能带来的市场风险的警惕。

DiffMem是一种基于Git的轻量级内存后端，专为AI代理和对话系统设计。它使用Markdown文件进行人类可读的存储，Git用于通过差异跟踪时间演变，内存中的BM25索引用于快速、可解释的检索。DiffMem将内存视为版本化存储库，当前知识状态存储在可编辑文件中，历史变化保存在Git的提交图中。这种分离使代理能够查询和搜索最新的紧凑数据，同时允许在需要时深入查看历史演变。相比传统数据库或向量存储，DiffMem通过Git的优势，专注于当前状态，减少查询和搜索的表面区域，提高操作效率。

家得宝因在自助结账摄像头中“秘密”使用面部识别技术而被起诉，指控其未经顾客同意收集和处理面部数据，引发隐私争议。

文章介绍了“华夫屋方法”，旨在帮助在技术领域感到迷茫的计算机科学学生。作者通过分享个人经验和建议，鼓励学生面对压力和焦虑时保持冷静，逐步解决问题，并强调了在困难时期坚持的重要性。

文章探讨了Rotten Tomatoes是否仍然可靠，指出近期几乎所有电影都被评为“Certified Fresh”，引发质疑。作者提出两种可能性：一是人类已不再制作糟糕的电影，二是Rotten Tomatoes可能受到商业利益的影响，导致评分标准发生变化。通过数据分析，作者暗示该平台可能已不再完全客观。

由Kevin Buzzard领导的多作者开源项目，旨在使用Lean定理证明器形式化费马大定理的证明。该项目由英国工程与物理科学研究理事会资助，并在伦敦帝国学院进行。项目感谢相关机构的持续支持，并提供了关于费马大定理和Lean的详细信息。

Plutoprint 是一个基于 PlutoBook 的 Python 库，用于从 HTML 生成 PDF 和图像。该项目在 GitHub 上开源，提供了详细的文档和持续集成的构建状态，支持通过 PyPI 安装，并遵循特定的开源许可证。

Luminal 是一个旨在加速深度学习项目开发的开源工具，通过优化计算流程和资源管理，显著提升模型训练和推理的速度。其设计理念是让开发者能够以“光速”进行深度学习实验，减少等待时间，提高效率。Luminal 提供了简洁的 API 和强大的性能优化功能，适用于各种规模的深度学习任务。