本摘要重点介绍了关于 PostgreSQL 大规模连接性的工程实验发现。
**问题:“套接字税” (Socket Tax)**
PostgreSQL 的协议本质上是同步的:一个连接对应一个活动查询。在应用程序与数据库被网络延迟(如跨区域)隔离的分布式架构中,传统的 TCP 连接池会成为瓶颈。由于每个 TCP 套接字都需要内核资源和三次握手,工程师被迫限制连接池大小,这会导致客户端出现大量的排队、内存膨胀以及数据包丢失时的“队头阻塞” (Head-of-Line blocking) 问题。
**解决方案:QUIC 多路复用**
通过在 QUIC (UDP) 而非 TCP 之上运行 Postgres 协议,作者实现了一个系统,使数百个查询可以共享少量物理 UDP 关联。由于 QUIC 流是虚拟的,它们不需要新的文件描述符或内核握手。
**实验结果**
在高负载下,基于 QUIC 的架构实现了:
* **延迟降低 30 倍**(246ms 对比 7,088ms)。
* **吞吐量翻倍**(9,718 QPS 对比 4,749 QPS)。
* **内存占用减少 80%**。
尽管 QUIC 并不能解决多语句事务相关的问题(因为这些事务仍会锁定后端连接),但在分布式环境下,它有效地消除了高吞吐量、单语句工作负载中的传输层瓶颈。
“鲍尔默峰值”(Ballmer Peak)是一个源自网络漫画《xkcd》的幽默概念,意指程序员在血液酒精浓度精确达到 0.1337% 时,能够发挥出超人的生产力。这一术语是对前微软首席执行官史蒂夫·鲍尔默以及科学领域“巴尔末系”(Balmer series)的戏谑性致敬。
尽管该概念缺乏科学依据,但它已成为编程文化中的一个重要元素,甚至激发了“鲍尔默峰值马拉松”等活动的举办。针对酒精对编程影响的严谨研究一致表明,随着醉酒程度加深,表现会随之下降。然而,包括 2024 年在 SIGBOVIK 会议上发表的一篇论文在内的讽刺性研究,仍在出于喜剧效果持续测试这一理论。虽然这些研究大都证实酒精损害会妨碍表现,但“鲍尔默峰值”的传说依然是计算机科学界一个经久不衰的轻松神话。
作者正在从零开始重写一个文本编辑器,并主要依赖人工智能(特别是 Claude/Opus)来生成代码。起初这只是一个学习练习,如今已演变成一个功能丰富且实用的工具。通过采用“单线程”工作流——即设计任务、向 AI 提问、审查结果——作者保持了稳定且愉悦的开发进度,同时将倦怠感降至最低。 该项目的架构被拆分为核心逻辑模块(crate)和 IO 处理模块,这使得全面的端到端测试和模糊测试成为可能。这些自动化检查作为一道关键的安全防线,防止了“劣质代码”和回归错误的产生。为了保持掌控力,作者通过快照测试来验证公共接口,并利用自动化性能检查来捕捉意外出现的平方级复杂度代码。 作者认为,人工智能从根本上改变了质量与工作量之间的边界。虽然机器人需要清晰、明确的指令以避免“邪恶精灵”式的错误,但它们现在确实让个人能够构建过去因耗时太长而无法尝试的复杂软件。最终,作者将其视为软件创作的平民化:尽管过程不再那么“手工匠气”,但通过 AI 生成可靠代码的能力是一个深刻的飞跃,它将复杂的系统编程转变成了一种可触及的日常实践。
由于内存布局规则的细微差异,在 Rust 和 WebGPU (WGSL) 之间共享配置数据往往极易出错。手动同步不仅繁琐,一旦出错还可能导致严重的 GPU 故障。 为了解决这一问题,作者开发了一种系统化的单元测试方法。通过利用 `naga`(已用于着色器编译)解析 WGSL 布局,并将其与 Rust 结构体进行交叉比对。最初的手动测试既笨拙又依赖硬编码,因此作者引入了 `facet` 库,为 Rust 结构体提供了运行时反射功能。 通过在 Rust 配置对象上派生 `facet::Facet`,作者创建了一个通用的检查函数,能够自动验证结构体偏移量、成员大小以及与 WGSL 定义一致的总布局。该方案支持计算着色器中常见的动态数组类型。这种轻量级解决方案不会给生产构建带来运行时开销,并提供了一种稳健且可扩展的方法,确保在代码库演进过程中,CPU 与 GPU 之间的数据交换始终保持完美对齐。
1942年12月2日,芝加哥大学的科学家们利用一座建在橄榄球场下、简陋粗糙的反应堆“芝加哥一号堆”,实现了世界上首次自持核反应。这项由国际物理学家团队秘密进行的高风险实验,是曼哈顿计划的关键组成部分。从该反应堆收集的数据,为制造“三位一体”核试验及投向长崎的原子弹所需的钚提供了重要基础。 该项目处于战时极端保密和猜忌的氛围之中,包括恩里科·费米在内的许多卓越贡献者都被贴上了“敌国侨民”的标签。随着核开发重心转移到与世隔绝的洛斯阿拉莫斯实验室,芝加哥的研究人员开始审视其工作的伦理后果。由詹姆斯·弗兰克领导的一个小组提交了一份报告,警告不要在城市使用原子武器,并以著名言论警示称,此类行动有使美国成为“新德国”的风险。尽管存在这些道德上的反对意见,政府的军事目标却未曾改变,这巩固了该反应堆在开启原子时代以及随后引发深远政治和伦理困境中的作用。
由于 Last.fm 移除了原生的 RSS 支持,开发者 @xiffy 创建了一个可靠的替代方案。该服务允许用户通过简单替换所提供链接中的用户名,来生成针对其 Last.fm 个人资料的自定义 RSS 订阅源。 目前可用的订阅源包括: * **近期曲目** * **收藏曲目** * **热门曲目和艺术家**(支持自定义周期:从 7 天到全部时间) * **推荐曲目**(提供 RSS 和兼容 Soundixx 的 JSON 两种格式) 订阅源现在还包含作为附件的高分辨率曲目图像。该项目是为应对 Last.fm 功能衰退而推出的“挫败驱动型”解决方案,其特点是轻量级、注重隐私,且完全没有广告、追踪器和冗余脚本。你可以通过将示例 URL 中的 “thexiffy” 替换为你自己的 Last.fm 用户名来访问你的订阅源。
麦当劳正日益利用人工智能为其在美国近1.4万家门店制定菜单价格。该AI引擎通过分析数百万笔交易和竞争对手的数据来预估“客户的支付意愿”,这往往导致同一款商品在邻近门店的价格出现显著差异。 尽管麦当劳称该工具是一个旨在优化价值的非强制性建议系统,但许多加盟商表示,他们受到了公司总部的压力,要求其遵循算法的指导。这一策略旨在提高整体收入(公司收入主要来自总销售额的提成),但却与面临运营成本上升且需要更高利润率的店主之间产生了矛盾。 此举带来了重大的声誉和法律风险。消费者历来对算法价格歧视持负面态度,法律专家也警告称,该系统可能会招致反垄断审查,因为该公司自身也承认加盟商可能被视为竞争对手。尽管麦当劳坚称该工具能帮助加盟商做出明智的决策,但这种对AI驱动定价的推动,凸显了企业总部与当地店主之间日益加剧的权力斗争,同时该品牌还正面临客流量下滑以及公众对动态定价模式的强烈质疑。