ZhuLink ZhuLink
登录

【HN中文日报】今日科技头条：皮克斯《玩具总动员》幕后故事、Erlang 崛起、AI 写作时代… 程序员必看！

意外富翁 · 3个月前 · News · 37 · 0

今天 Hacker News 社区聊了啥？ NO.20251111

今天的新鲜事儿真不少！带你穿越回《玩具总动员》的胶片时代，揭秘 CG 动画的诞生历程；再听听程序员和 Erlang 的爱情故事，感受函数式编程的魅力。还有多人在线小游戏 Gametje 让你和朋友随时开黑，以及 AI 如何重塑写作方式的深度思考。更有海洋塑料降解细菌、RISC-V 低功耗 MCU、Z-machine 解题等硬核技术等你来探索！快来一探究竟，别掉队啦！

Hacker News 中文精选

《玩具总动员》的幕后故事：胶片与数字的交融

本文回顾了《玩具总动员》的制作历程，揭示了早期 CG 动画在胶片和数字技术之间过渡的幕后故事。当年，皮克斯如何将完全由电脑制作的动画电影搬上大银幕，以及最初的电影版本与后来数字修复版之间的差异。

在 1995 年，《玩具总动员》被誉为首部全 CG 动画长片，但由于当时的计算机技术限制，影片的每一帧都需要打印到胶片上才能在影院放映。皮克斯的团队深知胶片与数字屏幕的差异，因此在色彩调校上格外用心，以确保最终在胶片上的效果符合预期。艺术指导 Ralph Eggleston 提到，绿色在胶片上会很快变暗，而红色则保持得比较真实；蓝色需要降低饱和度，才能在胶片上看起来饱和，而橙色在电脑屏幕上看起来很糟糕，但在胶片上却很棒。

为了保证质量，皮克斯使用高分辨率的显示器来模拟胶片效果，并在电影制作过程中不断进行校准。David DiFrancesco 带领的团队使用改装的 Solitaire Cine II 电影打印机，将数字图像逐帧曝光到胶片上，这个过程非常耗时，打印 30 秒的电影需要 9 个小时。

1998 年的《虫虫危机》是皮克斯第二部动画长片，他们继续沿用了为胶片设计的视觉效果。然而，皮克斯也开始关注胶片转换为家庭视频时图像质量下降的问题。因此，在《虫虫危机》的 DVD 版本中，皮克斯开发了一种直接从数字图像到视频的转换方法，避免了胶片这个中间环节。《虫虫危机》也因此成为首部数字到数字传输的 DVD。

21 世纪初，《玩具总动员》也进行了数字修复，色彩更加鲜艳，画面更加清晰，但同时也失去了胶片原有的柔和感和质感。

本文带领读者回顾了《玩具总动员》的制作过程，展现了早期 CG 动画在技术上的挑战和创新，以及胶片和数字技术之间的微妙差异。

Erlang 的魅力：一位程序员的自述

本文讲述了作者如何从对编程的困惑到爱上 Erlang 的过程，Erlang 解决了他长期以来对编程的疑问，并展示了函数式编程、分布式系统和容错性的优雅结合。

作者小时候学习 BASIC 编程时，对 X = X + 1 这种数学上不成立的赋值感到困惑，认为这是一种谎言。大学期间学习 C 语言时，虽然尝试理解指针和内存管理，但始终无法真正理解编程的本质。直到接触 Prolog 语言，通过递归的方式解决求和问题，他才开始体会到编程的真正含义：描述事物是什么，而不是如何一步步计算。

后来，作者在一次桥牌比赛中了解到 Erlang 语言，Erlang 让他眼前一亮。通过 Erlang，他可以轻松地构建分布式系统，实现不同节点之间的消息传递，而无需复杂的 HTTP 协议或序列化过程。Erlang 的函数式编程、分布式特性和容错机制深深吸引了他，最终作者放弃了桥牌，全身心投入到 Erlang 的学习和使用中。Erlang 不仅仅是一门编程语言，更是一种编程哲学：允许程序崩溃、进程开销低廉、共享资源少、消息传递无耦合。作者推荐观看 "Erlang: The Movie" 以更深入地了解 Erlang 的魅力。

