Linux磁盘I/O子系统图。该图表示Linux磁盘I/O子系统的组件以及各层对应的命令。 Linux磁盘I/O图由以下部分组成： 应用层 VFS（虚拟文件系统）：直接I/O或Buffer+页面缓存 文件系统层 可选的块层 通用的块层 磁盘调度层：BLK-Mq或经典I/O调度器（noop, anticipatory, deadline, cfq, ...） 块设备驱动层 设备驱动 硬件：RAID控制器或磁盘控制器 硬盘驱动器（HDD, SSD, NVMe, ...）。 该图是书籍《操作系统和计算机网络 - Linux应用》的组成部分：https://doi.org/10.5281/zenodo.8119310
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Linux 磁盘 I/O 图 (2024) (zenodo.org)
105 分，由 vismit2000 1 天前发布 | 隐藏 | 过去 | 收藏 | 2 条评论
Deeg9rie9usi 1 天前 | 下一个 [–]
也请看这个：
https://www.thomas-krenn.com/en/wiki/Linux_Storage_Stack_Dia... 回复
Too 1 天前 | 上一个 [–]
几天前发布的这个也值得一看：https://news.ycombinator.com/item?id=45639995 整个 Linux 网络堆栈图 (2024) 回复
考虑申请 YC 的 2026 年冬季批次！申请截止日期为 11 月 10 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
截至2022年末，大型机行业仅剩六家公司：IBM、富士通、NEC、日立、Unisys和Atos。IBM在全球占据主导地位，拥有3000-7000家客户，并提供最高的性能。Unisys专注于拉丁美洲和东亚，服务于银行/电信（MCP）和航空公司/政府（OS 2200）领域。 富士通在全球范围内保持存在，但不包括北美，其不同的大型机系列主要在日本和德国使用。日立现在使用重新贴牌的IBM Z系统，并搭配自己的操作系统（VOS3），几乎完全服务于日本市场。 Atos（前身为Bull）支持两种独特且不兼容的操作系统（GCOS 7 & 8），客户群较小，位于西欧。NEC也主要专注于日本，继续为其ACOS-4操作系统设计自己的处理器。 尽管大多数厂商曾经开发定制CPU，但富士通即将结束其CPU开发，而日立已经转为使用IBM硬件。尽管操作系统和架构碎片化，大型机仍在世界各地的关键行业中运行。
## AI 与设计：现状评估
尽管炒作很多，但目前的人工智能并未彻底改变设计领域或取代设计师。经过2.5年的发展，没有证据表明人工智能工具提高了设计师的生产力或导致了工作岗位流失。虽然人工智能在*某些*任务上可以提高效率，但通常比手动完成工作需要更多精力。
核心问题在于优秀的设计源于一个整体过程——理解商业目标、品牌身份和用户需求——而这正是简单的聊天式人工智能无法复制的。人工智能擅长模仿现有风格，但在新颖性、复杂约束或真正原创的作品方面却力不从心。它最适合需要“氛围”而非精确度的任务。
目前，人工智能工具在个人项目、快速原型设计和小型公共项目方面显示出最大潜力，*尤其*是对于那些具备一定编程知识的人。设计师应该专注于人工智能难以处理的技能：复杂、跨学科和新颖的设计；需要严格约束以及对品牌和用户背景有深刻理解的工作。
最终，“人类证明”——独特、深思熟虑的设计——将变得越来越有价值。拥抱复杂性并不断磨练核心技能的设计师将保持不可或缺。
## ImageConverter.dev：快速且免费的图像转换
ImageConverter.dev 提供一系列免费的、基于浏览器的图像转换工具，主要专注于在 PNG、JPG 和 WebP 格式之间进行转换。该服务优先考虑用户隐私 – **所有转换都在您的浏览器本地进行，无需上传或创建帐户**，即使在初始加载后也能离线使用。
具体而言，PNG 转 JPG 转换器允许用户通过简单的拖放或文件选择，立即将 PNG 图像转换为高质量的 JPG 图像。它支持高达 50MB 的文件，并保持图像分辨率，仅在必要时应用轻微压缩。PNG 图像中的透明背景在 JPG 转换期间将被展平为白色。
除了 PNG 转 JPG 之外，该网站还提供图像调整大小（单个和批量）以及网站截图工具。它是一个完全免费且无限制的基本图像处理资源。
## 交通信号灯协议 (TLP) 摘要 交通信号灯协议 (TLP) 由 FIRST 标准化，截至 2022 年 8 月，它通过一个简单的标签系统促进敏感信息共享。它设计用于人与人之间的沟通，但也可用于自动化系统。TLP 不是处理或加密数据的分类方案，也不会影响法律披露要求。 TLP 使用四个标签 – **RED**、**AMBER**、**GREEN** 和 **CLEAR** – 始终大写且不翻译。这些指示了共享边界： * **RED:** 仅供单个接收者使用，不得进一步披露。 * **AMBER:** 在组织内部以及向需要了解的客户共享（或仅组织内部，使用 "+STRICT"）。 * **GREEN:** 在您定义的社区内共享。 * **CLEAR:** 可公开共享，无限制。 信息的 *来源* 决定标签和任何其他限制，并负责确保接收者理解它们。需要更广泛传播的接收者必须获得明确许可。适当的格式 – 文档中的页眉/页脚，消息中的前缀 – 以及用于可访问性的颜色编码对于有效的 TLP 实现至关重要。
## 声致发光：来自塌陷气泡的光 声致发光是指液体中受到声波激发时，内爆气泡发出的光。这源于**绝热压缩**——快速的气泡塌陷阻止热量散失，导致极高的温度（估计为5000-20000K，可能更高）。发出的光的频谱存在争议，可能由**黑体辐射、谱线发射和轫致辐射**组成。 巨大的压力（吉帕斯卡级别）产生光学不透明的等离子体。研究人员一直在探索这些条件是否可以在气泡内诱导**核聚变**，一些人声称成功，但可重复性仍然是一个主要问题。 即使核聚变*是*可实现的，仍然存在重大障碍：在不破坏过程的情况下**有效提取能量**，以及**控制空化作用**以产生和维持大量气泡，而不会形成泡沫。此外，典型的核心温度可能不足以维持聚变。尽管存在这些挑战，声致发光仍然是一个引人入胜的研究领域，它提供了对微观尺度极端物理学的洞察。
## Asahi Linux 进展更新 - Apple Silicon
Asahi Linux 继续在为 Apple Silicon 设备带来完整 Linux 支持方面取得进展。最近的开发重点是 Linux 6.17 和 6.18 的内核补丁，包括 M2 Pro/Max/Ultra 芯片的设备树。一项关键转变正在进行中，即将关键的 m1n1 引导加载程序用 Rust 重写，旨在提高可维护性和安全性。
游戏兼容性也在不断提高，Wine 现在可以在 muvm 环境之外运行，并且图形驱动程序也在不断成熟。
虽然 M1 和 M2 的支持仍然是首要任务，但开发者*已经*在 M3 芯片上实现了基本的启动功能——尽管目前仅限于闪烁的光标。这一初步步骤允许进行底层逆向工程，为未来可用的支持铺平道路。更多更新和详细信息可在 AsahiLinux.org 网站上找到。
受一篇关于即使是“琐碎”证明的价值的讨论启发——呼应安全检查清单中即使是显而易见陈述也需要验证的情况——作者探讨了使用Lean等工具形式化数学的好处。除了仅仅捕捉错误，形式化还提供了类似于软件开发中TypeScript的优势。 虽然TypeScript最初的吸引力在于错误检测，但其真正的力量在于能够提供更好的工具（如代码导航和重构）并作为一种设计语言。 类似地，Lean为数学家提供了当前不可用的IDE类功能——可点击的定义、自动文档和强大的搜索能力。 此外，形式化允许进行“元数学”分析，跟踪定理依赖关系并可能揭示新的证明路径。它还为数学结果引入了版本控制，确保一致性并促进更正。即使仅仅形式化*陈述*，正如文艺复兴慈善项目所演示的那样，也证明了其价值。 尽管要求更严格的证明写作（即使对于看似明显的情况），作者认为这些好处——提高效率、改进工具和更精简的数学真理演进——可以彻底改变数学的工作方式。
## Hacker News 讨论：为什么形式化数学？
最近 Hacker News 的讨论围绕一篇探讨形式化数学益处的博文展开，超越了简单的错误检测。用户强调 **Lean**，一个定理证明器，是学习和*进行*数学运算的强大工具。Lean 直观的界面和缩写展开使得操作形式化表达式更容易，主动地教导用户并捕捉非正式推理。
几位评论员强调，形式化不仅仅是关于正确性，而是关于**改变数学家的思考和协作方式**。它使得数学能够采用类似软件开发的模式——版本控制、库和清晰的抽象——从而可能加速研究。
讨论涉及了哲学意义，一些人认为**形式主义能够澄清直觉**，而自然语言无法做到。另一些人则警告不要将抽象概念具体化，以及认识任何形式化系统内在的本体论承诺的重要性。关于人工智能的作用存在争论，一些人认为它与形式化互补（检查人工智能生成的证明），而另一些人则对其直接影响表示怀疑。
最终，这次对话强调了形式化不仅仅是验证现有的数学，而是关于**转变数学过程本身**，可能为新的发现和协作开辟新的途径。
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.