2025-06-27 08:54:31
https://www.quantamagazine.org/a-new-pyramid-like-shape-always-lands-the-same-side-up-20250625/
在 2025 年 6 月 25 日，Elise Cutts 发表了一篇关于数学和工程学的文章，介绍了一种新型金字塔状物体——一个只能稳定地落在其一个面上的四面体。这个发现证实了一个几十年前的猜想。
文章首先回顾了柏拉图在公元前 360 年提出的宇宙是由五种几何形状构成的观点，这些形状被称为多面体。尽管这些形状已经被研究了数千年，但即使是最简单的四面体，仍然存在许多未解之谜。例如，如何最密集地包装规则四面体，以及哪些类型的四面体可以被切割并重新组合成一个立方体。
数学家约翰·康威（John Conway）和理查德·盖伊（Richard Guy）在 1966 年提出了一个问题：是否可能构造一个由均匀材料制成的四面体，其重量均匀分布，只能坐在其一个面上。如果将这样的“单稳态”形状放在其他任何面上，它都会翻转到其稳定的一侧。几年后，他们自己回答了这个问题，表明这种均匀单稳态四面体是不可能的。但如果允许不均匀地分配其重量呢？
北卡罗来纳州立大学的 Dávid Papp 提到，这似乎是显而易见的，因为这就是不倒翁玩具的工作原理：只需在底部放置一个重物。但这仅适用于形状光滑或圆形或两者兼有的情况。对于具有锋利边缘和平面的多面体，如何设计一个总是翻转到同一侧的形状并不明显。
Gábor Domokos 是布达佩斯技术和经济大学的数学家，他长期以来一直对平衡问题感兴趣。2006 年，他和他的同事发现了一个名为 gömböc 的形状，它具有“单单稳态”的不寻常特性——它只能在两个点上平衡（一个稳定，另一个不稳定，像硬币的侧面），没有其他点。如果你试图在其他地方平衡它，它会滚动到稳定的点上。
Domokos 想要知道一个尖锐的多面体是否也能有类似的属性。因此，康威的猜想吸引了他。他和学生 Gergő Almádi、Krisztina Regős 以及加拿大圣玛丽大学的 Robert Dawson 在 2023 年证明了，确实可以分配四面体的重量，使其只坐在一个面上。至少在理论上是这样。
Almadi、Dawson 和 Domokos 想要构建这个形状，这个任务比他们预期的要困难得多。现在，他们在昨天发布的预印本中展示了这个形状的第一个工作物理模型。这个四面体重 120 克，最长边长 50 厘米，由轻质碳纤维和密集的钨碳化物制成。为了工作，它必须被精确地设计到十分之一克和十分之一毫米的精度水平。但最终的构造总是像预期的那样翻转到一个面上。
这项工作展示了实验和游戏在研究数学中的重要角色。它还有潜在的实际应用，例如在设计自纠正航天器方面。Papp 说，这项研究让数学家们能够“真正欣赏我们以前不知道的东西，以及我们现在的理解有多彻底”。
在 2022 年，Almadi，当时是一名渴望成为建筑师的本科生，参加了 Domokos 的力学课程。Domokos 看到了他是一个勤奋且不断深思的人。在学期结束时，Domokos 要求他设计一个简单的算法来探索四面体如何平衡。与康威最初提出问题时只能使用铅笔和纸通过抽象数学推理来证明单稳态四面体存在的情况不同，Almadi 几十年后有了计算机。他可以通过暴力搜索大量可能的形状。最终，Almadi 的程序找到了一个四面体的四个顶点的坐标，当赋予特定的重量分布时，可以使其成为单稳态。康威是正确的。
Almadi 找到了一个单稳态四面体，但可能还有其他的。它们共享什么属性？虽然这似乎是一个简单的问题，但“一个四面体是单稳态”这样的陈述不能轻易地用一个简单的公式或一组方程来描述。团队意识到，在任何单稳态四面体中，三个连续的边缘（面对面相遇的地方）必须具有特定的属性。
https://news.ycombinator.com/item?id=44381297
https://www.folklore.org/Negative_2000_Lines_Of_Code.html
这篇文章讲述了 1982 年初，Lisa 软件团队为了在接下来的六个月内完成软件发货，开始尝试通过跟踪每位工程师每周编写的代码行数来衡量他们的工作进度。管理层设计了一种表格，要求每位工程师每周五提交，其中包括填写当周编写的代码行数。
文章的主要人物是 Bill Atkinson，他是 Quickdraw 的作者，也是主要的用户界面设计师，对 Lisa 项目的成功至关重要。他认为以代码行数来衡量软件生产力是愚蠢的，因为他的目标是编写尽可能小而快的程序，而代码行数的指标只会鼓励编写粗制滥造、膨胀、易出错的代码。他最近在优化 Quickdraw 的区域计算机制，通过使用一个更简单、更通用的算法完全重写了区域引擎，经过一些调整后，使得区域操作速度提高了近六倍。作为副产品，重写还节省了大约 2000 行代码。
当 Bill Atkinson 完成优化工作，第一次需要填写管理层的表格时，他在代码行数部分思考了一下，然后填写了数字：-2000。文章不确定管理层对此有何反应，但确实在几周后，他们停止要求 Bill 填写表格，而他也很高兴地遵从了。
文章的最后部分提到了一个评分系统，整体评分为 4.72（最高分），并展示了一些读者的评论。评论者们普遍认为这个故事很有教育意义，认为 IT 经理应该从中学习。一些评论者提到，任何有用的工具都可能被愚蠢地使用，而以代码行数来评价工作绩效是不恰当的。还有评论者分享了自己的经历，他们通过优化代码减少了代码行数，提高了代码的运行效率和功能，但这种以代码行数为标准的绩效评价方式却忽视了这些成果。
文章最后提供了用户评论的区域，允许读者留下自己的观点，并提到这个故事的文本内容是根据 Creative Commons License 授权的。
https://news.ycombinator.com/item?id=44381252
https://github.com/qemu/qemu/commit/3d40db0efc22520fa6c399cf73960dced423b048
这个网页是关于 QEMU 项目对于 AI 代码生成器使用的政策声明。
QEMU 项目最近更新了其文档，明确了对于 AI 代码生成器的使用政策。文档中提到，尽管 AI 代码生成器引起了广泛的兴趣，但目前对于这些工具生成的代码的法律解释和许可影响还没有达成广泛共识。尽管供应商可能声称没有问题，并且可以选择自由的许可证，但由于他们有利益冲突，这种解释并不可靠。目前，也没有广泛共识关于在多种许可证下训练的代码生成器的许可影响。
开发者证书原件（DCO）要求贡献者声明他们有权在指定的项目许可证下贡献代码。鉴于对 AI 代码生成器输出的许可缺乏共识，声明符合 DCO 条款（b）或（c）是不可信的，如果补丁包含这样的生成代码。
因此，QEMU 项目决定目前不接受已知或疑似使用 AI 代码生成器的贡献。这些工具还处于 AI 辅助软件开发的早期阶段，法律问题最终会得到解决，工具也会成熟，我们可以期待一些工具在自由软件项目中安全使用。
QEMU 项目目前的政策是严格和安全的，然后可能会放宽。同时，也可以根据具体情况考虑例外请求。政策声明由 Daniel P. Berrangé 签署，并得到了 Kevin Wolf、Stefan Hajnoczi 和 Alex Bennée 的审核。
文档中还提到，QEMU 项目的政策是拒绝任何被认为包含或源自 AI 生成内容的贡献，这包括 ChatGPT、Claude、Copilot、Llama 等类似工具。AI 辅助软件开发的普及带来了许多法律问题和风险，特别是由大型语言模型（LLMs）生成的内容。
QEMU 社区要求贡献者证明他们的补丁提交符合开发者证书原件（DCO）的规则。为了满足 DCO，补丁贡献者必须完全理解他们贡献给 QEMU 的内容的版权和许可状态。对于 AI 内容生成器，输出的版权和许可状态不明确，没有普遍接受的法律基础。如果训练材料已知，通常包括大量受限制的许可/版权条款的材料。即使训练材料全部已知为开源许可证，也可能包含多种条款，并非所有条款都与 QEMU 的许可要求兼容。
QEMU 项目不愿意或无法接受不合规的法律风险。因此，QEMU 项目要求贡献者在打算提交给项目时避免使用 AI 内容生成器，并且如果已知或怀疑使用了 AI，将拒绝任何贡献。这项政策不适用于 AI 的其他用途，例如研究 API 或算法、静态分析或调试，只要它们的输出不被包括在贡献中。
受此政策影响的工具包括 GitHub 的 Copilot、OpenAI 的 ChatGPT、Anthropic 的 Claude 和 Meta 的 Code Llama，以及基于这些工具构建的代码/内容生成代理。随着 AI 工具的成熟和法律情况的澄清，这项政策可能会发展。在此期间，QEMU 项目将根据具体情况逐案评估对这项政策的例外请求。要获得例外，贡献者需要证明工具的输出与其训练模型和代码的许可和版权状态清晰，以满足项目维护者的要求。
https://news.ycombinator.com/item?id=44382752
http://genius.cat-v.org/richard-feynman/writtings/letters/problems
这个网页是一篇由理查德·费曼（Richard Feynman）撰写的文章，标题为“What Problems to Solve”。文章以费曼收到他的学生小野幸一（Koichi Mano）的来信为起点，小野在信中提到自己正在研究“相干理论及其在电磁波通过湍流大气传播中的应用”，这是一个谦逊且实际的问题。费曼在回信中表达了对小野的担忧，因为他认为小野受到了错误的影响，对什么是有价值的问题有了误解。
费曼在信中指出，真正有价值的问题是那些你能够真正解决或帮助解决的问题，那些你能够真正贡献一些东西的问题。他认为，如果一个科学问题尚未解决，而我们看到了解决它的途径，那么这个问题就是宏伟的。他建议小野从更简单或更谦逊的问题开始，直到找到他能够轻松解决的问题，无论这些问题多么微不足道。费曼强调，成功的喜悦和帮助他人（即使是回答能力不如你的同事的问题）的乐趣不应该因为对价值的错误理解而被剥夺。
费曼提到，当他与小野相遇时，他正处于职业生涯的巅峰，似乎只关心与神明相近的问题。但同时，他还有另一名博士生阿尔伯特·希布斯（Albert Hibbs），正在研究风如何吹过水面形成波浪的问题。费曼接受了他，因为希布斯带着他想要解决的问题来找他。费曼承认，他给小野的问题是一个错误，他没有让小野自己找到问题，而是留给了小野一个关于什么有趣、愉快或重要的错误观念。
费曼分享了自己曾经研究过的无数问题，这些问题小野可能会认为是微不足道的，但他享受并对此感到自豪，因为他有时能够部分成功。这些问题包括：在高度抛光表面上的摩擦系数实验，以了解摩擦是如何工作的；晶体的弹性特性如何依赖于原子间的力；如何使电镀金属粘附在塑料物体上；中子如何从铀中扩散出来；电磁波从玻璃薄膜上的反射；爆炸中冲击波的发展；中子计数器的设计；某些元素为何从 L 轨道而非 K 轨道捕获电子；如何折叠纸张制作特定类型的儿童玩具（称为 flexagons）；轻核的能量水平；以及湍流理论（费曼花费数年时间研究但未成功）等。他还包括了所有“更宏伟”的量子理论问题。
费曼强调，如果我们可以真正对问题有所作为，那么没有问题是太小或太微不足道的。他告诉小野，他不是无名之辈，至少对他的妻子和孩子来说不是，如果他能够回答同事们的问题，他也不会在同事中长久无名。费曼告诉小野，他不应该对自己感到无名——这是一种悲哀的生活方式。他鼓励小野找到自己在世界中的位置，并公正地评价自己，不要基于自己年轻时的天真理想，也不要基于错误地想象他的老师的理想。
最后，费曼祝愿小野好运和幸福，并以真诚的语气结束了信件。
https://news.ycombinator.com/item?id=44379606
这篇文章是关于 SteamOS 和 Windows 11 在游戏性能上的比较测试。文章开头提到，近十年前，Ars Technica 的测试发现 SteamOS 在 Steam 游戏的 Linux 版本上的表现明显不如 Windows。然而，现在的情况有所不同，Ars Technica 在联想 Legion Go S 上的测试发现，近期的游戏在 SteamOS 3.7 上运行的帧率普遍高于 Windows 11。
文章进一步解释说，尽管用户自 2022 年 Steam Deck 发布以来就可以在其上安装 Windows，但 Valve 并未为这种替代硬件使用情况提供官方的“Windows on Deck”支持。相比之下，联想的 Legion Go S 是第一款明确设计为可以与 Windows 11（硬件首次发布于 1 月）或 SteamOS（硬件首次发布于 5 月，与为非 Valve AMD 硬件设计的新版 SteamOS 一同发布）一起工作的便携式游戏设备。
为了测试操作系统选择对性能的影响，测试团队从 Legion Go S 的 SteamOS 版本开始（由联想提供），并测试了五款在过去五年中发布的高端 3D 游戏，使用内置的基准测试工具和两种不同的图形/分辨率级别。之后，他们在掌机上安装了 Windows 11，从联想的支持网站下载了更新的驱动程序，并在 Windows 上通过 Steam 重新运行了相同的基准测试。
文章中提到，在测试过程中，由于游戏报告驱动程序过时，无法在 Windows 上测试《Doom: The Dark Ages》。在调查这个问题时，他们发现了一个方法，可以用华硕为 ROG Ally 发布的更新的 AMD 兼容驱动程序（最后更新于 5 月）替换联想官方的 Legion Go 图形驱动程序（最后更新于 1 月）。这些更新的驱动程序提供了一个更接近 SteamOS 中包含的驱动程序的类比，但不会匹配不通过额外麻烦从其他来源查找和安装“非官方”驱动程序的 Legion Go S Windows 用户的“开箱即用”体验。
文章最后指出，根据包含的图表，SteamOS 在五款测试游戏中的四款中显示出明显的帧率提升。只有《Borderlands 3》在两个操作系统上显示出相当的性能，Windows 在该游戏的基准测试中略微高出一点点帧率。在某些游戏中，更换操作系统可能导致帧率下降 8% 到 36%。
https://news.ycombinator.com/item?id=44381144
https://spectrum.ieee.org/puerto-rico-solar-microgrids
这篇文章讲述了波多黎各的太阳能微电网如何在全岛停电期间保持电力供应。文章开头提到，2024 年 4 月 16 日，波多黎各全岛发生停电，但位于岛中部山区的阿德汉塔斯镇（Adjuntas）由于实验性的微电网、太阳能板和储能设施的结合，许多企业和居民的电力得以维持。而其他地区则需要等待超过 24 小时甚至更长时间才能恢复电力。
文章接着描述了波多黎各老化的电网所面临的一系列电力中断问题。这些问题是由于数十年的管理不善和对电网基础设施的投资不足造成的。2017 年飓风玛丽亚摧毁了电网，导致波多黎各陷入长达数月的黑暗，并造成近 3000 人死亡。飓风之后，波多黎各电力局（PREPA）与私营实体合作，希望修复电网。联邦紧急事务管理局（FEMA）授予了超过 200 亿美元的联邦灾难救助资金，以改善电网并增强其韧性。然而，波多黎各和美国本土的官僚作风和政治阻碍了这些资金的大部分支出。
文章中提到，美国能源部计划将原本用于屋顶太阳能的 3.65 亿美元重新分配给波多黎各主要依赖化石燃料的电网基础设施。这一决定引发了波多黎各太阳能行业和纽约众议员 Nydia Velazquez 的强烈反对。Velazquez 认为这笔资金原本是为了服务岛上的弱势社区。
尽管政治动荡和联邦资金的瓶颈，波多黎各岛上太阳能加储能系统的广泛发展仍在继续，这些系统通过租赁、贷款或购电协议（PPA）私人融资。每个月，岛上大约有 4000 个太阳能加电池储能系统上线，这些装置连接到电网，但在停电期间也能运行。
文章最后提到，阿德汉塔斯镇采取了更实验性的方法。该镇的地方环保非营利组织 Casa Pueblo 与美国能源部橡树岭国家实验室的研究人员合作，开发了一种连接多个微电网以相互交换电力的方法，而无需连接到波多黎各的电网。这种策略被称为电网编排，确保了即使电网出现问题，电力也能在微电网之间流动。
https://news.ycombinator.com/item?id=44382834
https://deepmind.google/discover/blog/alphagenome-ai-for-better-understanding-the-genome/
这篇文章介绍了一个名为 AlphaGenome 的新型人工智能（AI）工具，它旨在更全面和准确地预测人类 DNA 序列中的单变异或突变如何影响广泛的生物过程，特别是那些调控基因的过程。AlphaGenome 的开发得益于技术进步，使得模型能够处理长的 DNA 序列并输出高分辨率的预测。
AlphaGenome 模型接受长达 100 万个字母（即碱基对）的 DNA 序列作为输入，并预测数千种分子属性，这些属性描述了其调控活性。它还可以通过比较突变序列与未突变序列的预测来评分遗传变异或突变的效果。预测的属性包括基因在不同细胞类型和组织中的起始和终止位置、剪接位置、RNA 产量以及哪些 DNA 碱基是可接近的、彼此靠近或被特定蛋白质结合的。训练数据来源于包括 ENCODE、GTEx、4D Nucleome 和 FANTOM5 在内的大型公共联盟，这些联盟实验性地测量了这些属性，涵盖了数百种人类和小鼠细胞类型和组织中的重要基因调控模式。
文章还提到，为了推进科学研究，AlphaGenome 将通过 AlphaGenome API 以预览形式提供给非商业研究使用，并计划在未来发布该模型。作者认为 AlphaGenome 可以成为科学界的宝贵资源，帮助科学家更好地理解基因组功能、疾病生物学，并最终推动新的生物学发现和新疗法的开发。
AlphaGenome 的工作原理是接受长 DNA 序列作为输入，预测不同组织和细胞类型中的多种分子属性。动画展示了 AlphaGenome 如何处理一百万个 DNA 字母的输入，并预测不同组织和细胞类型中的多样化分子属性。这项工具的开发和应用，预示着在基因组学和相关领域中，AI 技术将开启新的发现时代。
https://news.ycombinator.com/item?id=44387659
https://www.anthropic.com/news/claude-powered-artifacts
今天，我们介绍了在 Claude 应用中直接构建、托管和共享交互式 AI 驱动应用程序的能力。现在，开发者可以在不必担心扩展复杂性和成本的情况下，更快地迭代他们的 AI 应用程序。
构建和托管 Claude 驱动的应用程序 以下是我们构建的内容： Claude 现在可以创建通过 API 与 Claude 交互的工件，将这些工件转变为 AI 驱动的应用程序，其中经济模式实际上适用于共享。当有人使用您的 Claude 驱动应用程序时：
开始使用 通过启用这项新的交互功能，在 Claude 应用中开始构建。只需描述您想要创建的内容，Claude 就会为您编写代码。当您一起工作时，Claude 可以根据您的反馈调试和改进自己的代码。一旦您的应用程序准备好，您可以通过链接立即共享——无需部署过程。Claude 负责处理技术细节，如提示工程、错误处理和协调逻辑，使您能够完全专注于将您的想法变为现实。
您可以做什么：
当前限制：
这项功能以 beta 版本提供给免费、专业和最大计划用户。
https://news.ycombinator.com/item?id=44379673
window.claude.complete() 函数到 Artifacts 的操作包装成重大新产品发布，是很好的营销策略。https://lwn.net/SubscriberLink/1025971/73f269ad3695186d/
Libxml2 是一个 XML 解析器和工具包，自其首次发布以来的 25 年里，它被广泛采用于开源项目、商业软件和政府用途中，是开源运动成功与失败的一个典型例子。尽管许多组织乐于使用开源软件，但愿意帮助维持这些软件的组织却相对较少。这导致 libxml2 的当前维护者拒绝了安全禁运，并引发了关于自由和开源项目维护条款的讨论。
Libxml2 的历史可以追溯到 Daniel Veillard 为 GNOME 项目编写的原始 libxml，也称为 gnome-xml。他开发的后续版本 libxml2 于 2000 年初在 MIT 许可下发布，尽管 GNOME 应用程序倾向于使用 GPLv2 许可。在 2000 年代初，Veillard 似乎渴望让其他人在 GNOME 项目之外采用 libxml2。Libxml2 用 C 语言编写，但提供了 C++、Java、Pascal、Perl、PHP、Python、Ruby 等多种语言的绑定。它实现了大量标准，并支持多种操作系统，宣称通过了 OASIS XML 测试套件中的所有 1800 多个测试。在 2004 年互联网档案馆捕获的页面上，没有提到与 bug 报告不同的安全报告处理方式，但那时的情况更简单。
到了 2000 年代末，项目成熟，发布节奏相应减慢。Veillard 继续维护项目，但他的注意力主要集中在其他地方。Nick Wellnhofer 从 2013 年开始定期为项目做出贡献，到 2017 年他为项目做了很多工作，最终承担了大部分发布工作，尽管 Veillard 仍然是官方的发布者。Wellnhofer 也对相关项目 libxslt（用于将 XML 文档转换为其他 XML 文档或 HTML、纯文本等的可扩展样式表语言转换处理器）做出了类似贡献。
2021 年 4 月，Stefan Behnel 抱怨说，自上次 libxml2 发布以来已经过去了将近 18 个月。Veillard 回应说，原因是他工作太忙，而且“在发布之前需要完成一些事情”。这些事情似乎是一个针对 CVE-2021-3541 的安全修复，这是一个可能导致拒绝服务的 libxml2 漏洞。libxml2 2.9.11 和 2.9.12 的发布似乎标志着 Veillard 对项目的最后贡献。随着 Veillard 逐渐退出，Wellnhofer 成为了 libxml2 和 libxslt 的实际维护者，但他在 2021 年 7 月暂时辞职。他一直通过 Chrome 漏洞赏金和其他谷歌项目资助他的工作，但安全研究的回报迅速减少，他看不到再获得最低水平资金的方式。
2022 年 1 月，Wellnhofer 宣布，得益于谷歌的捐赠，他能够恢复对 libxml2 和 libxslt 的维护工作，直到 2022 年。他计划将项目转移到 GNOME 的基础设施，并恢复发布，同时设立一个官方的 libxml2 开发赞助方式。最终，他选择了开源集体作为财政托管人。到目前为止，该项目似乎收到了 11000 美元的巨额资金，其中大部分是以谷歌捐赠的 10000 美元形式，这似乎是 Wellnhofer 为维护 libxml2 直到 2022 年所收到的资金。
到了 2025 年，Wellnhofer 在 5 月 8 日在 libxml2 GitLab 仓库中开启了一个问题，宣布了项目的新安全政策。他表示，他每周花费数小时处理安全问题，这对于一个无偿志愿者来说是不可持续的。作为一个例子，以及可能是最后一根稻草的暗示，目前在 libxml2 问题跟踪器中有四个标记有安全标签的错误。其中三个是由为 Positive Technologies 公司工作的安全性研究员 Nikita Sveshnikov 在 5 月 7 日打开的。其中一个问题是关于可能导致拒绝服务的空指针解引用的报告。它包括一个请求，要求 Wellnhofer 为漏洞提供一个 CVE 编号，并提供预期补丁日期的信息。需要注意的是，libxml2 和 GNOME 都不是 CVE 编号授权机构（CNAs）。
可以争论 Sveshnikov 和其他研究员报告的漏洞有多大价值。Wellnhofer 认为他已经修复了大约 100 个类似的错误，并不认为这类错误是安全关键的。即使它是一个有效的安全漏洞，也很清楚为什么它可能会激怒维护者。报告不是来自项目的用户，也没有尝试修复漏洞的补丁。这是对一个无偿维护者的另一个要求，以便安全研究公司可以夸耀发现以促进其服务。
如果 Wellnhofer 按照维护者的预期脚本行事，他将花费数小时修复错误，与研究员通信，并发布 libxml2 的新版本。Sveshnikov 和 Positive Technologies 将在他们的 CVE 名单上再添一笔，但 Wellnhofer 从这种安排中得到了什么？额外的工作，一个不想要的 CVE，以及对 libxml2 用户微不足道的实际好处。
因此，Wellnhofer 宁愿不遵守禁运和处理安全修复的截止日期，而是像对待任何其他错误一样对待安全问题；问题将在报告和修复后立即公开。Wellnhofer 还宣布他辞去了 libxslt 维护者职务，并表示它不太可能再次被维护。他说，随着安全研究员“紧盯着志愿者的脖子”，这更不可能了。将安全缺陷视为常规错误可能会让一些下游用户感到紧张，但 Wellnhofer 希望这能鼓励更多的贡献。
https://news.ycombinator.com/item?id=44381093
https://www.theatlantic.com/ideas/archive/2025/06/prisoner-populations-are-plummeting/683310/
这篇文章讨论了美国即将到来的监狱人口大幅下降的问题。文章指出，美国长期以来拥有世界上最大的监狱系统之一，但在未来十年，监狱人口可能会大幅减少，甚至超过改革团体的目标。2009 年，美国监狱人口达到 160 多万的峰值，而到 2023 年底，这个数字已经下降到 120 多万，预计还将继续下降到大约 60 万，总体下降约 60%。
文章强调，要理解即将到来的监狱人口下降，需要了解几代人之间犯罪和监禁之间的关系。监狱人口的构成反映了五到二十年前的情况，因为大多数人在青少年或成年早期就开始了他们的犯罪生涯。以 2016 年的数据为例，州监狱中的平均男性已经被逮捕过九次，目前是第六次被监禁，正在服 16 年的刑期。
文章的作者是 Keith Humphreys，他是斯坦福大学精神病学和行为科学教授，也是《成瘾：一个非常简短的介绍》一书的作者，并且是斯坦福成瘾政策网络的成员。文章最后提到了 COVID-19 这一主题，但没有详细展开。
https://news.ycombinator.com/item?id=44379670
2025-06-26 08:25:53
https://blog.google/technology/developers/introducing-gemini-cli-open-source-ai-agent/
Gemini CLI 是一个免费的开源 AI 代理，旨在将 Gemini 的强大功能直接带入开发者的终端，为个人用户提供无与伦比的访问体验。随着开发者对命令行界面的依赖日益增强，对集成 AI 助手的需求也随之增加。因此，Gemini CLI 提供了一种轻量级的方式，使用户可以直接通过终端访问 Gemini 模型。
总之，Gemini CLI 是一个旨在提升开发者工作效率的强大工具，它的多功能性和高使用限额使其成为开发者日常工作的得力助手。
https://news.ycombinator.com/item?id=44376919
https://www.cottongeeks.com/articles/2025-06-24-fun-with-uv-and-pep-723
这篇文章介绍了如何使用 uv 和 PEP 723 来简化 Python 脚本的运行和管理。作者曾因 Python 环境配置的复杂性而感到沮丧，但现在有了 uv，这个问题已成为过去。
uv 是一个用 Rust 编写的极快的 Python 包和项目管理工具。uv 提供了一个名为 uvx 的工具，类似于 Node/NPM 生态系统中的 npx，用于在包内调用 Python 工具。uvx 负责创建一个（缓存的）一次性虚拟环境，设置正确的 Python 版本，并在运行之前安装所有依赖项。
文章还提到了 PEP 723，这是一个 Python 增强提案，它规定了一种可以嵌入到单文件 Python 脚本中的元数据格式，以帮助启动器、IDE 和其他外部工具与这些脚本交互。
作者通过一个示例展示了如何使用 uv 和 PEP 723 元数据来运行 Python 脚本。通过结合 uv 和 PEP-723 元数据，可以轻松地运行嵌入了元数据的 Python 脚本。
文章还提供了一个更实用的示例，即从可执行的 Python 脚本中提取 YouTube 字幕。首先创建一个带有 shebang 和内联元数据的 Python 脚本，然后将其保存为 ytt 并使其可执行。通过运行脚本，可以提取 YouTube 视频的字幕。
最后，作者提到了使用 uv 和 PEP 723 可以为运行 Python 代码提供更多可能性。作者曾更喜欢使用 Go 语言编写一次性脚本，因为它易于创建自包含的二进制可执行文件。但现在有了 uv，作者用 Python 编写了一个快速的 MCP 服务器来提取 YouTube 字幕，并在 GitHub 上分享了这个项目。
https://news.ycombinator.com/item?id=44369388
https://www.programmax.net/articles/png-is-back/
这篇网页文章的主题是关于 PNG 格式的最新发展。以下是文章的中文摘要：
PNG 格式复兴 文章开头提到，一个新的 PNG 规范刚刚发布，这是令人兴奋的消息。PNG 在停滞了二十多年后，重新回到了它昔日的辉煌。美国国会图书馆、加拿大图书馆和档案馆以及澳大利亚国家档案馆都推荐使用 PNG 格式。保持 PNG 的更新和竞争力非常重要。
新特性介绍 文章接着介绍了 PNG 新规范的几个新特性：
背景 文章回顾了上一个 PNG 规范是在 20 多年前发布的，自那以后技术进步了很多。事实上，技术进步是 PNG 复兴的原因。W3C Timed Text 工作组（负责字幕）需要在 PNG 中支持 HDR，提出了一个提案，但一些专家认为我们可以做得更好。随着动力的积累，更多的利益相关者变得感兴趣。现在，我们有来自 Adobe、苹果、BBC、Comcast/NBCUniversal、谷歌、MovieLabs 以及维护规范的 W3C 的代表。这是一个梦幻团队。
已经支持新规范的程序 文章指出，许多你正在使用的程序已经支持新的 PNG 规范，包括 Chrome、Safari、Firefox、iOS/macOS、Photoshop、DaVinci Resolve、Avid Media Composer 等。此外，一些广播公司也在更新硬件和工具以支持新的 PNG 规范。
未来展望 文章最后提到，人们可能会立即想到更好的压缩技术。作者表示，他们已经在研究这一点，以及并行编码/解码技术。他们希望确保正确地完成这些工作。预计下一个 PNG 更新（第四版）将是短暂的，将改善 HDR 和标准动态范围（SDR）的互操作性。同时，他们将研究 PNG 第五版的压缩更新。
感谢 文章最后感谢了 PNG 工作组的参与者，使这一切成为可能，并鼓励读者向他们表达对他们辛勤工作的感激之情。
https://news.ycombinator.com/item?id=44373504
https://www.dublinlive.ie/news/world-news/man-refused-entry-us-border-31925059
这篇文章报道了一起发生在美国的事件，涉及一名 21 岁的挪威游客。该游客声称，他在新泽西州的纽瓦克机场被美国边境控制人员拒绝入境，并遭受了骚扰。原因是边境控制人员在他的手机上发现了一个描绘 JD Vance（美国政治人物）为秃头的表情包。
挪威游客名叫 Mads Mikkelsen，他于 6 月 11 日抵达纽瓦克机场，计划前往美国访问朋友，先是在纽约，然后去德克萨斯州的奥斯汀。然而，他遭遇了美国移民当局的“骚扰和滥用权力”。Mads 表示，他感到被歧视、怀疑，甚至在机场众多人面前感到羞辱。他被带到一个有多名武装警卫的房间，在那里他被关押了几个小时，期间被反复审问关于手机上的表情包。
文章中提到，Mads 认为自己因为一个无害的表情包而受到了不公平的对待。他的经历被挪威媒体 Nordlys 报道，引起了人们对美国边境控制政策和对待外国游客方式的关注。
https://news.ycombinator.com/item?id=44369140
网站标题：厚币（Thick Coins）由西奥多・尼科尔斯（Theodore Nichols）创作
** 欢迎信息 **：西奥多・尼科尔斯欢迎大家来到他的网页。
** 最新动态 **：
** 厚尼克尔的介绍 **：
** 创意来源 **：西奥多讲述了他创作 “厚尼克尔” 的原因。他曾遭遇小偷入侵，利用装有硬币的袋子来吓唬小偷，但小偷对此毫不在乎，最终不仅失去了硬币，还失去了他最喜欢的扫帚。这让他感到非常羞辱，因此他决心不再让自己的零钱受到轻视。
** 铸币工厂 **：他把自己的车库改造成了铸币厂，致力于生产足够的 “厚尼克尔”，以满足人们对尊重的需求。他的新设施装备了多种工具，致力于高效生产。
** 宣传与联系方式 **：
总体来说，西奥多・尼科尔斯通过创作 “厚尼克尔” 来寻求尊重，并呼吁大家支持他的事业和产品。
https://news.ycombinator.com/item?id=44372424
https://github.com/microsoft/edit
这个网页是关于一个名为“microsoft/edit”的项目，它是一个简单的文本编辑器，旨在向经典的 MS-DOS 编辑器致敬，同时提供现代化的界面和类似于 VS Code 的输入控制。该项目的目标是提供一个易于使用的编辑器，即使是对终端不太熟悉的用户也能轻松使用。
安装指南：
用户可以从项目的 Releases 页面下载二进制文件进行安装。对于 Windows 用户，可以通过 WinGet 安装最新版本的编辑器，使用命令 winget install Microsoft.Edit。
构建指南：
rustup install nightly。RUSTC_BOOTSTRAP=1。cargo build --config .cargo/release.toml --release。给包维护者的注意事项：
关于： 项目的核心理念是“我们都在编辑”。它涉及的主题包括编辑器、Rust 语言、终端和文本编辑器。
资源：
项目活动：
贡献者：
编程语言：
以上摘要涵盖了网页主体的主要内容，包括项目介绍、安装和构建指南、注意事项、项目资源和活动等。
https://news.ycombinator.com/item?id=44372380
https://george.mand.is/2025/06/openai-charges-by-the-minute-so-make-the-minutes-shorter/
这篇文章由 George Mandis 撰写，主题是关于如何提高 OpenAI 音频转录的速度和降低成本。文章的核心观点是，通过加速音频文件，可以在转录时减少使用的令牌数量，从而节省时间和成本。
文章开始时，作者提出了一个简单的解决方案：在转录之前，使用 ffmpeg 将音频加速到 2 倍或 3 倍速度。这样做可以在几乎不影响转录质量的情况下，减少等待时间和令牌消耗。作者提供了一个脚本，结合了他最喜欢的工具和技巧，包括 yt-dlp、ffmpeg 和 llm，用于提取视频音频、加速音频并将其发送给 OpenAI 进行转录。
作者分享了他是如何意外发现这个技巧的。他试图总结一个 40 分钟的 Andrej Karpathy 的演讲，但最初没有使用 YouTube 提供的自动转录功能，因为他错误地认为它不可用。他尝试了其他方法，包括使用一个旧的脚本来从视频 URL 中提取音频，并通过 whisper 本地转录，但由于电池电量不足，他决定尝试使用 OpenAI 的 API。
在测试 OpenAI 的转录工具时，作者发现使用 whisper-1 模型虽然慢，但可以完成任务。出于好奇，他尝试了新的 gpt-4o-transcribe 模型，这个模型设计用于处理多模态输入并承诺更快的响应。然而，他遇到了一个问题：音频长度限制为 25 分钟，而他的音频文件接近 40 分钟。
作者考虑了修剪音频的可能性，但发现没有明显的 14 分钟可以剪掉。他突然想到，为什么不在发送之前加速音频呢？人们经常以 1-2 倍的速度听播客。他编写了一个快速脚本，将音频加速到 2 倍速度，然后将文件发送给 OpenAI，结果非常成功。
文章进一步探讨了为什么这种方法有效，作者将其与优化图像和人类大脑对文本错误的容忍能力进行了比较。加速音频会丢失一些微妙的声音和偶尔的短词，但这似乎并不影响理解能力。转录模型似乎在这方面也做得很好。
最后，作者探讨了这种方法是否真的能节省金钱。他发现，OpenAI 根据音频令牌收费，这些令牌随着输入的持续时间而变化。更快的音频意味着更少的秒数和更少的令牌。他提供了一些基于 40 分钟音频文件的成本数据，显示在 3 倍速度时输入令牌的成本减少了 33%。然而，转录模型的大部分成本仍然是输出令牌。他还注意到，2 倍和 3 倍速度版本的输出令牌数量完全相同，这可能是因为输出令牌反映了模型理解和总结输入的能力，而“总结”（即减少令牌）版本的相同音频产生了相同程度的理解力。这也可能是使用 gpt-4o-transcription 模式进行转录时，通常有 4,096 个令牌上限的反映。
https://news.ycombinator.com/item?id=44376989
https://www.archives.gov/college-park
美国国家档案馆位于马里兰州的 College Park，这里保存着联邦机构创建的永久记录，包括：
馆藏亮点包括照片和图形作品、文本记录等。此外，还提供了馆藏地点和开放时间的信息。美国国家档案馆 College Park 分馆的地址是 8601 Adelphi Road, College Park, MD 20740。客户服务中心电话为 1-866-272-6272，失物招领电话为 301-837-2900，电子邮件地址为 [email protected]。研究室开放时间为周一至周五，上午 9 点至下午 5 点。强烈建议预约研究时间，但也可以作为临时访客进行研究。研究预约可以通过 Eventbrite 在国家档案馆 DC 地区研究预约页面上进行。
研究人员可以通过 [email protected] 进行预先咨询，并通过 [email protected] 进行研究者注册或研究室预约问题咨询。特殊媒体咨询和预约问题可以联系以下邮箱：地图咨询 [email protected]，静态图片咨询 [email protected]，动态影像和声音咨询 [email protected]。
网页还提供了历史研究的链接，包括查找助手、军事记录、在线研究工具、订购信息等。此外，还有经常被请求的记录，如肯尼迪遇刺记录、一战记录、越南战争记录和柏林文件中心缩微胶片。
计划访问的访客可以找到前往建筑的方向、查看研究室政策，并了解到达时的预期情况。此外，还提供了联系我们部分，包括关键员工和部门的电话号码和电子邮件地址。
在线研究工具和数据库、志愿者和实习机会、教育者资源以及与我们的联系信息也在网页上提供。社交媒体链接包括 Facebook、Twitter 和 Instagram。
网页还提到了一些最新动态，例如 2022 年 7 月 8 日起，记录组 241（美国专利商标局记录）的部分系列将暂时关闭，以准备搬迁至堪萨斯城的国家档案馆。越南战争时期的美国海军甲板日志将因与退伍军人事务部的数字化协议而对研究关闭。A2 的一些记录将于 12 月 20 日关闭，包括 1976-78 年的美国海军船只和站点日志簿，以及 1956-75 年的日志簿。数字化完成后，预计最早在 2020 年初，个别甲板日志将可供研究。数字化是为了支持退伍军人索赔的处理，也将支持更大的公众访问。
此外，文本研究现在可以使用 ScanSnap 供个人使用。在恶劣天气情况下，可以查看我们的运营状态、Facebook 和 Twitter。通过 OPM 网站或拨打 301-837-0700 的状态线，了解华盛顿特区地区的运营状态，是否有关闭、晚开或早关的公告。
最后，网页还提供了媒体画廊，展示了越南战争期间美国军事摄影的作品，以及即将举行的活动和网络活动信息。
https://news.ycombinator.com/item?id=44371169
https://flak.tedunangst.com/post/forbidden-secrets-of-ancient-X11-scaling-technology-revealed
这篇文章讨论了 X11 显示服务器在 DPI 缩放、分数缩放和多显示器支持方面的一些误解和挑战。作者通过尝试实现一个简单的任务——在不同尺寸和分辨率的屏幕上绘制一个始终为两英寸大小的圆形，来探索 X11 的缩放能力。尽管有人认为这是不可能的，但作者通过实际尝试发现，通过适当的编程和配置，X11 确实能够支持这些功能。
文章首先介绍了作者收集的不同尺寸和分辨率的屏幕信息，包括笔记本电脑屏幕、桌面显示器和大屏幕电视。作者使用 OpenGL 和简单的着色器来绘制圆形，并在代码中定义了一个关键变量 radius，用于确定圆的像素大小。通过监听 X 服务器的配置事件，程序能够根据窗口的移动或大小变化来调整圆的大小。
作者进一步解释了如何从 X 服务器获取所需的屏幕信息，包括物理宽度和虚拟宽度，并使用这些信息来计算圆的半径，以保持其在不同屏幕上的实际大小不变。文章中还提到了一些额外的代码处理，如处理暴露事件和绘制循环，以确保圆能够在不同显示器之间正确地调整大小。
最后，作者通过在不同显示器上显示圆形的视觉效果来证明 X11 确实能够支持 DPI 缩放和多显示器配置。尽管在实际操作中遇到了一些挑战，如测量电视尺寸的不准确，但作者成功地在不同设备上实现了目标。文章以作者对那些认为某些事情不可能的人的反思结束，鼓励读者不要轻信他人的说法，而应该亲自尝试和探索。作者还提到，他不仅成功地在笔记本电脑上运行了程序，甚至在另一个房间的路由器上运行了程序，一切都像魔法一样工作正常。
https://news.ycombinator.com/item?id=44369646
https://shkspr.mobi/blog/2025/06/reading-nfc-passport-chips-in-linux/
这篇文章是关于如何在 Linux 系统中读取护照中的 NFC 芯片数据。作者出于合法而非恶意的原因，希望读取自己护照 NFC 芯片中的所有数据。经过一番搜索，作者选择了 roeften 的 pypassport 工具来实现这一目的。
护照中的 NFC 芯片受到密码保护，密码印在护照的内页上。除了需要物理接触护照以进行 NFC 读取外，还需要能够看到密码。密码印在“机器可读区域”（MRZ）上，这也是为什么一些边境守卫会在扫描芯片前先通过读卡器扫描护照；他们需要密码，不想手动输入。
作者使用的是已作废的旧护照，作废不仅仅是撤销文件，还会物理上改变护照：剪掉个人资料页左下角，确保剪掉照片对面的 MRZ 角落。因此，MRZ 的一部分缺失了！
密码由三部分组成：护照号码（字母和数字）、出生日期（YYMMDD）和有效期（YYMMDD）。每个部分都有一个校验和，整个字符串也有一个校验和。当护照封面被剪掉时，最终的校验和会被剪掉。最终密码格式为：号码 号码-校验和 出生日期 出生日期-校验和 有效期 有效期-校验和 校验和。
如果知道护照号码、出生日期和有效期，可以生成自己的机器可读区域（MRZ），这作为 NFC 芯片的密码。
文章提供了一个 Python 3 的函数，用于计算校验和和生成 MRZ。通过这个函数，可以生成用作 NFC 芯片密码的 MRZ。
作者本以为剪掉护照封面会破坏内部的天线，但根据英国的指导原则，不应该剪掉电子护照的后封面，因为 NFC 芯片就在那里。这可能是为了确保即使护照被作废，仍然可以验证其真实性。
安全性方面，使用的是标准的公钥加密技术，文档 9303 第 11 部分详细解释了这一点。由于芯片没有计时器，它无法知道被读取的频率。可以对芯片进行数千次密码尝试而不被锁定。
理论上，暴力破解是可能的，但考虑到护照有效期通常为 10 年，有 36525 个可能的有效期。护照持有人通常不到 100 岁，这意味着有 3652500 个可能的出生日期。这已经是 133407562500 次尝试，还没有涉及到 1E24 个可能的护照号码。在作者的实验中，发送错误的 MRZ 会导致芯片在短时间内返回“安全状态不满足（0x6982）”。但如果知道目标的护照号码和生日，暴力破解有效期可能需要几天时间，不是瞬间，但也并非不可能。
如果暴力破解 MRZ，可以发现护照持有人的出生日期。此外，还可以获得他们的数字照片、全名、性别、发行国家和国籍等信息。所有这些信息都可以通过查看护照获得，因此尝试电子读取的价值不大。
作者使用的是 https://github.com/roeften/pypassport。需要安装的库是 pyasn1，使用 pip3 install pyasn1 安装。下载 PyPassport 后，在同一个目录下创建一个测试 Python 文件，以查看是否可以读取护照。文章提供了一个示例代码，用于测试护照是否可以被读取。
护照数据的结构有些复杂。规范将数据放入不同的“数据组”中，每个数据组都有自己的 ID。通过运行 ep.keys()，可以看到可用的数据组。在作者的情况下，有[‘60’, ‘61’, ‘75’, ‘77’]。60 是公共区域，包含一些元数据。61 是 DG1，包含完整的 MRZ，包含持有人的姓名、性别、国籍等。77 是文档安全对象，对作者来说是空的。75 是 DG2 到 DG4 生物特征模板，包含图像和其他元数据。
文章最后提到，通过打印 ep[“75”]，可以获得一些有趣的元数据，包括拍摄日期、表情、眼睛颜色、面部图像块长度、面部图像类型、特征掩码、特征点代码、特征类型、水平位置、保留位、垂直位置等信息。
https://news.ycombinator.com/item?id=44374574
2025-06-25 07:45:19
- 编写玩具软件是一种乐趣，强调通过创造学习的重要性。
- 美国化学安全委员会可能被取消，引发对化学安全和工人安全的担忧。
- Starship 是一个快速、可定制的提示符工具，适用于多种 shell 环境。
- 尽管 AI 兴起，手动编码仍是软件开发中的关键技能。
- 在 Power Mac G3 ROM 中发现了一个 27 年前的复活节彩蛋。
- 测试报告显示塑料制品中可能含有化学物质，需关注食品安全。
- NO FAKES 法案的新版本可能加剧互联网言论审查和创新限制。
- 法官否认创建“大规模监控计划”，维持 OpenAI 保留 ChatGPT 日志的命令。
- FICO 信用评分将纳入“先买后付”贷款数据，可能影响消费者信用记录。
- 在 Docker 化的 Flask/Django 应用中，使用 uv 替代 pip 可提升构建速度和效率。
https://blog.jsbarretto.com/post/software-is-joy
这篇文章讨论了为什么编写玩具软件是一种乐趣，并鼓励读者尝试编写更多的玩具程序。文章开头引用了理查德·费曼的名言：“我不能创造的东西，我就不能理解”，并强调通过创造来学习的重要性。作者认为，尽管有人建议避免重新发明轮子，但亲手制作自己的轮子能让人更深刻地理解其工作原理。
文章指出，在 2025 年，软件编写的美丽和工艺正在被侵蚀，人工智能威胁要取代我们，软件开发越来越商品化、量化、打包和工业化。作者认为，软件开发需要更多的简单乐趣，而创建玩具程序是重新找回与计算机工作初衷的好方法。
文章强调保持简单的重要性，玩具程序遵循 80:20 规则，即 20% 的工作量实现 80% 的功能。目标不是构建生产级别的软件，而是避免过度工程化，只编写实现目标所必需的代码。作者建议在被迫实现某个功能以取得进展之前，让每个代码路径都 panic/crash。作者惊讶地发现，构建一些之前认为难以创建的软件的玩具版本其实相当容易。
文章还提到了编写玩具程序的其他好处，比如在玩具项目中学到的深奥知识在日常工作中的实用价值，以及通过直接面对软件的约束来获得对这些约束的洞察，甚至可能想出一些新颖的解决方案。
接下来，文章列出了作者在过去 15 年中尝试过的一些玩具程序，按照难度和所需时间进行评级，并提供了一些有用的资源。这些程序包括：
文章最后提到，通过编写这些玩具程序，作者获得了对计算机图形学和数学的深刻理解，以及对软件和硬件工作的欣赏。
https://news.ycombinator.com/item?id=44367084
https://www.ishn.com/articles/114776-us-chemical-safety-board-could-be-eliminated
这篇文章讨论了美国化学安全和危险调查委员会（CSB）可能在 2026 年被取消的问题。以下是文章的中文摘要：
特朗普政府提议在 2026 年财政年度预算中取消美国化学安全和危险调查委员会（CSB），理由是财政责任和与现有监管机构的重复。这一提议在国会引起了两党反对，并在业界引起了担忧。
CSB 成立于 1990 年，自 1998 年运作，是一个独立的联邦机构，负责调查工业化学事故。总部位于华盛顿特区，委员会成员由总统任命，参议院确认。CSB 对固定工业设施的化学事件进行根本原因分析，并发布安全建议以防止未来发生。尽管 CSB 没有监管权力，但其发现影响了环保局（EPA）和职业安全健康管理局（OSHA）的政策。CSB 的调查人员包括化学和机械工程师、工业安全专家以及其他在私营和公共部门有经验的专家。许多调查人员拥有多年的化学工业经验。
CSB 目前只有三名参议院确认的成员，低于其完整的五名成员，但仍然发布重大安全报告，包括其最新的关于路易斯安那州霍尼韦尔设施的三起灾难性事件的报告。在 CSB 的 25 年历史中，该机构已经部署到超过 170 起化学事件，并发布了超过 1000 项建议，这些建议在各种行业中带来了许多安全改进。
CSB 在达到化学事件现场后，调查人员开始工作，通过详细访谈目击者，如工厂员工、经理和邻居。从事故现场获得的化学样品和设备被送往独立实验室进行测试。调查人员审查公司的安全记录、库存和操作程序，以了解事故的情况。
CSB 在其公共安全任务下，对固定工业设施的化学事故进行根本原因调查。根本原因通常是安全管理系统的缺陷，但也可能是任何如果该因素没有发生就能防止事故的因素。其他事故原因通常涉及设备故障、人为错误、不可预见的化学反应或其他危险。该机构不发布罚款或引文，国会设计 CSB 为非监管和独立于其他机构，以便其调查增强公共安全、工人安全并通知行业。
事故调查和危险调查都会导致新的安全建议，这些是委员会实现积极变化的主要工具。建议发布给政府机构、公司、行业协会、工会和其他团体。CSB 工作人员跟踪和监控每项安全建议的实施。当建议的行动已经令人满意地完成时，建议可以通过董事会投票关闭。
虽然一些建议可能立即被采纳，但其他建议需要大量的努力和倡导才能实现实施。董事会成员和工作人员努力促进基于 CSB 建议的安全行动。在许多情况下，CSB 调查的经验适用于许多被调查公司之外的组织。许多 CSB 建议已经在行业中实施，导致更安全的工厂、工人和社区。
关注的关键领域包括：
关于提议关闭的细节： 白宫管理和预算办公室（OMB）表示，关闭 CSB 符合努力使国家走向财政责任和重新定义联邦政府角色的努力。预算文件指定，CSB 的资金应该在 2026 年 9 月 30 日之前“永久取消”。
值得注意的是，CSB 自己的 2026 财年预算请求为零美元，语言暗示其职能与 EPA 和 OSHA 重复。然而，前 OSHA 官员 Jordan Barab 将此描述为“非常不寻常”，暗示这一请求可能是由白宫强加的，而不是来自 CSB 领导层。
为什么这对地球很重要： 关闭 CSB 将削弱在工业事故构成日益增长的环境和公共健康风险时对化学安全的联邦监督。
CSB 的调查不仅防止重复灾难，还提供了关于污染、工作场所安全和危险材料管理的重要见解。
它的缺席可能会减慢或停止环境正义的进展，特别是在位于工业区附近的前线社区。
阻碍增强重要安全建议的合作，以填补联邦和州法规与地方条例之间的当前差距。
支持化学工业需要保护工人、公众和环境免受伤害。
关闭 CSB 是一个错误：
https://news.ycombinator.com/item?id=44361430
这个网页是关于 Starship 这个项目的介绍和安装指南。Starship 是一个为任何 shell 设计的最小、极速且无限可定制的提示符工具。
兼容性：
可定制性：
先决条件：
快速安装：
安装步骤：
~/.bashrc 文件末尾添加 eval "$(starship init bash)"。~/.config/fish/config.fish 文件末尾添加 starship init fish | source。~/.zshrc 文件末尾添加 eval "$(starship init zsh)"。Microsoft.PowerShell_profile.ps1 文件末尾添加 Invoke-Expression (&starship init powershell)。Cmd 安装：
starship.lua 的文件，并将其放置在 Clink 脚本目录中，文件内容为加载 Starship 初始化 Cmd 的 Lua 脚本。网页的内容结构清晰，提供了 Starship 的概述、兼容性、可定制性、安装前的准备、详细的安装步骤以及不同 shell 的配置方法。通过这些信息，用户可以了解到如何在自己的系统中安装和配置 Starship，以及如何利用其强大的自定义功能来优化自己的命令行界面。
https://news.ycombinator.com/item?id=44364874
history 功能默认不写入时间戳，需要手动开启。git status 更可靠。git status，认为这样足够了。https://www.techinasia.com/news/github-ceo-manual-coding-remains-key-despite-ai-boom
GitHub CEO 托马斯·多姆克（Thomas Dohmke）在“与马特·图克的疯狂播客”（The MAD Podcast with Matt Turck）上强调了在软件开发中，即使人工智能工具变得普遍，保留手动编码技能的重要性。多姆克表示，开发者需要能够修改由人工智能生成的代码，以防止生产力问题。他描述了一个有效的工作流程，其中人工智能工具生成代码并提交拉取请求，开发者可以利用他们的编程技能立即进行调整。他警告说，完全依赖自动化代理可能会导致效率低下，例如，花费太多时间用自然语言解释简单的更改，而不是直接编辑代码。
此外，多姆克还讨论了“氛围编码”（vibe coding），这是由 OpenAI 联合创始人安德烈·卡帕西（Andrej Karpathy）引入的一个术语，用来描述过度依赖人工智能生成的代码。
以下是一些值得思考的观点：
https://news.ycombinator.com/item?id=44359938
https://www.downtowndougbrown.com/2025/06/finding-a-27-year-old-easter-egg-in-the-power-mac-g3-rom/
Doug Brown 在其博客中分享了他在探索原始 Power Macintosh G3 的 ROM 时意外发现的一个 27 年前的复活节彩蛋，这个彩蛋之前从未被记录过。Doug 在 2025 年中旬回顾了这个发现，并感叹 Power Mac G3 已经过去了 27 年。
Doug 的探索始于一个懒散的周日，他使用 Hex Fiend 和 Eric Harmon 的 Mac ROM 模板（ROM Fiend）查看 Power Mac G3 ROM 中存储的资源。这个 ROM 被用于 1997 年至 1999 年的米色桌面型、迷你塔式和一体式 G3 型号。
在浏览 ROM 时，Doug 注意到了两件事：首先是类型为 HPOE 的资源，其中包含了一张可能是参与这些 Mac 型号工作的人员的 JPEG 图片。这并不是新发现，Pierre Dandumont 在 2014 年就写过关于它的文章。但在他的文章中，他没有弄清楚如何在实际机器上显示这张隐藏的图片。许多旧的 Mac 都有秘密的按键组合来显示类似的图片，但显示这一张的机制一直是个谜。
其次，Doug 发现了一个重要的线索：在 ROM 中寻找其他有趣的信息时，他偶然发现了资源 ID 43，命名为“Native 4.3”。得益于 Keith Kaisershot 之前对 Pippin 的研究，Doug 很快得出结论，这是 PowerPC 原生 SCSI Manager 4.3 代码。SCSI Manager 并不是引起 Doug 兴趣的地方，而是在数据的最后，他发现了一些有趣的 Pascal 字符串，特别是“secret ROM image”文本，看起来可能与上面的图片有关。Doug 决定深入研究，看看是否能够弄清楚为什么 SCSI Manager 包含这些字符串，希望能找到如何指示 Power Mac G3 显示这张图片的方法。
通过互联网搜索“secret ROM image”这个短语，Doug 发现它曾被用于早期 PowerPC Macs 的复活节彩蛋。在那些机器上，你只需要输入文本，选择它，然后拖到桌面上，图片就会出现。但在 G3 上这种方法不起作用。
Doug 怀疑有一种类似的方法可以访问这个隐藏的图片，但没有人记录过，至少他没有找到。所以他不得不反汇编代码，看看这个文本在哪里被使用。他提取了整个 nitt 资源 ID 43 到一个文件并进行了检查，发现这是一个 PowerPC PEF 可执行文件的头部。他将整个文件输入 Ghidra，Ghidra 立即识别出它是一个 PEF 文件并且能够顺利加载。虽然 Doug 对阅读 x86 和 ARM 汇编代码很熟悉，但他对 PowerPC 汇编代码几乎一无所知。幸运的是，Ghidra 的反编译器对这份文件工作得很好。
然而，Ghidra 没有检测到任何对“secret ROM image”字符串的引用，除了在一大堆指向变量的指针列表中。经过一番思考，Doug 意识到 Ghidra 在寻找几个变量的引用时做得不是很好。幸运的是，在初始分析后再次运行自动分析似乎帮助它找到了更多的引用，包括所有他感兴趣的字符串。他没有改变分析器的任何选项；它只是在第二次运行时找到了更多的东西。
使用这些字符串的函数肯定与.EDisk 驱动程序有关，Doug 已经知道这是 RAM 磁盘驱动程序，因为他过去的黑客行为。它似乎在使用 strncmp()来检查一个字符串是否等于“secret ROM image”，如果是，它将创建/打开/写入一个名为“The Team”的文件。
Doug 通过给变量命名和确定数据类型来清理了这次反编译，幸运的是，像 PBGetVInfoSync()这样的函数有很多公开文档，所以他只需要告诉 Ghidra 正在使用的 Mac Toolbox 结构。
反编译的代码显示，它寻找一个名为.Edisk 的驱动程序（驱动程序实际上名为.EDisk，但 Mac OS 对这个不区分大小写）。它找到一个与该驱动程序相关的磁盘（RAM 磁盘）。它寻找一个与该磁盘相关的卷。如果卷被命名为“secret ROM image”：它加载 HPOE 资源 ID 1，其中包含 JPEG 图像数据。它创建一个名为“The Team”的文件，创建者为 ttxt，类型为 JPEG。它打开文件，将 JPEG 数据写入其中，然后关闭文件。然后它做了一些与驱动程序控制条目相关的事情，Doug 没有进一步理解。
Doug 发现这段代码显然在寻找被命名为“secret ROM image”的 RAM 磁盘，但他不确定如何触发它。这个函数只在另一个地方被调用：另一个函数，它检查其第一个参数是否等于值 0x3DA（十进制 986）。
Doug 没有他的米色 G3 来捣鼓，所以他在#mac68k 上提到了他在 Libera 的发现。^alex 在 Infinite Mac 中玩弄了一番后，根据 Doug 给出的提示，他们很快发现窍门是格式化 RAM 磁盘，并在格式对话框中输入特殊文本。Doug 拿出他的桌面 G3，在实际硬件上测试了它，确实有效！如果你想亲自尝试，就像 ^alex 一样，你可以使用这个链接在浏览器中运行 Infinite Mac，它设置了一个模拟的米色 G3 运行 Mac OS 8.1 使用 DingusPPC。有一个小问题导致它在启动时无法解析别名。Doug 故意禁用了它；当错误弹出时，只需点击停止。这里是指令：
在内存控制面板中启用 RAM 磁盘。 从特殊菜单中选择重新启动。 桌面回来后，选择 RAM 磁盘图标。 从特殊菜单中选择擦除磁盘。 像上面显示的那样精确输入 secret ROM image 文本。 点击擦除。 当你打开新格式化的 RAM 磁盘时，你应该看到一个名为“The Team”的文件： 如果你双击文件，SimpleText 将打开它： 根据包括 Doug 自己在内的各种人的测试，这个技巧可以一直工作到 Mac OS 9.0.4，但 9.1 可能是它最终停止工作的版本。
据 Doug 所知，这个特定的秘密直到现在才被发现。人们肯定知道 ROM 中有这张图片，但没有人知道如何实际激活它。这可能是在 Steve Jobs 据说在 1997 年返回苹果公司时禁止复活节彩蛋之前，Mac 中存在的最后一个复活节彩蛋。他想知道 Steve Jobs 是否知道这一个？
特别感谢 ^alex 发现需要擦除 RAM 磁盘才能激活复活节彩蛋！他不确定自己会想到尝试那个，而且会花很多时间…
https://news.ycombinator.com/item?id=44365806
这个网页提供了一份关于塑料制品中化学物质含量的测试报告。报告中包含了一些重要的免责声明和阅读指南，强调这些数据不应被视为高置信度的结论，而是作为进一步研究的起点和启发。以下是网页内容的详细中文摘要：
免责声明： 网页首先提醒读者，这些测试结果并不代表最终结论，也不应作为制定政策建议或个人购买决策的依据。这些结果仅代表对一小部分产品样本的即时测试，可能无法代表实际产品中的含量。所有测试都存在不确定性，不同的测试方法可能会导致不同的结果。报告中深色值表示在数据集中的高百分位数，但并不一定表示存在问题。食品中化学物质的存在并不自动意味着有害。网页鼓励对这些结果进行复制，并欢迎任何纠正。
如何阅读数据： 网页提供了一个下载 TSV 文件的链接，以便用户可以获取最新的数据。报告中的数据以表格形式展示，包括每克塑料中的化学物质含量（以纳克为单位），以及每份食物中的化学物质含量（同样以纳克为单位）。表格还提供了不同年龄段（儿童和成人）的欧洲食品安全局（EFSA）临时每日摄入量（TDI）百分比和美国环保署（EPA）参考剂量（RfD）百分比，这些都是针对 14 公斤和 70 公斤体重的儿童和成人的。
数据解读： 网页解释了如何阅读这些数据，但具体的数值和百分比没有在摘要中提供。报告中的数据被用来评估塑料制品中化学物质的含量，并与安全摄入量标准进行比较。这些数据可以帮助了解塑料制品中化学物质的潜在风险，但需要更多的研究和测试来确定其对健康的确切影响。
总结： 网页强调了对塑料制品中化学物质含量的关注，并提供了一份初步的测试报告。这份报告旨在激发更多的研究和讨论，而不是提供最终的结论。网页鼓励读者保持谨慎，并期待未来的研究能够提供更准确的数据和结论。
https://news.ycombinator.com/item?id=44366548
https://www.eff.org/deeplinks/2025/06/no-fakes-act-has-changed-and-its-so-much-worse
这篇文章讨论了《NO FAKES 法案》的变化及其对互联网言论和创新可能产生的负面影响。《NO FAKES 法案》旨在解决由生成性人工智能（AI）创造的“复制品”引起的错误信息和诽谤问题，但该法案已经演变成可能永远改变互联网的东西，损害言论和创新。
《NO FAKES 法案》试图通过创建一个广泛的新知识产权来解决对生成性 AI 创造的“复制品”的合理担忧。这种方法是第一个错误：它没有给予人们针对性的工具来保护免受有害的误代表，而是平衡了保护合法言论（如模仿和讽刺）的需求，而是将原始的 NO FAKES 变成了联邦化的图像许可系统。
更新后的法案加倍了最初的错误方法，要求为该系统建立一个全新的审查基础设施，不仅包括图像，还包括用于创建它们的产品和服务，几乎没有防止滥用的保障措施。
新版本的 NO FAKES 要求几乎所有的互联网守门人创建一个系统，该系统将：a) 在收到通知后删除言论；b) 保持删除任何反复出现的实例——这意味着，在已经存在严重缺陷的版权过滤器之上，采用不可避免的过度复制品过滤器；c) 删除可能用于制作图像的工具；d) 仅凭被“复制”的人的说法，揭露上传材料的用户。
这篇文章认为，这项法案将对互联网言论和创新造成灾难。
针对工具的法案 NO FAKES 的第一个版本专注于数字复制品。新版本走得更远，针对未经个人、拥有个人图像权利的任何人或法律授权的工具。任何制造、销售或托管此类工具的人都将承担责任。有一些限制——工具必须主要设计用于，或者除了制作未经授权的图像外，只有有限的商业用途——但这些限制对于开发者来说提供不了什么安慰，因为他们可能仅基于一个赤裸裸的指控就被针对。这些规定实际上赋予了权利持有者在版权战争中长期以来寻求的对创新的否决权，基于同样的技术恐慌。
下架通知和过滤任务 NO FAKES 的第一个版本建立了一个通知和下架系统，模仿了 DMCA，但保障措施更少。NO FAKES 将其扩展到覆盖更多的服务提供商，并要求这些提供商不仅要下架目标材料（或工具），还要防止它们未来的上传。换句话说，采用广泛的过滤器或失去安全港。
过滤器在版权方面已经是一个巨大的问题，至少在这种情况下，它应该做的只是如果上传看起来是作品的全部副本，就标记供人工审查。现实情况是，这些系统经常标记相似但不相同的东西（比如两个不同的人演奏同一首公共领域音乐）。它们还基于仅仅几秒钟的匹配标记侵权，并且它们经常不考虑会使使用合法的法律背景。
但版权过滤器尚未被法律要求。NO FAKES 将创建一个法律任务，这将不可避免地导致起哄者的否决和其他形式的过度审查。
匿名言论的威胁 正如目前所写的，NO FAKES 还允许任何人从法院书记员那里获得传票——不是法官，没有任何形式的证明——迫使服务提供商交出有关用户的识别信息。
我们已经看到类似系统的滥用。在版权案件中，那些对批评不满意的人获得这样的传票以沉默批评者。通常，批评包括投诉人自己的话作为批评的证据，一个公平使用的典型例子。但传票还是发出了，除非服务非常敏锐，否则用户可能会被揭露。
这不仅进一步压制言论，揭露本身也可能对用户造成伤害。无论是在声誉上还是个人生活中。
对创新的威胁 我们大多数人都对大型科技公司的现状感到不满。似乎我们不仅越来越多地被迫使用科技巨头，而且他们的服务质量正在积极下降。通过增加新服务需要遵守法律的基础设施数量，NO FAKES 使得任何新服务挑战大型科技公司变得更加困难。这可能不是巧合，这些巨头中的一些对 NO FAKES 的新版本感到满意。
要求移除工具、应用程序和服务也可能阻碍创新。首先，它会损害使用这些服务进行合法创作的人。其次，它会阻止创新者开发新工具。谁愿意投资一个可能仅凭一项指控就被强制下线的工具或服务？
这篇文章认为，这项法案是在寻找问题的解决方案。就在几个月前，国会通过了《Take It Down 法案》，该法案针对涉及亲密或性内容的图像。那个有严重缺陷的法案迫使平台积极监控在线言论，包括目前加密的言论。但如果国会真的担心隐私伤害，它至少应该等待上一次互联网法规的效果，然后再进一步进行新的法规。国会未能这样做清楚地表明，这不是关于保护有害数字复制品的受害者。
NO FAKES 旨在巩固对数字图像商业利用的控制，而不是阻止它。在此过程中，它将对我们所有人造成附带损害。
https://news.ycombinator.com/item?id=44363106
这篇文章讨论了 OpenAI 的 ChatGPT 服务面临的法律挑战，特别是关于用户隐私和数据保留的问题。文章开头提到，法院要求 OpenAI“无限期”保留所有 ChatGPT 日志，包括被删除的聊天记录，这一决定引起了两名用户的恐慌，他们试图干预但未能成功。这一命令是为了在新闻机构提起的版权侵犯诉讼中保留潜在证据。
文章接着提到，法官 Ona Wang 在五月拒绝了第一名用户代表其公司的请求，原因是公司应该聘请律师来起草文件。但最近，Wang 拒绝了另一名 ChatGPT 用户 Aidan Hunt 的第二项请求，这一命令更加详细地揭示了法官是如何考虑反对命令的意见，并在本周的口头辩论前进行了详细说明，这些辩论是由 OpenAI 紧急请求的。
Aidan Hunt 声称他偶尔会向 OpenAI 发送“高度敏感的个人和商业信息”，他提出 Wang 的保留命令创建了一个影响所有 ChatGPT 用户的“全国性大规模监控计划”，这些用户没有被警告他们被删除和匿名的聊天记录突然被保留。Hunt 警告说，限制保留仅 ChatGPT 输出的命令与包括用户输入的命令一样危险，因为输出“本质上揭示了，并且经常明确重述了输入问题或主题”。
Hunt 声称他只是在在线论坛上偶然发现 ChatGPT 保留了这些信息，尽管政策规定他们不会这样做。他感到自己的第四修正案和正当程序权利受到了侵犯，因此他试图影响法院的决定，并提出一项动议，要求撤销 Wang 的命令，该命令“实际上要求被告实施一个影响所有 ChatGPT 用户的大规模监控计划”。
文章引用了数字权利组织电子前沿基金会的法律总监 Corynne McSherry 的话，她告诉 Ars，这一发现命令本身就对用户隐私构成真正的风险，并且作为全国许多其他诉讼的先例。她表示：“人工智能聊天机器人为公司监控开辟了另一个渠道，尤其是如果用户对他们的聊天记录和记录发生什么没有实质性的控制。”
Hunt 认为，Wang 没有“考虑豁免‘匿名聊天记录’，这些记录合理地预期包含用户最敏感和可能最具破坏性的信息”，并声称这“构成了过于宽泛和不合理的行为”。他敦促法官修改命令，包括这一豁免，以及任何讨论“医疗、财务、法律和个人主题的聊天记录，这些记录包含用户的深度私密信息，与原告新闻机构声称的利益毫无关系”。
对于 Hunt 和其他许多被命令弄得措手不及的用户来说，风险似乎很高。他建议 Wang 应该允许他干预，因为“这个案子涉及到关于人工智能隐私权的重要而新颖的宪法问题”。
https://news.ycombinator.com/item?id=44358524
https://www.axios.com/2025/06/23/fico-credit-scores-bnpl-buy-now-pay-later
FICO 信用评分将首次纳入先买后付（BNPL）贷款数据。这一变化至关重要，因为预计今年将有超过 9000 万美国人使用 BNPL 进行购物，批评者认为现有的信用评分无法全面反映个人的还款能力。Fair Isaac Corp.（FICO 的运营公司）于周一宣布，将推出两个包含 BNPL 数据的信用评分，即 FICO Score 10 BNPL 和 FICO Score 10 T BNPL。公司声明称，这些评分将“代表信用评分的重大进步，考虑到 BNPL 贷款在美国信用体系中日益增长的重要性”。这些评分将为贷款机构提供更深入的消费者还款行为视角，从而更全面地了解他们的信用准备情况，最终改善借贷体验。
关键问题是，在 BNPL 贷款整合后，借款人的信用状况会提高还是恶化？FICO 和 BNPL 提供商 Affirm 在二月份发布了一项研究，模拟了 BNPL 贷款对信用评分的影响，结果显示“大多数”拥有五个或更多 Affirm BNPL 贷款的消费者将经历“信用评分提高或无变化”。然而，批评者认为 BNPL 会导致“幽灵债务”，可能会损害信用评分。美联储在五月份报告称，2024 年近四分之一的 BNPL 用户支付逾期，比 2023 年的 18% 有所上升。
目前的情况是，Affirm 今年早些时候宣布，将开始向信用报告机构 Experian 报告其所有短期无息购买情况。但这些贷款并不会立即影响消费者的传统信用评分，尽管随着新信用评分模型的开发，它们可能会在未来影响。
金融科技协会首席执行官 Penny Lee 在一份电子邮件声明中表示：“看到 FICO 开始现代化其评分模型，以正确反映消费者使用先买后付的情况，这是令人鼓舞的。行业长期以来一直认为，负责任地使用 BNPL 的消费者应该得到正面的信用评分，因为大多数用户都能全额及时还款。”
https://news.ycombinator.com/item?id=44361494
https://nickjanetakis.com/blog/switching-pip-to-uv-in-a-dockerized-flask-or-django-app
这篇文章是关于如何在 Docker 容器中将 pip 替换为 uv，以提高 Flask 和 Django 应用的构建速度。作者 Nick Janetakis 发现使用 uv 可以带来大约 10 倍的速度提升，并且避免了使用虚拟环境（venv），同时允许以非 root 用户身份运行应用。
文章首先介绍了如何定义项目的依赖关系。作者建议创建一个 pyproject.toml 文件，并在其中输入项目的依赖项及其版本，然后删除 requirements.txt 文件。uv 会自动生成一个锁文件，类似于 pip freeze 生成的文件，但 uv 的锁文件具有更准确的依赖树，并且更优。
接下来，文章讨论了 Dockerfile 的修改。作者强调了步骤顺序的重要性，例如在安装依赖之前定义环境变量。文章提供了如何安装 uv 和 uvx 二进制文件的示例，并解释了为什么只需要静态编译的二进制文件。同时，文章还提到了如何引用 uv 的依赖文件，以及如何设置环境变量以编译 Python 源文件为字节码，并指导 uv 不创建虚拟环境。
文章还介绍了如何修改依赖安装命令。作者提供了一个 shell 脚本示例，用于在构建时或运行时更新锁文件。脚本确保有一个有效的、最新的锁文件，并使用 uv sync 命令来同步依赖，而不是使用 pip 的子命令。
文章进一步讨论了如何添加、更新或删除依赖。作者提供了一些运行脚本快捷方式，这些快捷方式是一些 shell 脚本，用于在容器中运行特定命令。例如，可以使用这些脚本来构建新镜像、更新锁文件、执行 uv 命令等。
最后，文章提供了一个演示视频，展示了如何一起运行这些命令，并提供了视频的时间戳，以便读者可以快速跳转到感兴趣的部分。视频内容包括 uv 的简介、如何使用 pyproject.toml 替换 requirements.txt、如何在 Dockerfile 中安装 uv、设置环境变量、使用 uv lock/sync 命令、更新包的方法、检查过时的包以及如何使用 uv add 添加或更新包等。
文章最后，作者邀请读者分享他们切换到 uv 的经历，并提供了一个订阅更新的选项，以便读者不会错过任何提示、技巧或教程。
https://news.ycombinator.com/item?id=44364406
2025-06-24 08:39:10
- 作者分享了使用 Typst 而非 LaTeX 撰写博士论文的经历，认为 Typst 在编译速度和语言设计上更优。
- uv 是一个高性能的 Python 包和项目管理器，旨在替代 pip 和 poetry，支持多平台安装和高效存储。
- 亚马逊品牌劫持事件揭示了平台品牌注册机制的漏洞，导致诚信卖家和消费者权益受损。
- 京都的一家咖啡店白天卖咖啡，晚上变成酒吧，展示了日本低门槛商业模式的独特魅力。
- 作者通过 Home Assistant 和智能插座创建系统，限制社交媒体使用，以减少分心和提升专注力。
- 一位开发者分享了其高效使用终端的工作流程，包括 tmux、zsh 等工具的配置和使用方法。
- 经典游戏《乐高岛》被移植到网页浏览器，保留了原作的玩法和风格，支持多语言和图形设置。
- Vera C. Rubin Observatory 发布首批图像，展示了丰富的星系和恒星数据，为宇宙研究提供了重要资料。
- Radio Garden 是一个在线电台平台，允许用户探索全球实时广播，Shonan Beach FM 是其受欢迎的日本爵士乐电台。
- 美国众议院禁止工作人员在政府设备上使用 WhatsApp，建议改用 Microsoft Teams 等更安全的替代应用。
https://fransskarman.com/phd_thesis_in_typst.html
这篇文章是作者关于他使用 Typst（一种现代排版语言）而非 LaTeX 来撰写博士论文的经历分享。文章首先介绍了 Typst，这是一个结合了 Markdown 和动态类型 Rust 语言特性的排版工具，作者认为它有潜力取代 LaTeX。文章分为几个部分，分别讨论了使用 Typst 的优缺点。
优点：
缺点：
文章最后提到，尽管 Typst 在参考文献管理方面存在一些小问题，但它的整体体验仍然优于 LaTeX，尤其是在编译速度和语言设计方面。作者对 Typst 的未来发展持乐观态度。
https://news.ycombinator.com/item?id=44350322
https://github.com/astral-sh/uv
这个网页是关于一个名为“uv”的 Python 包和项目管理器的介绍，它是由 Rust 编写的。以下是网页的中文摘要：
uv 是一个极快的 Python 包和项目管理器，使用 Rust 语言开发。它旨在替代 pip、pip-tools、pipx、poetry、pyenv、twine 和 virtualenv 等工具。uv 的主要特点包括：
uv 由 Astral 支持，Astral 是 Ruff 的创建者。安装 uv 可以通过以下方式：
在 macOS 和 Linux 上，使用 curl 安装脚本：
curl -LsSf https://astral.sh/uv/install.sh | sh
在 Windows 上，使用 PowerShell 安装脚本：
powershell -ExecutionPolicy Bypass -c "irm https://astral.sh/uv/install.ps1 | iex"
也可以通过 PyPI 安装：
pip install uv
或者使用 pipx：
pipx install uv
如果通过独立安装程序安装，uv 可以自我更新到最新版本：
uv self update
更多安装细节和替代安装方法，请查看安装文档。uv 的文档可在 docs.astral.sh/uv 找到，命令行参考文档可通过 uv help 查看。
uv 还支持项目管理，可以管理项目依赖和环境，支持锁文件、工作区等功能，类似于 rye 或 poetry。例如：
$ uv init example
Initialized project `example` at `/home/user/example`
$ cd example
$ uv add ruff
Creating virtual environment at: .ven...
以上就是网页的主要内容摘要。
https://news.ycombinator.com/item?id=44357411
uv venv 即可。miss use -g pipx:foo 管理 uv 工具。https://www.kleinbottle.com/Amazon_Brand_Hijacking.html
亚马逊品牌劫持问题： 2021 年 6 月 22 日，一位外国卖家劫持了我在亚马逊上的克莱因瓶（Klein bottle）产品页面，用以推广他们的“黑头去除器”。请仅从我的网站 www.kleinbottle.com 订购，如有疑问，请拨打电话 510 654 3958 联系我，Cliff Stoll。这个网站由我本人运营。
问题概述：一家不诚实的公司劫持了我的亚马逊产品页面，将我的正面评价转移到他们的产品上。
详细情况： 尽管我 25 年来一直在销售克莱因瓶，但我从未注册商标“Acme Klein Bottle”，这是一种“普通法商标”。过去 5 年里，我在亚马逊上有一个销售大型克莱因瓶的产品页面，这个页面收到了 199 个五星好评和 2 个四星好评，没有差评。我的亚马逊客户主要是在假期为孩子购买克莱因瓶的父母。
5 月份的某个时候，来自中国深圳的亚马逊卖家“Amvoom”注册了“Amvoom”这个商标。6 月 22 日（亚马逊 Prime Day），他们使用亚马逊的品牌注册服务将我的亚马逊产品页面重新品牌化（将我的品牌“Acme Klein Bottle”替换为“Amvoom”），因为他们告诉亚马逊他们拥有克莱因瓶页面的所有权。结果，亚马逊现在将产品页面列为“AMVOOM Handmade Klein Bottle”。
Amvoom 并不销售克莱因瓶。他们可能不知道克莱因瓶是什么。相反，他们将我的 199 个评价重定向到他们的产品上（一个黑头去除器）。他们通过为他们的黑头去除器添加第二个“颜色选项”来实现这一点，这个选项只是指向我的亚马逊克莱因瓶页面。结果，我的所有评价都出现在他们的黑头去除器上。他们的普通颜色产品售价 12 美元，而奇怪的颜色显示的是克莱因瓶的照片，售价 75 美元。所有评价都合并在他们的黑头去除器页面上，因此两种“颜色”都有五星评价。他们的主要页面显示五星评价。但如果你阅读他们的评论，你会看到黑头设备有很多评论谈论克莱因瓶和数学。
为了使他们的黑头去除器页面看起来合法，Amvoom 随后通过亚马逊提交了数百个订单，并立即取消了每个订单。这些操作耗尽了我亚马逊上的克莱因瓶库存，尽管没有支付任何费用，也没有发货。结果，他们的黑头去除器的“第二种颜色选项”被移除，因为亚马逊认为克莱因瓶缺货。结果是他们的黑头去除器页面获得了 199 个正面评价，而克莱因瓶没有出现在 Amvoom 黑头去除器的“颜色选择”中。
两天后，“亚马逊 Prime Days”销售结束，Amvoom 停止链接到他们的产品。但他们仍然“拥有”我的页面。最有可能的是，Amvoom 将我的评论出售（或出租）给其他亚马逊卖家。这些人是操纵亚马逊评论的专业人士——他们出售他们的服务（和我的评论）给不诚实的亚马逊卖家。例如，列出 Amvoom 黑头去除器的亚马逊卖家是“TaroRee”，位于中国福建。
作为 Amvoom 恶作剧的副产品，我无法编辑我的亚马逊页面或在亚马逊上销售我的克莱因瓶。没有办法向亚马逊申诉——亚马逊品牌注册不接受电子邮件（只有一个网站下拉菜单，宣传他们有多好，以及如何申请品牌注册的好处）。我对亚马逊卖家支持的投诉被忽视了。
如果你认识在亚马逊品牌注册工作的人，请告诉我。或者更好的是，请告诉他们这给我带来的麻烦。
感谢你的理解！ -Cliff Stoll 2021 年 6 月 26 日星期六，加利福尼亚州奥克兰。是的，我现在正在注册“Acme Klein Bottle”的商标。
—2021 年 6 月 26 日星期六下午增加的注释：现在 Amvoom 黑头去除器，由 TaroRee 销售，有很多正面评价，许多评论谈论一个很棒的“Cooker Grill Heating Element”。嗯，我想知道为什么？
// 进一步的注释，2021 年 6 月 29 日星期二晚上增加（几乎是星期三早晨 // // Cliff 快速写的，尚未编辑，回应 Hacker News 上的问题… //
关于这个商标的更多信息：商标是特定于一个产品或一组产品的。例如，“United”这个词是为联合航空注册的商标，但也有 United Concrete 和 United Sodas。
中国深圳的 Shenzhen Hangteng Information Technology Co.为“Amvoom”这个词注册了商标，用于特定的商品，包括“血压计；腹部紧身衣；指压枕；吸奶器；颈圈；用于治疗的紧身衣；便椅；用于治疗的紧身衣；耳温计；手指夹板；心率监测装置；心率监测器；用于医疗和牙科领域的透明面部保护罩；用于面部、皮肤、毛囊的激光美容治疗；按摩装置；用于眼睛的按摩装置；个人使用的按摩装置；医疗设备，即脉搏血氧仪；医疗隔离服；用于医疗的防护面罩；用于医疗目的的呼吸面罩；用于医疗保健目的的卫生面罩；用于医疗应用的紫外线灯”。
请注意，Amvoom 的商标不包括克莱因瓶或数学形状等商品。实际上，他们没有“黑头去除器”的有效商标。然而，亚马逊承认他们的商标。
亚马逊通过其“品牌注册”允许任何拥有美国专利商标局（USPTO）商标的人接管任何非商标品牌，无论该品牌是否被特定商品覆盖。
品牌名称劫持利用了亚马逊卖家商业模式的几个漏洞：
品牌劫持的影响：
谢谢！
https://news.ycombinator.com/item?id=44349525
https://thedeletedscenes.substack.com/p/backyard-coffee-and-jazz-in-kyoto
这篇文章由 Addison Del Mastro 撰写，讲述了他在日本京都的一家独特咖啡店的体验。作者在准备去日本旅行时，了解到许多迷人的小型商业，例如只有四个座位的酒吧、位于私人住宅或小楼底层的书店和音乐店，以及由热爱某种主题的人经营的酒吧（例如满是《星球大战》纪念品的酒吧）。这些小型商业在日本城市中非常常见，似乎门槛很低，普通人也能参与其中。
在京都，作者希望找一家本地咖啡店喝杯咖啡。他通过谷歌地图搜索 “咖啡”，发现了一个几条街外的地方。这个咖啡店的外观让他一眼就想去尝试。它实际上是一个坐落在住宅区的小屋，白天作为咖啡店营业，晚上则变成酒吧，提供一些基本的啤酒和威士忌。
店主 / 咖啡师为他们现磨咖啡豆，并为他们制作手冲咖啡。在小空间内，作者观察到一个复古的咖啡研磨机和一个美丽的老款 Denon 唱盘正在播放爵士音乐。尽管这个小屋外观简单，但内部却给人一种宽敞、富有氛围的感觉，仿佛是进入了另一个世界或另一个时代。
作者提到，这种独特的体验和环境带来的神奇感，在美国的日常生活中并不常见。文章强调了这种小型商业所带来的社交元素，顾客在这种环境中实际上是这个空间的客人。这种小型商业模式打破了商业与顾客之间的界限，让人们能够在较低风险的情况下追求自己的热情和爱好，而不必面临大规模商业的复杂性和压力。
最后，作者总结认为，低门槛的自由企业模式能够促进小型、本地和美丽的商业发展，整个过程中所体验到的惊奇和快乐是非常珍贵的，同时他也认为那里的咖啡味道很好。
https://news.ycombinator.com/item?id=44356248
https://www.romanklasen.com/blog/beating-brainrot-by-button/
这篇文章是关于作者尝试减少互联网负面影响，特别是社交媒体成瘾问题的经历。文章开头，作者表达了对互联网的复杂情感，认为互联网充满了广告、干扰、赞助内容、坏消息和坏主意，但作为一名软件开发者，互联网又是他工作和沟通不可或缺的一部分。尽管如此，作者还是想要减少互联网的负面影响，尤其是社交媒体的上瘾问题。
作者尝试过通过网络广告拦截器完全屏蔽社交媒体，但发现自己和妻子都会绕过这些限制，因此完全屏蔽并不可行。于是，作者提出了一个解决方案，这个方案受到了 Neil Chen 在黑客新闻上分享的一个想法的启发。Neil 描述了如何使用智能插座动态重写 uBlock Origin 列表，以允许或限制对某些内容的访问。作者认为这个想法很棒，但实施起来不太适合他的情况，因此他对其进行了调整。
文章接下来详细介绍了作者的计划，他想要一个按钮，按下后可以允许访问社交媒体，但仅限于 15 分钟。之后，他和妻子必须经历一个冷静期，直到可以再次按下按钮，这个冷静期大约是一个小时。作者认为，使用 Zigbee 智能插座可以实现这个功能。
作者已经在使用 gli.net 路由器上的 Adguard Home 进行全网络广告拦截，并且使用 Home Assistant 管理没有互联网访问的智能家居。他有大量的 Zigbee 开关和一些空闲时间，认为应该能够将这些设备以某种方式结合起来。
文章接着讲述了如何设置 Adguard Home，以及如何通过 API 访问 Adguard Home。作者提到，Adguard Home 有一个出色的 API，可以通过普通用户名和密码登录。但是，由于路由器的主界面绕过了认证，因此 Adguard Home 没有可用的用户名和密码用于 API 访问。作者通过一个论坛链接解释了如何在不破坏现有集成的情况下手动添加用户名和密码。
文章还介绍了如何将 Home Assistant 与 Adguard Home 集成，并创建了一个自动化脚本，当按下按钮时，可以临时禁用 AdGuard 过滤 15 分钟。自动化脚本包括了一系列的条件和动作，包括检查是否已经过了冷却期、是否覆盖了不活跃状态、设置最后禁用 AdGuard 的时间、关闭和开启智能插座以及开关 AdGuard 过滤。
最后，作者反思了这个解决方案是否真的能阻止他继续沉迷于社交媒体，答案是可以，但这有助于他练习节制，就像任何毒药一样，社交媒体在小剂量下是可以接受的。文章以设置 Adguard Home、API 访问 Adguard Home 和 Home Assistant 集成的目录结束，并提到了 Roman Klasen 和 GitHub。
https://news.ycombinator.com/item?id=44350002
https://jyn.dev/how-i-use-my-terminal/
这篇文章是一位开发者分享他如何使用终端的详细指南。文章发表于 2025 年 6 月 16 日，目标受众是开发者群体。作者提到，这个话题通常需要至少一个视频才能让人们理解他所描述的内容，因此他提供了一个视频链接。
在视频中，作者展示了几个步骤，这些步骤通常会让人们感到惊讶，因为它们不仅展示了作者的设置，还展示了这些操作的可能性。视频中的关键步骤包括：
作者解释了他为什么使用 tmux，主要是因为他之前对 VSCode 感到烦恼，尤其是当 Vim 插件运行时，以及编辑器、Vim 插件、终端和窗口管理之间存在许多键位冲突。他尝试了 zed，但当时它还很不成熟，并且仍然存在许多键位冲突问题。他转而使用终端中的 nvim，但很快对复制粘贴文件名到编辑器所花费的时间感到烦恼。他想要的是在 VSCode 中类似于 Ctrl-click 的功能，可以让他以最平滑的方式打开任意文件路径。因此，他开始使用 tmux 并自己构建了这个功能。
文章还详细介绍了如何通过 tmux 配置实现搜索滚动输出中的所有文件名，以及如何在新窗格中打开选定文件运行 nvim。作者还提到，他创建了一个 shell 脚本（实际上是一个 Perl 脚本），作为所有文本文件的默认应用程序。这个设置的结果是，他不需要一个高级的本地终端，只需要一个简单的终端模拟器，就可以实现高效的远程文件编辑和管理。
https://news.ycombinator.com/item?id=44356646
vim -c cb - 命令的作用，即处理当前缓冲区作为编译缓冲区。:make 和 :grep 命令在 vim 中实现类似功能。vim -q <(ripgrep --vimgrep restore_tool) 是否与 vim -c cb - 相似。欢迎来到 LEGO Island 网页端口项目！这是一个重现 1997 年经典 PC 游戏的项目，使用 Emscripten 重建，使其能够在现代网络浏览器中运行。
这个项目得以实现，得益于前人的成果。它基于原始的反编译项目，然后被改编成一个便携版本。这个项目代表了一年的努力，涉及数千小时的工作，由许多致力于保存这段游戏历史的杰出贡献者共同完成。
我们的目标是让这款经典游戏对所有人开放。项目仍在开发中，因此您可能会遇到一些错误。我们非常感激您的耐心和反馈！
游戏设置：
图形选项：
https://news.ycombinator.com/item?id=44351028
https://rubinobservatory.org/news/rubin-first-look/cosmic-treasure-chest
欢迎来到 NSF-DOE Vera C. Rubin Observatory 的宇宙宝库！
Rubin Observatory 首次发布了一张图像，展示了宇宙中充满了星星和星系，将看似空无一物的漆黑空间首次转化为闪烁的织锦。这张图像是 Rubin Observatory 拍摄的，它能够快速产生如此大的、色彩丰富的图像。
图像的焦点是处女座星系团的南部区域，距离地球约 5500 万光年，是我们银河系最近的大星系集合。图像展示了从蓝色到红色的明亮恒星，到附近的蓝色螺旋星系，再到遥远的红色星系群，展示了 Rubin 数据所能进行的广泛科学研究。
在为期 10 年的 Legacy Survey of Space and Time（LSST）中，全球的科学家将访问 Rubin 的数据宝库，以回答诸如：银河系是如何形成的？构成我们无法看到的宇宙 95% 的是什么？详细清点太阳系天体将揭示什么？在 10 年内观察夜空中数亿次变化我们将学到什么？
这张图像由 NSF-DOE Vera C. Rubin Observatory 拍摄的 1100 多张图像组成，视频从两个星系的特写开始，然后拉远，展示了大约 1000 万个星系。这 1000 万个星系大约是 Rubin Observatory 在其 10 年 Legacy Survey of Space and Time（LSST）期间将捕捉的大约 200 亿个星系的 0.05%。
图像中的亮点除了我们银河系中的一些前景星外，构成了大约 1000 万个星系的丰富织锦——这只是 Rubin 在其 10 年 Legacy Survey of Space and Time（LSST）期间将成像的大约 200 亿个星系的 0.05%。到调查结束时，Rubin 将在整个南天揭示这种细节水平。
图像中散布的明亮恒星属于我们的家园星系。通过追踪它们的位置、亮度，甚至对某些恒星，它们的运动，Rubin 将帮助以非凡的细节绘制银河系——揭示其结构、历史以及随时间的演变。通过观测前所未见的恒星流、矮星系等，Rubin 数据将帮助科学家调查我们宇宙邻居的动态过去。
图像是如何创建的？
除了展示处女座星系团南部区域的丰富和多样的天体光线外，这张深约 25 平方度的图像提供了 Rubin 在主要调查期间的观测方式的样本。Rubin Observatory 拍摄的每个单独曝光覆盖 10 平方度（大约 45 个满月）。结合在不同时间和不同颜色滤镜下拍摄的同一天空位置的多次曝光，揭示了在单次曝光中无法捕捉到的极其微弱的细节。为了制作这张图像，共结合了 1185 次曝光，这些曝光是在短短 7 个夜晚内完成的。Rubin Observatory 是唯一能够如此快速地组装如此宽深图像的天文工具。
如果您使用 Rubin Observatory 的 Skyviewer 工具查看此图像，您可以使用“显示”设置在有无小行星的视图之间切换，小行星以多彩条纹出现。这些在我们太阳系中移动的小行星被 Rubin 的快速系统在每次曝光的不同位置捕获，这就是当曝光结合时它们的样子。Rubin 的宽视场和频繁成像使其能够独特地检测和追踪小行星、彗星和遥远的跨海王星天体——构建我们太阳系的详细清单，并帮助保护地球，通过向科学家发出潜在危险天体的警报。
用声音探索 Rubin Observatory 的宇宙宝库。这个互动声音化让您在 Rubin 的宇宙视野中漂流，将遥远星系和恒星的颜色和亮度转化为沉浸式的、永无止境的声音景观。
正如没有两个人会以相同的方式探索 Rubin 的图像一样，也没有两次听音体验会相同。通过声音体验 Rubin 的视野了解更多关于 Skysynth 的信息。
接下来会发生什么？
这张图像为观察不断变化的天空提供了一个起点。在未来的十年中，Rubin 将多次返回这个区域，捕捉短暂但重要的事件，如超新星爆炸和恒星被黑洞吞噬时的闪光。Rubin 的软件将自动将新图像与从先前图像构建的模板进行比较，每晚识别多达 1000 万次变化，并为短暂的宇宙现象和运动中的物体提供洞察。
https://news.ycombinator.com/item?id=44356890
这个网页是一个名为“Radio Garden”的在线电台收听平台。用户可以通过这个平台收听来自世界各地的电台。以下是网页的主要内容摘要：
总的来说，这个网页提供了一个便捷的在线电台收听平台，用户可以轻松地切换和收听来自世界各地的电台。网页上列出了多个地区的电台，并提供了一些流行的电台推荐。同时，用户还可以利用网页底部的功能来管理自己的电台收藏和调整设置。
https://news.ycombinator.com/item?id=44350450
https://www.axios.com/2025/06/23/whatsapp-house-congress-staffers-messaging-app
美国众议院首席行政官通知国会工作人员，即时通讯应用 WhatsApp 被禁止在他们的政府设备上使用。这一禁令主要关注工作人员数据的脆弱性，同时国会也在采取措施限制使用被认为同样风险高的 AI 程序。近年来，首席行政官对 DeepSeek、字节跳动应用和微软 Copilot 至少实施了部分禁令，并对工作人员使用 ChatGPT 进行了严格限制，要求办公室仅使用付费版本 ChatGPT Plus。
首席行政官在一封邮件中表示：“网络安全办公室认为 WhatsApp 对用户来说风险很高，因为它在保护用户数据方面缺乏透明度，没有存储数据加密，以及使用它涉及的潜在安全风险。”邮件还补充说：“众议院工作人员不允许在任何众议院设备上下载或保留 WhatsApp 应用程序，包括任何移动、桌面或网络浏览器版本的产品。”如果众议院管理的设备上有 WhatsApp 应用程序，将会被联系要求移除。
WhatsApp 母公司 Meta 的发言人 Andy Stone 在一份声明中表示：“我们强烈反对众议院首席行政官的描述。我们知道成员及其工作人员经常使用 WhatsApp，我们期待确保众议院成员可以正式加入参议院成员使用 WhatsApp 的行列。”Stone 说：“WhatsApp 上的消息默认端到端加密，这意味着只有收件人可以看到，甚至 WhatsApp 也看不到。这比 CAO 批准名单上的大多数应用提供的保护级别更高。”
首席行政官表示，Microsoft Teams、Wickr、Signal、iMessage 和 FaceTime 都是可接受的 WhatsApp 替代品。同时，它还警告工作人员要警惕潜在的网络钓鱼诈骗和来自未知号码的短信。
https://news.ycombinator.com/item?id=44356676
2025-06-23 08:24:09
- 美国对伊朗核设施发动轰炸，引发双方紧张关系升级及国际关注。
- 作者制作了机械表的爆炸视图模型，记录了从构想到完成的整个制作过程。
- Git笔记功能强大但不被广泛使用，适合在不修改提交的情况下添加元数据。
- LibRedirect浏览器扩展将主流网站重定向到注重隐私的替代前端服务。
- 深入分析了谷歌TPU的设计、架构及其在AI领域的性能优势。
- 美国袭击伊朗核设施，特朗普称其为军事成功，伊朗誓言回应。
- LaborBerlin项目旨在开发开源16毫米电影放映机，解决老式设备的维护问题。
- AI技术推动硅谷小团队时代，提升效率，使得小型团队能完成更大规模的项目。
- Sound As Pure Form是一种受多种编程语言启发的音乐语言，适合音频合成和处理。
- 通过优化，Linux管道的吞吐量提升了20倍，揭示了其内部实现和性能优化方法。
https://www.bbc.co.uk/news/live/ckg3rzj8emjt
BBC 首页报道了伊朗和美国之间的紧张局势升级。
伊朗总统马苏德·佩泽什基安表示，美国对伊朗的侵略行为“必须得到回应”，此前美国轰炸了伊朗的三个核设施。美国总统唐纳德·特朗普则声称这些打击行动“将‘炸弹’从他们手中夺走”。联合国核监督机构表示，无法确定福特地下设施的损坏程度，而伊朗外交部长则表示，伊朗的核知识“不会被轰炸摧毁”。
BBC 核实了伊斯法罕和纳坦兹以及福特的卫星图像，以评估美国空袭造成的损害。
与此同时，伊朗和以色列继续相互开火，以色列声称击中了数十个军事目标，而伊朗红新月会指责以色列袭击了医院和医疗中心。
美国国防部长皮特·黑格斯表示，这些打击行动不是为了政权更迭，而是为了阻止伊朗获得核武器。
BBC 安全记者弗兰克·加德纳提出了一个更令人担忧的问题：伊朗是否仍有足够的高浓缩铀（HEU）隐藏在秘密地下位置，以及知识和手段将其武器化，从而决定制造一个原始的核弹？换句话说，美国和以色列的联合攻击是否消除了伊朗成为核武装国家的可能性，还是使其更有可能？
以色列驻联合国代表丹尼·达农表示，世界应该感谢唐纳德·特朗普。他说，有些人在联合国谴责美国和以色列，但他质疑“当伊朗的铀浓缩远超民用目的，当它在山下建造堡垒准备我们的灭绝时，你们在哪里？”
伊朗驻联合国代表阿米尔·赛义德·伊拉瓦尼指责美国对伊朗发动了一场“战争”，并称伊朗有权“自卫”对抗“公然的美国侵略”。他还指责以色列总理内塔尼亚胡将美国卷入“另一场代价高昂、毫无根据的战争”，并称美国和以色列的行为是“公然违反国际法”。
伊朗伊斯法罕省省长表示，以色列空袭导致一辆救护车被击中，造成三人死亡。伊朗国家电视台也报道了这一事件，当地居民表示以色列正在针对平民。以色列尚未对这一事件作出回应，但表示其在伊朗的行动是针对军事设施的。
美国总统唐纳德·特朗普在社交媒体上表示，对伊朗核设施的破坏是“巨大的”。他赞扬了美军的精准打击和技能。
https://news.ycombinator.com/item?id=44341639
https://fellerts.no/projects/epoch.html
这篇文章是 Fredrik Flornes Ellertsen 关于他制作机械手表爆炸视图模型的经历和过程的分享。文章开始于他对 Bartosz Ciechanowski 博客中关于机械手表运动工作原理的解释的赞赏，特别是那些互动插图。作者表达了想要亲手制作一个真实的机械手表爆炸视图模型的愿望，但在寻找现成模型时发现市场上并没有符合他要求的产品。
文章接着描述了作者决定自己动手制作这样一个模型的过程。他首先考虑了要“爆炸”的机械手表运动类型，认为基于 ETA 2824-2 机械手表运动（或其克隆版本）的博客帖子是一个不错的选择，但考虑到其复杂性，他选择了更简单、更老式的怀表运动作为起点。
作者面临的挑战是如何将 50-100 个微小的组件悬浮起来，形成一个爆炸视图。他尝试了分层树脂铸造的方法，但由于树脂的黄色色调、固化速度慢和层间接缝明显等问题，这种方法并不成功。他尝试了使用 UV 光固化树脂和传统的双组分环氧树脂，但都遇到了问题。
在多次尝试后，作者决定采用一次性铸造整个模型的方法，并使用钓鱼线来悬挂每个组件。他选择了单丝尼龙线，因为它的折射率与环氧树脂相似，且价格便宜。他通过在烤箱中烘烤来矫正线的弯曲，并用 CA 胶将组件粘在线上，这个过程与真正的手表制作有些相似。
文章最后，作者提到了他在制作过程中遇到的挑战，包括需要精细操作和稳定的手，以及如何使用 CA 胶代替润滑油来处理微小的组件。尽管面临困难，但他对完成这个项目感到兴奋和期待。
https://news.ycombinator.com/item?id=44347425
https://tylercipriani.com/blog/2022/11/19/git-notes-gits-coolest-most-unloved-feature/
这篇文章是关于 Git 的一个不太为人知但非常强大的特性——Git 笔记（git notes）的介绍和讨论。
首先，文章指出 Git 笔记几乎是一个秘密，因为它们的易用性令人困扰，但它们被工程师们不断重新发现，用于在 Git 中存储元数据。Git 笔记允许你在特殊的命名空间中添加关于旧提交的新信息，而且它们的功能远不止于此。你可以为 Git 跟踪的任何对象（提交、blob 和树）添加笔记，而不需要修改对象本身。
文章接着介绍了如何为最新的提交添加笔记，并展示了如何在 git log 中显示这些笔记。例如，可以添加一个“Acked-by”的笔记，表示某个人确认了代码。
文章还提到了 Git 笔记在实际中的应用案例，比如 Git 项目本身将每个提交与其邮件列表上的讨论链接起来。其他人使用笔记来跟踪每个提交或分支上花费的时间、添加审查和测试信息到 git log，甚至进行完全分布式的代码审查。
文章特别提到了一个名为 reviewnotes 的插件，它允许用户在 git log 中看到谁审查了代码，以及运行了哪些测试，而不需要打开浏览器。
然后，文章讨论了如何使用 Git 笔记存储代码审查和测试结果，以及一个名为 git-appraise 的系统，它是一个建立在 Git 笔记之上的完整的代码审查系统，允许用户请求审查、评论变更、审查和合并变更，所有这些都可以在本地计算机上完成，即使 GitHub 宕机也没关系。
最后，文章指出 Git 笔记的使用并不普遍，因为它们难以使用，而且 GitHub 在 2014 年停止显示提交笔记，没有给出太多解释。尽管如此，Git 笔记是实现 forge 独立性的一种方式，它们可以使得项目的整个历史分布化，而不需要承受强制推送的风险。作者认为，Git 笔记是 Git 代码审查系统的一个分布式替代方案，它们可以分散代码的历史，也可以分散整个项目的历史。
https://news.ycombinator.com/item?id=44345334
--trailer 标志的功能是等效的。这个网页是一个关于“LibRedirect”的介绍页面，它是一个网络浏览器扩展程序，旨在将用户从 YouTube、Instagram、Reddit、TikTok 等主流网站重定向到更加注重隐私的替代前端。以下是该网页主体内容的详细中文摘要：
LibRedirect 提供了一种方式，允许用户在保持原有网站功能的同时，使用更加注重隐私保护的替代网站。这些替代网站被称为隐私友好型前端，它们可以减少用户数据的收集和追踪，保护用户的在线隐私。
以下是一些主流网站及其对应的隐私友好型替代网站列表：
通过 LibRedirect，用户可以在享受原有网站服务的同时，减少对个人隐私的担忧。这个扩展程序为用户提供了一个更加安全和私密的网络浏览体验。
https://news.ycombinator.com/item?id=44344246
https://henryhmko.github.io/posts/tpu/tpu.html
本文深入探讨了谷歌的张量处理单元（TPU），与图形处理单元（GPU）在设计哲学上的不同，尤其是在可扩展性、能效和计算架构方面。
TPU 是谷歌自定义的应用特定集成电路（ASIC），旨在实现极高的矩阵乘法（matmul）吞吐量和能效。TPU 的起源可以追溯到 2006 年，谷歌在当时评估使用 GPU、FPGA 或定制 ASIC 的可能性。2013 年，随着谷歌语音搜索功能转向神经网络，计算需求的预测促使谷歌开发 TPU。
如今，TPU 已支持谷歌大部分的 AI 服务，包括训练和推理模型。接下来，文章将深入分析 TPU 的内部架构。
以 TPUv4 为例，每个 TPU 芯片包含两个 TPU 张量核心（TensorCore），每个张量核心有 128MiB 的共享内存（CMEM）和 32GiB 的高带宽内存（HBM）。每个张量核心内又包括多个计算单元和小型内存缓冲区：
与 GPU 不同的是，TPU 的片上内存单位（CMEM、VMEM、SMEM）较大，而 HBM 较小，且 TPU 的计算核心数量远少于 GPU。
TPU 能够实现极高的吞吐量，如 TPUv5p 每个芯片可达到 500 TFLOPs/sec，完整的 8960 芯片组合可实现约 4.45 ExaFLOPs/sec 的性能。
TPU 的设计哲学基于以下两个核心要素和一个关键假设：
TPU 的可扩展性在多芯片配置中表现得尤为突出。一个 TPU 托盘包含 4 个 TPU 芯片，并通过 PCIe 与 CPU 主机连接，芯片之间则通过更高带宽的内核间互联（ICI）连接。
一个 TPU 机架由 64 个芯片组成，采用 4x4x4 的三维环形结构，芯片间的通信通过 ICI 和光电切换（OCS）实现。
TPU 的不同配置概念包括：
通过将多个芯片、机架连接在一起，TPU 的设计哲学显示出其在高并行处理和快速通信方面的优势，支持大规模的深度学习任务。
TPU 的设计理念强调高效的硬件架构与软件编译技术的结合，专注于特定的计算任务（如矩阵乘法），从而在能效和吞吐量上表现优异。随着 TPU 技术的不断进步，其在 AI 领域的应用潜力将更加广泛。
https://news.ycombinator.com/item?id=44342977
https://www.axios.com/2025/06/21/us-strike-iran-nuclear-israel-trump
这篇文章报道了美国对伊朗核设施进行空袭的最新情况。
美国军方在当地时间周日上午对伊朗的核设施进行了空袭，目标是 Fordow、Natanz 和 Isfahan。美国总统特朗普在白宫发表的历史性讲话中称这次行动是“壮观的军事成功”，并声称伊朗的主要铀浓缩场所“已被完全彻底摧毁”。特朗普表示：“伊朗，中东的恶霸，现在必须寻求和平。”他警告说，如果伊朗不迅速实现和平，将面临比过去八天所见更大的悲剧。
这次空袭是特朗普直接支持以色列努力拆除伊朗核计划的决定，标志着中东地区的历史性升级。这一干预充满了风险和不确定性，特朗普和他的许多前任都试图避免，包括通过与伊朗的外交手段。这次袭击发生在以色列和伊朗之间前所未有的战争的第九个晚上，可能会引发德黑兰对美国在该地区的军队和军事设施的报复。
特朗普在 Truth Social 上发文表示：“伊朗对美国的任何报复都将遭到比今晚所见更强大的力量回击。”在周六晚上的讲话中，特朗普表示，空袭的目标是摧毁伊朗的核浓缩能力，阻止“头号恐怖主义国家赞助者”的核威胁。特朗普感谢以色列总理内塔尼亚胡，表示他们像前所未有的团队一样合作，已经消除了对以色列的威胁。
特朗普警告说，美国在伊朗还有许多目标，如果与伊斯兰共和国的和平“不迅速到来”，军方将“在几分钟内”将它们摧毁。以色列官员表示，特朗普政府在空袭前通知了以色列。白宫官员告诉 Axios，特朗普在行动后与内塔尼亚胡通话。另一位以色列高级官员告诉 Axios，空袭中使用了 B-2 隐形轰炸机。
伊朗伊斯兰革命卫队在周日威胁要对美国在中东的军队进行打击。伊朗外交部长阿巴斯·阿拉格奇在伊斯坦布尔的新闻发布会上表示，德黑兰“保留所有捍卫其安全的选项”，并表示伊朗目前对外交不感兴趣。他指出，美国越过了一个很大的红线，伊朗将根据自己的权利做出回应。阿拉格奇没有详细说明可能的伊朗回应，也没有明确表示伊朗是否会退出核不扩散条约或关闭霍尔木兹海峡。他表示，伊朗有多种选项。
伊朗原子能组织证实了三个核设施遭到袭击，并谴责“美国敌人”进行了“违反国际法的野蛮行为”。该组织表示，尽管敌人的邪恶阴谋，伊朗不会被阻止继续发展其国家核能产业。
特朗普在讲话中表示，伊朗 40 年来一直在说“美国去死”，“以色列去死”。他们杀害了我们的人民，用路边炸弹炸掉他们的手臂和腿。他继续说，中东和世界各地成千上万的人直接死于他们的仇恨。特别是，许多人被他们的将军卡西姆·苏莱曼尼杀害，他指的是伊朗军事领导人，特朗普在第一任期下令暗杀他。
内塔尼亚胡在发布的视频中用英语表示：“特朗普总统和我总是说：‘和平通过力量。’首先是力量，然后是和平。今晚，特朗普总统和美国展现了很多力量。”
在空袭前的几天里，特朗普和他的团队越来越相信外交已经走到了尽头——为了消除伊朗的核计划，必须采取军事行动。特朗普周四公开宣布，他将在未来两周内做出决定，给伊朗一个最后的谈判机会，但空袭的准备工作在周末加速进行。周六，多架能够携带 3 万磅“地堡破坏者”的 B-2 隐形轰炸机被检测到向西穿越太平洋，人们猜测美国将打击 Fordow。
特朗普公开质疑以色列是否有能力独自摧毁地下设施，他说：“他们可以突破一小部分，但他们不能深入。”在幕后，特朗普的“美国优先”基础对于是否加入以色列的战争一直存在严重分歧，但特朗普在一个问题上一直坚定不移：伊朗绝不能被允许获得核武器。他上周做出了最后的努力，以避免美国干预，探索在伊斯坦布尔与伊朗官员的秘密会晤，由土耳其总统雷杰普·塔伊普·埃尔多安促成。特朗普愿意派遣白宫特使史蒂夫·维特科夫和副总统万斯——或者如果必要的话，甚至亲自参加会谈。但当伊朗最高领袖阿里·哈梅内伊因担心以色列暗杀而躲藏起来，无法授权会面时，这一努力失败了。从那时起，伊朗拒绝与美国直接接触，除非以色列停止攻击。特朗普现在相信不可能达成协议，似乎已经采取了他曾经希望避免的军事选项。
https://news.ycombinator.com/item?id=44341678
https://www.filmlabs.org/wiki/en/meetings_projects/spectral/laborberlin16mmprojector/start
LaborBerlin：最先进的 16 毫米放映机
全球艺术家在使用胶片电影时，常常面临因设备老化和难以修复导致的不稳定放映条件。特别是电影放映机及其老化的机械部件变得越来越不可靠，这在许多情况下导致了胶片材料的破坏，而不是确保其最佳展示。最后一款商业化的 16 毫米电影放映机是在 90 年代生产的，但大多数艺术家、档案保管员和放映员不得不使用更老旧的设备，有些甚至可以追溯到 60 年代和 50 年代。与此同时，传统工业制造商已经消失或转向其他领域，服务人员退休，备件稀缺且价格不合理。老式放映机主要为标准电影放映而设计，未能满足当代艺术家在扩展电影制作中的需求，也通常不符合档案放映的需求。随着数字革命的到来，过去十年已经大幅减少了体验模拟电影放映的机会，老式放映设备的老化技术已成为模拟电影放映及其独特体验消失的一个重要因素。
我们的想法是开发一款使用开源技术和非专有/普遍可用备件的最先进的、模块化的 16 毫米电影放映机。我们认为，老式放映机的中央机械部件——爪机制、快门轮和胶片输送——在大多数情况下都设计得非常好，重新开发这些部件将是一种时间和能量的浪费。相反，我们希望在现有的、易于获得的放映机机制基础上构建放映机。光学部分也是如此：与 Eiki、Bauer、Bell & Howell 和 Hokushin 生产的放映机兼容的镜头在全球范围内都可以找到，且状况良好。这款放映机应该能够满足当代电影艺术家、档案保管员和放映员的需求。
技术特性（愿望清单）： 设计：模块化设计、开源技术、非专有和普遍可用备件（可 3D 打印）、可调高度和倾斜度、轻便便于旅行和放映期间的携带、可选择垂直格式投影（90° 倾斜或棱镜系统）。 电源：110V 和 220V，可选：电池用于户外和便携式放映。 光源：超亮、可调光 LED、色温调整以适应不同时间的印刷品，钨丝灯或氙灯或红移电影印刷品、数字快门（闪烁）。 胶片格式：16 毫米——超 16——超 16——开放门（可切换格式掩模）。 光学：宽变焦范围镜头 25mm – 150mm，兼容 Bauer、Eiki 和 B&H 镜头（适配管），蜗轮齿轮对焦，变形镜头支架，Elmo 查看器类型 100 的支架（无屏幕查看）。 输送：水晶同步速度：12 – 15 – 16,66 – 18 – 23,976 – 24 – 25 – 29,97 – 30 FPS，手动变速从 <1 到 30 FPS，独立于 FPS 的变速快门轮，数字帧计数器，记忆计数器用于进出点，双向快速倒带。 音频：光学和磁性音频（无内置放大器——仅输出），现场语音麦克风输入，耳机插孔，集成数字音频同步系统。 连接性：与数字音频、视频和 MIDI 同步，多个放映机之间的同步，可从主控切换到从属，与 Elmo ESS 系统同步，可选：准备好进行电视电影制作，遥控器：红外/有线/蓝牙。 配件：开发兼容的循环设备，线轴臂扩展。
我们的项目将在两年半的时间内进行，并计划在 2025 年 9 月完成，届时将在鹿特丹的 Back To The Future Festival 上展示原型。作为第一步，我们两人团队拆卸了四款电影放映机模型，我们发现这些模型提供了适合进一步开发的机械系统。我们确定了三个需要与不同专家合作的开发领域：光源、胶片输送机制和电子设备。但在我们采取下一步之前，我们也意识到我们正处于一个需要决定走哪条路的十字路口： A. 开发一个灵活的升级系统，适用于各种现有的放映机型号。这将确保艺术家能够升级他们自己的放映机型号，无论他们住在哪里，拥有什么放映机。我们的担忧是，开发能够适应各种现有机械部件的部件可能很困难。 B. 仅为一种广泛可用的放映机型号开发升级系统。这将使我们能够开发更具体的部件，并为该型号创建一个集成概念。缺点是，许多放映机型号在世界各地并不同样可用。 C. 开发一个 DIY 套件，复制各种现有型号的机械部件，使用 3D 打印、CNC 和激光切割等技术。这将使全球的艺术家能够从头开始构建自己的模块化和最先进的放映机。最终，我们可以提供和运输那些难以单独生产的现成部件。 一旦这个关键决定做出，我们希望聘请一位机电专家加入项目，陪伴项目直到原型完成。同时，我们希望建立一个在线社区，与他们分享我们的想法，他们也可以测试和改进各个部件。我们已经与几位独立进行类似开发的人士取得联系，他们正等待最终分享他们的知识和经验。最后，我们将聘请一位工业设计师与我们合作，以构建一个原型。
https://news.ycombinator.com/item?id=44340386
在硅谷的创业环境中，随着人工智能（AI）的发展，创业公司的运作模式正在发生显著变化。从之前的 “快速扩张”（blitzscaling）时代，即 2012 年 Facebook 上市到 2023 年 WeWork 破产期间，创业公司通常重视市场估值和融资总额，尤其是追求 “独角兽” 身份（即估值达到 10 亿美元）。而如今，越来越多的创业者开始重视员工人均收入这一新指标，这被视为成功的新的 “圣杯”。
随着 AI 助手、顾问、程序员和市场营销工具的崛起，创业者们能够在保持低人力成本的同时，实现更高效的增长。OpenAI 的 CEO Sam Altman 曾表示，未来可能出现单人即可达到十亿美元估值的公司，这在过去是难以想象的。Flybridge Capital Partners 的合伙人 Jeffrey Bussgang 强调，这种现象可以称之为 “在不扩张的扩展”（scaling without growing），即 “机器人扩展”（botscaling）取代了传统的 “快速扩张”。
AI 的进步使得创业者能够利用人工智能进行编码、市场研究、营销、以及初步的商业构想。越来越多的创业者开始依赖 AI 作为 “联合创始人”，以便在资源有限的情况下，快速进行产品开发和市场验证。例如，创业公司 Portrait 的联合创始人 Roo Harrigan 表示，AI 使他们能够迅速生成产品原型，而不必依赖传统的技术合作伙伴。
在创业过程中，AI 不仅能够充当工具，还可以扮演 “数字合伙人” 或 “导师” 的角色。研究表明，利用 AI 的个人在产生创意方面的表现，甚至可以与没有 AI 的团队相媲美，且团队使用 AI 的表现更优。
尽管 AI 能在很多方面取代人力，创业者仍需保持人类的判断力与决策能力。许多创业者开始尝试使用 AI 来提升决策效率，例如通过 AI 预测不同商业决策的成功几率。然而，AI 的局限性仍然存在，它在某些情况下表现良好，而在其他情况下则不尽如人意，形成了所谓的 “锯齿状前沿”（jagged frontier）。因此，创业者需要不断探索 AI 的优势与不足，以便合理分配任务。
最后，文章探讨了在 AI 高度发展的未来，是否会出现完全由 AI 运营的公司。虽然当前 AI 仍然面临许多限制，但随着技术的进步，完全由 AI 主导的创业公司可能成为现实。这要求创业者在利用 AI 的同时，找到平衡点，确保 AI 能更好地理解和执行他们的商业愿景。
https://news.ycombinator.com/item?id=44339596
https://github.com/lfnoise/sapf
这个网页介绍了一个名为“Sound As Pure Form”（简称 sapf）的项目，它是一个用于音频合成的 Forth 风格的语言。sapf 使用懒加载列表和类似 APL 的自动映射功能。以下是对网页主体内容的详细中文摘要：
项目介绍：
灵感来源：
编程风格：
快速设置：
命令行使用：
https://news.ycombinator.com/item?id=44342731
https://mazzo.li/posts/fast-pipes.html
这篇文章探讨了 Linux 中 Unix 管道的性能，并逐步优化了一个测试程序，该程序通过管道进行数据的写入和读取。文章从简单的程序开始，其吞吐量约为 3.5GiB/s，并将其性能提高了 20 倍。优化过程基于使用 Linux 的 perf 工具对程序进行性能分析。文章中提供的代码可以在 GitHub 上找到。
文章首先介绍了一个性能测试程序，该程序通过管道传输数据，并展示了性能图表。作者受到一个高度优化的 FizzBuzz 程序的启发，该程序能够以大约 35GiB/s 的速度将输出推送到管道。文章的目标是达到这个速度，并在过程中解释每一步。文章还提到了一个额外的性能改进措施，这在 FizzBuzz 中并不需要，因为在作者的机器上，瓶颈实际上是计算输出，而不是 IO。
文章的主要内容分为以下几个部分：
文章的第四部分深入 Linux 内核内部，即使对于熟悉文章中讨论的其他主题的读者来说，也可能很有趣。对于不熟悉这些主题的读者，文章假设他们至少具备基本的 C 语言知识。
文章首先测量了传说中的 FizzBuzz 程序的性能，并遵循 StackOverflow 帖子中规定的规则。FizzBuzz 程序以 36GiB/s 的速度产生输出。作者的机器上的 L2 缓存是 256KiB，文章中的程序也将输出 256KiB 的数据块，但不会进行任何“计算”。作者尝试测量合理缓冲大小的程序写入管道的上限。
文章提供了 write.cpp 和 read.cpp 两个程序的代码，分别用于写入和读取。write 程序不断写入相同的 256KiB 数据，而 read 程序读取 10GiB 数据后终止，并打印吞吐量。两个程序都接受各种命令行选项以改变它们的行为。
使用 write 和 read 系统调用进行第一次尝试，使用与 FizzBuzz 相同的缓冲区大小。文章展示了 write 端的代码，并解释了 memset 的作用。write 调用负责所有工作，其余部分确保整个缓冲区被写入。read 端非常相似，但读取数据到缓冲区，并在读取足够数据后终止。
文章通过 perf 工具分析了程序的耗时，并发现大部分时间都花在了 pipe_write 上，这是 write 调用解析到的，如果我们正在写入管道。在 pipe_write 中，3/4 的时间用于复制或分配页面。为了完全理解发生了什么，我们需要首先了解管道是如何工作的。
https://news.ycombinator.com/item?id=44344708