Gametje：休闲在线游戏平台，多人同乐新选择

Gametje 是一个可以让朋友、家人和同事一起玩的多人在线休闲游戏平台。它提供了一种简单的方式来创建游戏房间，并通过分享房间代码或扫描二维码邀请其他人加入。

玩家可以通过电脑、智能电视等设备访问 join.gametje.com 并输入房间代码加入游戏。游戏开始前，玩家可以选择自己的名字和头像。

Gametje 目前提供 Canvas Clash 游戏，支持 3-16 名玩家，每局游戏时长 15-20 分钟。平台还支持添加 AI 玩家，增加游戏的挑战性。

Gametje 的目标是提供一个方便快捷的多人游戏体验，无需复杂的安装或购买过程。用户只需打开网页，即可与朋友们一起享受游戏的乐趣。

评论区中，有用户对 Gametje 的理念表示赞赏，认为它挑战了 Jackbox 的游戏分发模式。Jackbox 采用“游戏包”的销售方式，而 Gametje 则提供了更加灵活和便捷的选择。

全球海洋中PETase细菌的广泛分布

这篇文章探讨了全球海洋中含有PETase（一种能降解塑料的酶）的细菌的广泛分布情况。研究发现，这些细菌不仅存在于污染严重的区域，也在相对原始的海洋环境中被发现，表明塑料降解能力可能已经在海洋微生物群落中普遍存在。

PETase的发现为塑料污染的生物降解提供了新的希望。研究人员通过分析全球海洋的宏基因组数据，鉴定了大量潜在的PETase基因。这些基因的广泛分布暗示着海洋微生物可能正在适应塑料污染，并进化出降解塑料的能力。然而，文章也指出，目前这些酶的实际降解效率和对环境的影响还需要进一步研究。此外，不同海洋区域的微生物群落结构和环境条件可能影响PETase的活性和降解速率。

评论区中，有观点认为微生物快速适应环境变化并不令人惊讶，并推测未来哺乳动物的肠道菌群也可能进化出消化微塑料的能力。这种观点强调了生物进化的强大力量，以及微生物在应对环境挑战中的潜力。同时，这也引发了人们对未来环境变化的思考，以及生物适应可能带来的长期影响。

使用 Z-machine 进行 Advent of Code 解题

本文介绍了作者使用古老的 Z-machine 虚拟机和 Inform 6 语言来解决 Advent of Code 谜题的经历，展示了在资源受限的环境中进行编程的挑战和乐趣。

文章首先回顾了 Z-machine 的历史，它是由 Infocom 公司为了解决文本冒险游戏跨平台移植问题而设计的。作者提到，尽管现在有更强大的 Glulx 虚拟机，但 Z-machine 仍然活跃。为了学习 Z-machine 编程，作者选择了 Inform 6 语言，它是一种类似于 Z-machine 汇编语言的高级语言。

作者随后分享了使用 Inform 6 解决 Advent of Code 2024 第一天谜题的尝试。遇到的第一个问题是 Z-machine 的 16 位整数限制无法表示谜题的输入数据。为了解决这个问题，作者不得不使用数组来模拟长整数运算，并编写了诸如 long_plus 这样的函数来进行加法运算。作者还提到 Inform 6 的一些特性，例如使用冒号分隔 for 循环的各个部分，以及使用下划线前缀表示局部变量。尽管面临诸多限制，作者最终成功地使用 Z-machine 和 Inform 6 解决了谜题，展示了在古老技术上进行创造性编程的可能性。

Use-Tusk 的 Drift Node.js SDK：API 捕获与回放利器

Use-Tusk 开源了一个名为 drift-node-sdk 的 Node.js SDK，它主要用于捕获和回放服务间调用的 API。这个工具可以帮助开发者更方便地进行 API 测试和问题排查。

该 SDK 允许开发者记录服务之间的 API 调用，并将这些调用数据保存下来。之后，开发者可以使用这些数据来重放 API 调用，模拟真实场景，以便进行测试、调试或性能分析。该项目使用 Apache-2.0 许可，目前在 GitHub 上有 51 个 star 和 1 个 fork。通过捕获和回放 API 调用，开发者能够更有效地理解和调试他们的应用程序，尤其是在微服务架构中，服务之间的交互变得越来越复杂。

这个 SDK 似乎专注于简化 API 交互的测试和调试过程，为开发者提供了一种可靠的方式来重现和分析 API 行为。这对于确保应用程序的稳定性和可靠性至关重要。

Zig 和 C++ 互操作：共享数据类型的解决方案

本文探讨了在 Zig 和 C++ 之间共享数据类型的方法，重点是如何让两种语言都能在各自的结构体/类中存储对方的数据类型，而无需将所有 Zig 类型定义为 extern 类型。文章提出了使用 "opaque type" (不透明类型) 的宏定义，仅暴露类型的大小和对齐方式，从而避免暴露完整的类型定义。

文章的核心在于，当嵌入一个类型时，只需要其大小和对齐方式，而不需要完整的定义。Zig 和 C++ 都能在编译时验证类型的大小和对齐方式。因此，可以使用一个简单的宏来提供一个具有相同大小/对齐方式的 "opaque type"，并让类型的 "home language" 验证其正确性。文章给出了 SIZED_OPAQUE 宏的定义，该宏允许 Zig 包含存储 shared_ptr<Foo> 的字段，也允许 C++ 包含存储 zig-native Foo 结构体的字段。文章还展示了如何在编译时验证大小和对齐方式，以及如何根据不同的优化模式定义不同大小的 "opaque type"。

文章还讨论了如何使用指针在 Zig 和 C++ 之间传递类型。对于 shared_ptr，需要传递指向 shared_ptr 的指针，并定义 C++ 函数来移动类型或访问数据。为了简化 C++ 中的类型转换，文章提出了一个宏 DEFINE_OPAQUE_CONCRETE，该宏定义了 "opaque type" 和 "concrete type" 之间的转换函数，从而避免了大量的类型转换代码。使用该宏可以预先定义正确的转换，而无需为每个转换重新审查类型转换代码。

评论区主要讨论了 ABI 兼容性问题，例如结构体的传递方式可能受到结构体内部数据类型的影响，即使大小相同也可能导致传递方式不同。此外，还有评论提到了在 Rust 中使用 "opaque sized type" 的类似做法，通过 cbindgen 将大小和对齐方式传递给 C 代码，从而实现跨 FFI 边界使用非 FFI 安全的值。

脑内胆碱含量低与焦虑症相关

这篇文章探讨了脑内一种必需营养素——胆碱的含量与焦虑症之间的关联。研究发现，通过一种非侵入性的成像技术（1H-MRS），可以检测到焦虑症患者大脑中的胆碱水平偏低。

这项研究由加州大学戴维斯分校进行，强调了胆碱在维持大脑健康和调节情绪方面的重要性。胆碱是一种必需的营养素，对神经递质的合成至关重要，而神经递质在大脑的信号传递中起着关键作用。研究人员利用1H-MRS技术，能够非侵入性地测量大脑中胆碱的浓度，为研究焦虑症的生物学基础提供了新的视角。

研究结果表明，焦虑症患者的脑部胆碱水平显著低于健康个体。这一发现可能为开发新的焦虑症治疗方法开辟道路，例如通过饮食或补充剂来提高脑部胆碱水平。此外，这项研究也强调了营养在心理健康中的作用，提醒人们关注日常饮食中必需营养素的摄入。未来的研究可以进一步探索胆碱水平与不同类型焦虑症之间的关系，以及提高胆碱水平是否能有效缓解焦虑症状。这项研究为理解焦虑症的复杂机制提供了一个有价值的线索。

创意作品质量与努力的超线性关系

这篇文章探讨了为什么在创意工作中，随着作品质量的提升，所需的努力会呈现超线性增长的趋势，核心观点是创作过程本质上是分形探索和利用的结合，在高分辨率下，可接受的参数空间迅速缩小，验证延迟和率失真导致精度成本超线性增长。

文章作者认为，创作过程中，最初的探索阶段和后期的精细调整阶段并非截然分开，而是递归嵌套的。一旦确定了某个方向（例如音乐中的D小调），搜索空间就会被约束，需要在更小的范围内进行更精细的搜索。作者用自己的速写举例，说明即使是看似随意的创作，也是通过预先缓存的运动启发式来快速完成的，避免了真正的探索。不同领域和模式的创作，其“盆地”（可接受的范围）的宽窄和验证编辑的速度（反馈延迟）各不相同。例如，音乐 timing 在微观层面要求极高，而 prose 则相对宽松。作者用优化 landscape 的概念来解释这种现象：在宽阔的盆地中，粗略的方案很容易落地，但在陡峭的山峰附近，可接受的范围迅速缩小，需要更多的尝试和校正才能达到更高的质量。因此，作者认为 craft 的本质就是不断缩小那些难以察觉的差距。

评论区观点呈现出多样的视角。有人分享了木工的经验，指出人眼对线条偏差非常敏感，但纠正这些偏差需要付出巨大的努力，每缩小一半的差距，努力就会增加四倍。也有人提到，重做丢失的作业时，速度和质量都会提高，这可以看作是减少了最初的方案探索时间。还有评论者从数学角度提出质疑，认为可以通过映射函数将质量转化为亚线性关系。另外有评论者对文章的抽象表达表示不理解，认为应该更通俗易懂。总体来看，评论区对文章的观点既有支持，也有不同角度的解读和质疑，引发了更深入的思考。

iPhone 新配件：iPhone Pocket

苹果发布了一款名为 iPhone Pocket 的全新配件，旨在提供一种时尚便捷的 iPhone 携带方式。这款产品让用户可以更美观地穿戴和携带他们的 iPhone。

iPhone Pocket 似乎是苹果在可穿戴设备领域的一次新尝试，它不仅仅是一个简单的手机壳，更像是一种穿戴式的解决方案。通过 iPhone Pocket，用户可以将 iPhone 佩戴在身上，解放双手，同时也能方便快捷地访问手机。这款配件的设计理念强调美观与实用性的结合，旨在满足用户对于时尚和便捷的双重需求。苹果在新闻稿中强调了这款产品的设计美学，并表示它将成为 iPhone 用户展示个性的新方式。目前，关于 iPhone Pocket 的具体材质、颜色选择以及兼容的 iPhone 型号等细节信息尚未公布，但预计将在不久后陆续揭晓。这款配件的推出，或许也预示着苹果未来将在可穿戴设备领域投入更多的研发力量，探索更多可能性。

Hazel (YC W24) 招聘全栈工程师

Hazel 是一家 YC 孵化的初创公司，致力于利用 AI 提升美国政府的采购效率，目前正在招聘全栈工程师。他们希望通过技术创新，解决政府部门在采购过程中面临的效率低下和成本控制等问题。

Hazel 的目标是改变政府机构采购商品和服务的方式，涵盖从水瓶到下一代防御无人机等各种物品。他们的平台支持整个采购生命周期，包括需求识别、市场调研和评估等环节。作为全栈工程师，你将参与 Hazel 平台的架构和构建，与客户紧密合作，识别痛点并开发最具影响力的功能。你需要每周构建新功能，并解决各种具有挑战性的技术问题，同时参与团队规范、运营原则和文化建设。

Hazel 寻找具备三年以上全栈开发经验的工程师，熟悉 Typescript、Node.js、React/Next.js、Python、PostgreSQL/Supabase、AWS & Vercel、Cursor、Git 和 Docker 等技术栈。公司希望你具备良好的技术写作能力，能够编写用户培训、产品文档和提案。此外，对公共部门的创新充满热情，并具备持续学习和个人发展的动力。

作为一家使命驱动型公司，Hazel 注重团队合作和共同成长。他们提供有竞争力的薪酬（12 万美元至 20 万美元）和股权（0.5% 至 1%），以及全面的福利待遇，包括健康保险、401(k) 计划、搬迁补助和无限 PTO。公司鼓励员工打破障碍，勇于创新，为社会带来积极改变。

用象形文字说“Hello World”：一次有趣的翻译尝试

这篇文章讲述了作者突发奇想，想用古埃及象形文字来表达“Hello World”，并最终实现的过程。文章分享了将“Hello World”翻译成象形文字的有趣经历，以及背后涉及的文化和语言挑战。

作者在一次聚会中萌生了这个想法，但很快发现古埃及语中没有字母“L”，这给翻译带来了难题。为了解决这个问题，作者向埃及古物学专家寻求帮助，并愿意为了找到合适的表达方式而调整原文。最终，专家们将“Hello World”翻译成了“Welcome, the entire land”（欢迎，这片土地）。

文章详细列出了每个象形文字符号的含义，例如“Flowering reed with legs”（带腿的芦苇花）等等，并解释了象形文字的书写规则。作者还对翻译结果进行了艺术加工，并将其印在了T恤上。他希望通过这种方式，让更多人了解古埃及文化，并体会到其中的乐趣。

评论中，有读者指出文章缺少对每个象形文字具体含义的解释。并分享了一个链接，提供了关于“Welcome”这个词的象形文字构成信息，希望能帮助大家更好地理解。

高速X射线视频揭秘跳豆、发条玩具等内部运作

这段YouTube视频来自Applied Science频道，展示了使用高速X射线技术拍摄的各种物体的内部运动，包括跳豆和发条玩具。视频不仅展示了令人惊叹的内部细节，还深入讲解了背后的技术原理，特别是Dectris光子计数探测器的工作方式。

视频首先展示了跳豆内部的虫子是如何让豆子跳动的，然后展示了发条玩具内部齿轮的精巧运作。 紧接着，视频详细解释了光子计数探测器的工作原理，它与传统相机探测器的不同之处在于能够更精确地测量X射线光子的能量和数量。 这种探测器能够捕捉到传统X射线无法显示的细节，从而实现更高质量的成像。

视频还介绍了整个X射线成像系统的组成部分，包括X射线源、探测器以及用于数据采集和处理的服务器。 此外，视频还展示了其他有趣的实验，比如X射线下的电子设备和机械装置，揭示了隐藏在内部的复杂结构和运作机制。 总之，这段视频将科学原理与视觉奇观完美结合，让观众在欣赏的同时也能学到知识。

Upbeat Technology推出基于近阈值计算的RISC-V MCU

Upbeat Technology发布了一款采用近阈值计算的RISC-V MCU，旨在提升能效。这款新型MCU通过降低电压到接近晶体管阈值电压，显著降低功耗，同时保持可接受的性能水平。

近阈值计算是一种降低功耗的技术，通过降低供电电压到接近晶体管的阈值电压来实现。虽然这种方法会降低晶体管的开关速度，从而影响性能，但它能显著减少能量消耗。Upbeat Technology的这款MCU巧妙地利用了这一技术，在功耗和性能之间找到了平衡。

RISC-V架构的灵活性和开放性也为这款MCU的创新设计提供了便利。RISC-V允许开发者根据特定应用需求定制指令集，从而进一步优化性能和功耗。这款MCU特别适用于对功耗敏感的应用，例如物联网设备、可穿戴设备和便携式医疗设备。在这些应用中，延长电池续航时间至关重要。

这款MCU集成了多种外设接口，包括UART、SPI和I2C，方便与其他设备进行通信。它还具有丰富的功能，例如实时时钟、模数转换器和数模转换器，使其能够满足各种应用需求。Upbeat Technology的这款RISC-V MCU代表了低功耗计算领域的一项重要进展，为开发更节能的电子设备开辟了新的可能性。通过采用近阈值计算和RISC-V架构，这款MCU在能效方面实现了显著提升，同时保持了良好的性能和灵活性。

总而言之，这款MCU在物联网、可穿戴设备和便携式医疗设备等领域具有广阔的应用前景，有助于推动这些领域的技术创新和发展。

AI 正在取代人类读者？探讨为 AI 写作的未来

这篇文章探讨了一个引人深思的话题：AI 不仅可能取代人类写作者，还可能取代人类读者。文章指出，随着 AI 技术的快速发展，我们可能正在进入一个人类主要为 AI 写作的世界。

文章作者引用了经济学家 Tyler Cowen 的观点，认为现在每个人都在为 AI 写作，因为大型语言模型通过阅读整个互联网进行训练。为了让 AI 重视你的作品，你需要像 ChatGPT 那样写作，注重清晰的结构和格式化的标题。公关专家也发现，AI 倾向于优先考虑来自高质量渠道的信息。此外，文章还提到了 Gwern 的观点，他认为现在是写作的关键时刻，通过影响 AI 的思想，我们可以对冲人类变得多余的风险。

文章还指出，为 AI 写作与为人类写作有所不同。为 AI 写作时，你不需要提供大量的背景信息，因为 AI 已经了解所有背景知识。虽然这可能以牺牲人类受众或理解为代价，但从某种程度上来说，为 AI 写作比为人类写作更容易。总的来说，这篇文章引发了人们对 AI 时代写作的深刻思考，以及我们如何适应这个快速变化的世界。

DARPA 和德州大学押注 14 亿美元建设 3D 异构集成工厂

DARPA（美国国防高级研究计划局）和德克萨斯大学正在合作投资 14 亿美元，建设一座独特的芯片制造工厂，专注于 3D 异构集成技术。这项投资旨在推动芯片制造技术的创新，并提高美国在半导体领域的竞争力。

该工厂将采用 3D 异构集成技术，这意味着可以将不同的芯片组件（例如 CPU、GPU、存储器等）堆叠在一起，从而实现更高的性能和更低的功耗。与传统的 2D 芯片相比，3D 芯片能够更紧密地集成不同的功能，从而缩短信号传输距离，提高数据传输速度。

这座新工厂的建立，将有助于美国在半导体制造领域保持领先地位，并为国防、航空航天、人工智能等关键领域提供更强大的计算能力。此外，该项目还有望促进相关产业的发展，创造更多的就业机会。3D 异构集成被认为是超越摩尔定律的关键技术之一，它允许在单个封装中集成不同工艺和材料的芯片，从而实现性能、功耗和尺寸的优化。

该项目不仅关注技术创新，还注重人才培养，旨在培养下一代半导体工程师和科学家。通过与大学的合作，该项目将为学生提供实践机会，帮助他们掌握 3D 异构集成技术的相关知识和技能。这座工厂的建立，标志着美国在半导体制造领域迈出了重要一步，有望重塑全球半导体产业的格局。

CPU 上的高性能 2D 图形渲染：使用稀疏条带

本文介绍了一种在 CPU 上使用稀疏条带进行高性能 2D 图形渲染的技术。该技术旨在优化内存使用和渲染速度，特别是在处理大量图形数据时。通过使用稀疏条带，可以避免存储不必要的像素数据，从而减少内存占用。这种方法对于嵌入式系统或资源受限的环境尤其有用。

文章详细介绍了稀疏条带的结构和渲染过程。每个条带包含位置信息（x, y 坐标）和一个 alpha 索引，用于填充间隙。这种结构允许高效地表示具有透明度的 2D 图形。作者还讨论了如何优化渲染循环，以最大限度地提高 CPU 的利用率。通过并行处理多个条带，可以进一步提高渲染速度。

此外，文章还探讨了该技术与其他渲染方法的比较。实验结果表明，在某些情况下，基于稀疏条带的渲染方法可以优于传统的基于 GPU 的渲染方法。这主要是因为避免了 GPU 编译着色器的时间，以及减少了内存复制的开销。

最后，文章还提到了该技术在 Web 平台上的潜在应用。由于 WebGPU 需要在运行时编译着色器，因此在初始阶段使用 CPU 渲染器可能是一种可行的方案。随着 GPU 着色器编译完成，可以切换到 GPU 渲染，从而实现更流畅的用户体验。

评论区也出现了不少有意思的观点。

有人指出了文章中关于内存计算的错误，认为条带的实际大小是 8 字节而不是 64 字节，从而导致总内存占用计算错误。

也有人提到了 Blaze，另一个 CPU 上的并行光栅化渲染器，并分享了相关链接。

还有人对该项目的实际应用场景进行了思考，认为在 WebGPU 逐渐普及的情况下，这种 CPU 渲染器可以作为一种过渡方案，在 GPU 着色器编译期间提供快速渲染。

此外，还有人对渲染器的单核性能进行了关注，认为单核性能更能体现代码的效率。最后，有人提出了将该技术应用于高精度 N 体路径渲染的可能性。

TigerBeetle 的“先读后写”原则：保证金融交易数据一致性

本文探讨了在没有事务支持的情况下，如何通过“先读后写”原则来保证 TigerBeetle 金融交易数据库与 Postgres 等其他数据存储之间的数据一致性。文章强调了在分布式系统中，即使各个组件本身是正确的，组合起来也未必能保证整体的正确性。

文章的核心在于阐述了在 Postgres 存储账户持有人的姓名、地址等主数据，而 TigerBeetle 负责账户和转账的场景下，如何保证数据的一致性和可追溯性。由于 Postgres 和 TigerBeetle 之间没有事务边界，应用程序必须通过重复尝试和协调来保证一致性。文章提出了两个关键的安全属性：一致性（Consistent）和可追溯性（Traceable）。一致性指的是 Postgres 和 TigerBeetle 中的账户必须相互对应，而可追溯性指的是 TigerBeetle 中余额为正的账户必须在 Postgres 中存在。

在没有事务的情况下，系统可能会出现临时的不一致，但必须始终保持可追溯性，以避免资金丢失。文章强调了确定“记录系统”（System of Record）和“参考系统”（System of Reference）的重要性。TigerBeetle 被指定为记录系统，这意味着账户一旦在 TigerBeetle 中创建，就代表该账户在系统范围内存在。因此，必须先写入参考系统（Postgres），最后写入记录系统（TigerBeetle），这就是“先读后写”原则。

文章还提到了使用 Resonate 的 durable execution framework 来简化一致性保证，即使在没有事务的情况下也能实现最终完成。为了应对 checkpointing 带来的重复执行问题，每个操作都必须是幂等的。文章最后通过代码示例说明了如何实现幂等的账户创建函数。

开发者们都在做什么？2025年11月项目分享

这篇文章汇总了2025年11月开发者们正在进行的项目，涵盖了AI工具、游戏、效率工具等多个领域。开发者们分享了他们的项目，并寻求社区的反馈。

文章中，我们可以看到各种各样的项目。例如，有人在构建AI编码工具的持久性内存基础设施，解决AI在不同工具间切换时遗忘上下文的问题。有人开发了每日填字游戏，并加入了社区共建拼图的功能。还有开发者致力于提高SEO产品的可靠性，以及开发本地多人派对游戏平台。此外，还有用于为文件系统结构添加过期日期的CLI工具，复古效率软件博客，以及结合了Pokémon GO和Pokémon Snap元素的观鸟游戏。数据中心设计工具、Tailwind风格的颜色调色板生成器，以及免费开源的发票生成器也出现在分享列表中。

评论区里，大家纷纷介绍了自己正在开发的项目，并积极寻求反馈。从AI工具到游戏，再到各种实用工具，展示了开发者们的多样化兴趣和创造力。不少开发者都贴出了项目链接，方便大家体验和提供建议。评论区也体现了开发者社区互帮互助的精神，大家积极分享，共同进步。

使用 dvrescue 自动化家庭视频导入

本文主要讨论了如何使用 dvrescue 工具，以尽可能无损的方式将旧的家庭视频（包括 MiniDV 和 Hi8 磁带）数字化，并探讨了不同格式的处理方法和存储策略。

作者分享了将旧家庭录像带数字化的动机，避免磁带随时间推移而退化，并希望以最高质量进行存档，以便可以放心地丢弃物理磁带。文章详细介绍了处理各种视频格式（如 CD/DVD、MiniDV、Hi8 磁带等）的方法。对于 CD/DVD，直接创建可挂载的 ISO 镜像；对于 MiniDV 和 Hi8 磁带，则通过 Firewire 接口捕获原始字节流（.dv 格式）。作者对比了 Composite capture 和 dvlink 两种方式，推荐使用 dvlink 以获得最无损的质量。文章还强调了使用 dvrescue 工具的重要性，它可以精确地从磁带读取 DV 字节流，并支持远程控制摄像机。作者计划先将视频以原始格式保存，然后再使用 Handbrake 或 FFmpeg 将其转换为接近存档质量的 MKV 格式，以便于媒体服务器索引，同时保留原始文件以备将来重新转换。最后，作者预估原始文件大约需要 1TB 的存储空间。
已复制到剪贴板

评论 0 条

暂无评论，来种下第一颗种子。