2026-04-10

电子前沿基金 (EFF) 宣布退出 X 平台：总结

电子前沿基金 (EFF) 宣布结束其在 X (前身为 Twitter) 平台的活动，结束了近二十年的存在。该决定并非轻率之举，而是基于平台性能显著下降的现实。

数据下降：

• 2018 年，EFF 每天在 Twitter 上发布 5-10 条推文，每月获得 50-100 百万次曝光。
• 2024 年，EFF 发布 2500 条 X 推文，每月曝光量仅为 200 万次。
• 去年，1500 条推文全年曝光量仅为 1300 万次。
• 如今，一条 X 推文的曝光量仅为七年前一条推文的 3% 以下。

对 Elon Musk 收购后的期望落空：

EFF 在 Elon Musk 收购 Twitter 后，曾明确提出了改进建议，包括：

• 透明的内容审核： 公开政策、清晰的申诉流程，并重申对《圣克拉拉原则》的承诺。
• 真正的安全改进： 包括为私信提供真正的端到端加密。
• 更大的用户控制： 允许用户和第三方开发者通过过滤器和互操作性来控制用户体验。

然而，Musk 随后解散了人权团队，并裁减了在审查制度压力下为公司辩护的员工。

继续留在其他平台的原因：

EFF 解释说，尽管退出 X 平台，但他们仍然活跃于 Facebook、TikTok 和 Instagram 等主流平台。原因在于：

• EFF 致力于保护所有人的数字权利，包括那些深陷大型平台监控的用户。
• 这些平台是年轻人、有色人种、 LGBTQ+ 群体、活动家和组织者的重要枢纽，用于政治组织、文化表达和社区互助。
• 完全退出这些平台并不总是现实或可行的，例如小企业依赖 Instagram 获取客户，或互助网络利用 TikTok 传播关键信息。
• EFF 在这些平台上持续批评平台政策，并采取法律行动挑战不良行为。

未来计划：

EFF 将把资源投入到其他平台，包括 Bluesky、Mastodon、LinkedIn、Instagram、TikTok、Facebook、YouTube 和 eff.org。EFF 强调，数字权利的保护工作比以往任何时候都更加重要，并鼓励大家继续支持他们的工作。他们希望帮助大家“夺回控制权”。

总而言之，EFF 退出 X 平台是由于平台性能下降和对 Musk 领导下的平台方向感到失望的结果。然而，EFF 仍然致力于保护数字权利，并将继续在其他平台上开展工作。

法国减少对非欧盟数字依赖的行动总结

概述：

在总理、公共行动和公共账户部长以及负责人工智能和数字事务的副部长的主导下，法国数字事务管理局（DINUM）于2026年4月8日组织了一场跨部门研讨会，旨在加强减少对非欧盟数字依赖的集体动力。研讨会汇集了部长、政府部门、公共运营商和私营部门参与者，标志着法国和欧洲在数字主权方面的战略加速。

核心要点:

• 国家层面的承诺加强： 研讨会明确了目标：减少国家对非欧盟数字的依赖。这与总理最近发布的指令（例如，数字公共采购和“Visio”视频会议工具的推广）相一致。

• 具体措施：

  • 工作站迁移： DINUM宣布将放弃Windows，转向基于Linux操作系统的系统。
  • 迁移至主权解决方案： 国家医疗保险局宣布其8万名员工将迁移至跨部门数字基础工具（Tchap、Visio和FranceTransfert）。
  • 健康数据平台迁移： 政府宣布将于2026年底前将健康数据平台迁移至可信解决方案。

• 集体和欧洲动力： 研讨会启动了一种新的方法，通过组建部门、大型公共运营商和私营部门的联盟，推动脱离依赖。该方法旨在汇聚公共和私营部门的资源，围绕具体项目展开，并利用数字公地和互操作性标准（如Open-Interop、OpenBuro）。

• 未来展望与承诺：

  • 跨部门计划： DINUM将协调一个跨部门计划，以减少对非欧盟数字的依赖。每个部门（包括运营商）必须在秋季前制定自己的计划，涵盖工作站、协作工具、杀毒软件、人工智能、数据库、虚拟化和网络设备等领域。
  • 工业合作： 这些行动计划旨在向数字工业部门提供关于国家需求的可见性，从而利用其优势。
  • 目标量化： 国家采购局（DAE）的依赖性地图和诊断工作，以及总企业局（DGE）主导的欧洲数字服务定义工作，将有助于明确减少目标的具体数字和时间表。
  • 工业会议： DINUM将于2026年6月组织首次“数字工业会议”，以巩固公共-私营部门联盟，并正式建立“欧洲主权公共-私营联盟”。

总结：

法国政府正积极采取措施，减少对非欧盟数字技术的依赖，并通过制定跨部门计划、鼓励私营部门参与和加强欧洲合作，以提升数字主权。

莱昂四世与五角大楼：一场关于权力与信仰的冲突 (Pope Leo XIV and the Pentagon: A Conflict of Power and Faith)

这篇文章揭露了美国国防部与梵蒂冈之间一场鲜为人知的冲突，以及由此引发的对教皇莱昂十四世访问美国的计划搁置。

事件经过:

• 五角大楼的警告: 今年1月，美国战争政策副部长埃尔布里奇·科尔比（Elbridge Colby）在五角大楼秘密会见了教皇莱昂十四世当时的驻美国大使，枢机主教克里斯托夫·皮埃尔（Cardinal Christophe Pierre）。 科尔比及其团队向枢机主教宣讲，美国拥有强大的军事力量，可以在世界范围内为所欲为，并要求天主教会明确站在美国一边。
• 威胁与历史回溯: 在争论升级过程中，一位美国官员引用了14世纪的“阿维尼翁教皇制”时期，暗示美国可能采取军事手段来胁迫罗马教皇，如同当时法国王室控制教皇一样。
• 对教皇立场的批评: 科尔比团队仔细分析了教皇莱昂十四世1月份发表的“世界局势演说”，认为其是对美国政府的敌对姿态。他们尤其愤怒于教皇声明“以武力为基础的外交正在取代促进对话和寻求共识的外交”，认为这挑战了特朗普-万斯政府的“唐洛ctrine”（Donroe Doctrine，即对美洲地区美国霸权的更新）。
• 梵蒂冈的立场坚定: 枢机主教皮埃尔在整个演讲中保持沉默，梵蒂冈自此没有让步。

教皇访问美国的计划搁置:

• 最初的邀请: 2025年5月，特朗普-万斯政府的司法部长JD万斯（JD Vance）亲自邀请教皇莱昂十四世参加2026年美国建国250周年庆典。
• 原因与拒绝: 梵蒂冈最初考虑了邀请，但随后无限期推迟，原因是：
  • 外交政策分歧
  • 美国主教对特朗普-万斯政府大规模驱逐移民政策的反对
  • 不愿成为2026年中期选举的政治工具。
• 替代行程: 2026年7月4日，美国第一位教皇罗伯特·弗朗西斯·普若斯特（Robert Francis Prevost）将前往意大利的兰佩杜萨岛（Lampedusa），该岛是数千名北非移民漂流到岸上的地方。这一日期被认为并非偶然。

事件的影响:

• 教皇的姿态更加强硬: 五角大楼会面后，教皇并没有采取外交退让的策略，反而更加积极地发声。
• 呼吁结束伊朗战争: 教皇莱昂十四世已呼吁美国国会议员结束在伊朗的战争。

总结:

这篇文章揭示了美国政府与梵蒂冈之间因对外交政策和世界秩序的不同看法而产生的紧张关系。五角大楼的威胁和对教皇立场的批评，导致了教皇访问美国的计划搁置，并促使教皇采取更加强硬的姿态，呼吁和平与对话。 此次事件也凸显了美国政府试图利用宗教力量来维护其霸权，以及梵蒂冈对维护其独立性和道德权威的坚定决心。

macOS 空间切换问题的解决方案：InstantSpaceSwitcher 总结

本文讨论了 macOS 中空间切换动画令人困扰的问题，并介绍了几种解决方案，最终推荐了一个名为 InstantSpaceSwitcher 的工具。

问题描述：

作者认为 macOS 空间切换动画过于缓慢，影响效率，并且苹果公司一直忽略用户禁用动画的请求。

现有解决方案及缺点：

• 减少动态效果 (Reduce Motion): 虽然可以减少动画，但并不能完全消除，而且会影响网页浏览体验。
• yabai 窗口管理器: 通过二进制补丁实现即时切换，但需要禁用系统完整性保护 (System Integrity Protection)，并且需要学习和使用 yabai 作为窗口管理器，与某些其他窗口管理器不兼容。
• 第三方虚拟空间管理器: 如 FlashSpace 和 AeroSpace，但这些工具并非原生 macOS 应用，显得多余。
• BetterTouchTool: 需要付费购买许可证。

解决方案：InstantSpaceSwitcher

作者推荐了一个名为 InstantSpaceSwitcher 的 GitHub 项目，该工具是一个简单的菜单栏应用程序，能够实现即时空间切换，且不依赖于禁用系统完整性保护。 它通过模拟高速度的触控板滑动来实现快速切换。 此外，它还提供：

• 空间编号跳转: 允许用户直接跳转到指定编号的空间。
• 命令行界面: 提供 InstantSpaceSwitcher.app/Contents/MacOS/ISSCli 命令行工具，支持左移、右移和指定编号切换空间。

安装方法：

• Homebrew: brew install --cask jurplel/tap/instant-space-switcher
• 源码编译: git clone 仓库，然后运行 ./dist/build.sh
• 预编译二进制文件: 从 GitHub 仓库下载。

作者呼吁: 由于该项目目前只有一颗星，作者希望更多人了解并尝试 InstantSpaceSwitcher，并鼓励大家给其点赞。

其他说明:

作者还提到了 instantspaces 项目，试图隔离 yabai 的即时空间切换功能，但作者未能使其在 macOS Tahoe 上正常工作。

微软暂停开源项目开发者账户，导致软件更新受阻 (Microsoft Suspends Open-Source Developer Accounts, Disrupting Software Updates)

微软（Microsoft）近日暂停了多个知名开源项目的开发者账户，这些账户用于维护关键软件，且未事先通知开发者，也未提供快速恢复账户的途径。这导致这些项目无法发布新的软件构建和安全补丁，影响了Windows用户的体验。

受影响的项目包括：

• WireGuard VPN: 一款流行的虚拟专用网络软件。
• VeraCrypt: 一款磁盘加密软件。
• MemTest86: 一款内存测试和诊断工具。
• Windscribe VPN: 另一款虚拟专用网络软件。

开发者反馈：

受影响的开发者，如 VeraCrypt 的 Mounir Idrassi 和 WireGuard 的 Jason A. Donenfeld，表示在没有任何预警或解释的情况下账户被暂停。他们尝试通过各种渠道联系微软支持，但均未获得响应。由于无法发布 Windows 平台的更新，项目维护工作受到了严重影响。

微软的解释：

在 TechCrunch 报道后，微软副总裁 Scott Hanselman 解释称，账户暂停是由于未能完成“Windows 硬件计划合作伙伴的强制性账户验证”，该验证自 2024 年 4 月开始，微软声称已于 2025 年 10 月向所有合作伙伴发送了通知。根据 2025 年 10 月 1 日发布的硬件开发中心文章，账户验证于 10 月 16 日开始，如果合作伙伴在 30 天内未完成验证，将自动暂停其 Windows 硬件计划的资格。

后续处理：

微软表示，他们已经意识到问题，并正在采取措施解决，并承诺改进沟通方式，避免类似事件再次发生。Pavan Davuluri (微软 Windows 和设备执行副总裁) 强调，他们已经努力确保合作伙伴了解即将到来的验证，但有时仍可能被遗漏。

最终，在社交媒体上的曝光和媒体的报道促使微软采取行动，Scott Hanselman 亲自联系了受影响的开发者，并承诺帮助恢复账户。受影响的开发者，包括 VeraCrypt、Windscribe 和 MemTest86 的团队，都确认了这一情况。

总结：

此次事件突显了微软在账户管理和沟通方面的不足。虽然微软采取了账户验证措施，但未能有效通知相关开发者，导致了重要开源项目的更新受阻。 微软承诺将改进沟通流程，避免类似问题再次发生。

总结：LLM能力构建，技能（Skills）与模型上下文协议（MCP）的比较

本文作者认为，当前AI领域过度推崇“技能”（Skills）作为LLM能力构建的新标准，而忽略了模型上下文协议（MCP）的优势，这是一种倒退。作者作为AI重度用户，更倾向于MCP，并阐述了原因。

技能 (Skills) 的优缺点：

• 优点： 适用于纯知识灌输，例如教LLM如何格式化提交信息、编写测试或使用特定术语。
• 缺点： 许多技能依赖于CLI（命令行界面），这限制了其可用性。ChatGPT、Perplexity等无法直接运行CLI，除非使用计算环境（如Perplexity Computer）。技能生态系统碎片化，安装和管理复杂，容易出现版本不兼容问题，并且通常需要加载整个SKILL.md文件到LLM的上下文窗口中，造成资源浪费。

模型上下文协议 (MCP) 的优点：

• API抽象： LLM无需理解具体实现细节，只需知道“做什么”。
• 零安装远程使用： 无需本地安装，只需指向MCP服务器URL即可。
• 无缝更新： 远程MCP服务器更新后，所有客户端立即获得最新版本。
• 安全认证： 通过OAuth等方式安全处理认证。
• 高可移植性： 可以在不同设备上使用。
• 沙箱安全： 限制LLM的执行权限，避免安全风险。
• 智能发现： LLM仅在需要时加载工具，节省上下文窗口资源。
• 自动更新： 即使是本地安装，也可以自动更新。

作者建议：

• MCP： 应该作为连接LLM和服务的标准接口，适用于网站、服务、应用程序等。
• Skills： 应该专注于知识和上下文，例如教LLM如何使用已安装的工具、标准化工作流程、或管理特定类型的任务。
• 结合使用： 将技能作为MCP的补充，用于记录和分享使用MCP的经验和技巧，形成“知识层”和“连接层”的结合。

作者认为，未来的发展方向应该是：

• 将技能视为“LLM_MANUAL.md”（LLM手册），MCP视为“Connectors”（连接器）。
• 希望看到更多官方服务的MCP支持，例如Skyscanner、Booking.com等。
• 作者还开发了MCP Nest，用于将本地MCP服务器暴露到云端，实现远程访问。

缅因州暂停大型数据中心建设：对人工智能基础设施需求的警示

核心内容： 缅因州立法机构通过一项法案，暂停新建电力需求超过20兆瓦的大型数据中心许可证的发放，直至2027年11月。 此举旨在研究这些设施对缅因州老化的电网造成的压力，并可能为其他州效仿提供先例。

关键细节：

• 法案名称： LD 307
• 暂停期限： 2027年11月
• 适用范围： 需要超过20兆瓦电力的大型数据中心
• 目的： 成立数据中心协调委员会，研究数据中心对电网的压力，并制定相关政策。
• 背景： 缅因州居民对数据中心的水资源消耗和安全问题日益担忧，此前在Wiscasset和Lewiston等地成功阻止了数据中心项目。
• 受影响的项目： 包括在Jay（旧造纸厂）、Sanford和Loring空军基地计划建设的数据中心。
• 争议： 开发商Tony McDonald认为该限制“灾难性”，他的团队“被卷入了这场纠缠之中”。
• 全国趋势： 缅因州并非唯一采取行动的州，密歇根州和印第安纳州的县也已实施了暂停数据中心建设的措施，而丹佛和底特律等城市也在考虑类似的限制。
• 人工智能的影响： 数据中心目前消耗美国约4%的电力，预计到2030年将翻倍。缅因州居民已经面临着美国最高的电费之一，因此对人工智能基础设施需求的担忧尤为突出。
• 经济学家的观点： 经济学家Anirban Basu认为，缅因州的举动是“警示信号”，预示着各州可能对大型科技公司的能源需求产生抵抗。

总结： 缅因州暂停大型数据中心建设的举措，反映了对人工智能基础设施需求的担忧，以及对电网压力和电费上涨的关注。 这一行动可能为其他州提供借鉴，并可能导致人工智能服务的成本上升。 缅因州的情况被视为对大型科技公司能源需求的早期警告。

客户案例：微软的恶意用户体验与数据困境

本文讲述了作者为一位邻居解决电脑问题的一个案例，并借此表达了对微软及其它大型科技公司对待用户方式的担忧。

问题描述:

作者的邻居寻求帮助，因为他的 Outlook 邮箱无法接收邮件，并显示“存储空间已满”的错误信息。尽管他只是轻度用户，且免费账户有 5GB 存储空间，但他仍然无法理解为何会耗尽存储空间。

问题根源:

经过调查，作者发现 Outlook 邮箱实际上使用 OneDrive 进行邮件和附件存储。而他的 OneDrive 存储空间并非被邮件占用，而是被 Windows 11 桌面上的个人文件所填满。由于 Windows 默认设置会将桌面文件保存到 OneDrive 目录，用户并不知道这一点，导致存储空间被快速消耗。微软在没有充分告知用户的情况下，默认将桌面文件同步到 OneDrive，并利用“存储空间不足”的提示诱导用户购买额外的存储空间，这被作者认为是“暗模式”设计。

解决方案:

作者首先对用户的所有数据进行了备份，包括本地文件和 OneDrive 上的文件（包括回收站）。随后，他将文件从 OneDrive 目录转移回用户的本地主目录。为了彻底解决问题，作者使用了 Chris Titus 的 WinUtil 工具，通过命令行完全卸载了 OneDrive 应用，包括其与文件资源管理器等其他程序的集成。卸载后，作者清空了 OneDrive 账户，包括回收站，最终解决了 Outlook 无法接收邮件的问题。

核心观点:

作者认为：

• 微软正在积极地对用户表现出敌意。
• 微软等大型科技公司过度追求无关紧要的 KPI，导致产品质量下降，甚至忽视了对用户的尊重。
• 这种现象在其他大型科技公司也普遍存在。

作者认为问题的根源在于激励机制的扭曲，导致公司更关注利润而非用户体验。他呼吁人们对自己的选择负责，并希望能够构建一种能够避免类似问题的架构。

总结:

该案例揭示了微软等大型科技公司在用户体验方面存在的问题，例如默认设置、不明确的存储空间使用情况以及利用“暗模式”设计诱导用户付费。作者希望通过分享这个案例，引起人们对这种现象的关注，并促使科技公司重新审视其用户体验策略。

GitButler 完成 1700 万美元 A 轮融资，致力于构建下一代软件构建基础设施

GitButler 宣布已完成 1700 万美元的 A 轮融资，由 a16z 领投，Fly Ventures 和 A Capital 继续提供支持。

核心理念与背景:

创始人 Scott Chacon (同时也是 GitHub 和 Git 的联合创始人) 强调，Git 作为软件开发的基础设施在过去 15 年中经历了巨大的变化。他认为，开发者平台成功的关键在于减少协作摩擦，并减轻开发者处理的负担。GitButler 的诞生源于对现有 Git 工具在适应现代开发实践方面的不足的认识。

当前挑战与 GitButler 的解决方案:

Chacon 指出，软件开发正进入新阶段，而 Git 需要重新设计。当前 Git 的使用方式，是将众多 AI agent 训练使用最初为邮件列表补丁发送而设计的工具，这远不能满足现代需求。开发者面临的挑战并非无法编写代码，而是上下文在工具、人员和 AI agent 之间断裂。GitButler 的目标是解决组织、审查和集成变更，避免由此产生的混乱。

GitButler CLI 技术预览:

GitButler 已经发布了 GitButler CLI 的技术预览版，旨在解决现有 Git 的问题。该工具专为 GitHub Flow (短生命周期分支，基于主干的工作流) 设计，适用于人类、agent 和脚本，并具备以下特点：

• 堆叠分支 (Stacked Branches): 允许在分支上进行并行开发。
• 多任务处理 (Multitasking): 支持同时处理多个任务。
• 变更组织 (Change Organization): 方便管理和组织代码变更。
• 轻松撤销 (Easy Undo): 提供便捷的撤销操作。
• 无缝集成: 可以直接集成到现有的 Git 项目中。

愿景：构建更具社交性的软件开发体验:

GitButler 的愿景超越了“更好的 Git”。 Chacon 提到 GitHub 的一个口号“社交编码”，但认为 GitHub 并没有完全实现这一愿景。GitButler 致力于构建一个真正的 "社交" 软件开发体验，通过以下方式提升团队协作效率：

• 上下文感知: 工具能帮助团队构建逻辑清晰、上下文完善的代码变更。
• 信息整合: 整合 agent 交互、相关对话等当前丢失的信息。
• 主动预警: 及时提示潜在的合并冲突。
• 实时协作: 允许开发者在同事分支的基础上进行修改，并保持实时同步。
• Agent 协同: 确保 AI agent 能够了解团队成员的实时工作状态。

总结:

GitButler 获得了 1700 万美元的 A 轮融资，将用于构建下一代软件构建基础设施，目标是革新软件开发协作方式，打造更高效、更具社交性的开发体验。其核心在于提供更智能、更易于使用的版本控制工具，以适应 AI agent 和现代开发实践。

iOS 26.4 更新：苹果在英国引入强制年龄和身份验证，引发担忧 (iOS 26.4 Update: Apple Introduces Mandatory Age and Identity Verification in the UK, Raising Concerns)

苹果公司最近的 iOS 26.4 软件更新正在悄然改变数百万英国用户访问互联网的方式。此更新引入了在操作系统级别进行的强制年龄和身份验证，意味着 iPhone 用户可能需要在浏览网页或使用某些应用程序之前证明自己的年龄。目前，苹果公司仅在韩国和新加坡这两个互联网自由度较低的国家实施了类似要求。

主要变化：

iOS 26.4 自动启用了以下功能：

• 网页内容过滤
• 由人工智能驱动的“沟通安全”工具

这些限制适用于所有用户，除非他们验证了年龄。这实际上意味着，数百万成年用户现在正在使用儿童锁定的设备，除非他们提交身份证明。

引发的担忧：

Big Brother Watch 组织认为，此举对隐私、言论自由和信息平等访问构成风险，并已致信苹果要求其紧急停止此身份验证。他们提出了以下八个主要问题：

1. 将成年人视为儿童： 此更新颠覆了苹果设备提供开放互联网访问的原则，默认应用了家长控制功能。
2. 并非英国法律要求： 此系统并非英国法律所要求，而是苹果公司的自愿决定。现有的法律，如《2023 年在线安全法案》和《2018 年数据保护法案》，主要针对网站和服务，而非整个手机操作系统。
3. 无法真正保障儿童安全： 针对儿童的网络安全需要家长参与、定制设备设置和教育指导。强制所有用户进行身份验证是一种简单粗暴的方法，效果有限。
4. 可能导致数百万用户被排除： 要解除限制，用户必须提供以下身份证明：
   • 已存在 18 年或以上的苹果账户；
   • 信用卡；
   • 驾驶执照或政府颁发的身份证明（英国目前没有）；
   • 或 PASS 批准的卡（如 CitizenCard、My ID Card、TOTUM ID card 或 Young Scot National Entitlement Card）。 由于许多人没有这些证件，或者不愿意上传身份文件，这可能导致老年人、低收入者或残疾人等群体被排除在外。
5. 对数字身份的危险先例： 苹果的身份验证要求可能会促使英国政府推动数字身份系统，尽管公众普遍反对。
6. 全球互联网控制的滑坡： 如果操作系统开始强制进行身份验证，未来可能会出现更多与国籍、个人特征或政府政策相关的要求。
7. 损害信任和安全： 许多用户拒绝安装更新，导致他们无法获得重要的安全补丁。
8. 信息不透明： 苹果在更新描述中没有明确告知用户有关身份验证检查的变更。

Big Brother Watch 的建议：

苹果公司应紧急重新考虑此决定，并：

• 移除强制年龄/身份验证检查；
• 恢复 iPhone 上的开放互联网访问；
• 将年龄控制作为可选功能提供，而不是强制要求。

Big Brother Watch 呼吁人们支持他们的工作，以敦促苹果公司放弃身份验证要求，并恢复英国数百万用户的互联网自由。

https://chatgpt.com/pricing/

Netflix 价格上涨，回归实体光盘收藏 (Netflix Prices Increase, Returning to Physical Media Collections)

这篇文章讲述了作者因 Netflix 价格上涨而决定取消订阅并回归实体光盘收藏的故事。以下是主要内容：

Netflix 价格调整:

• Netflix 最低价的带广告计划每月费用将上涨至 8.99 美元（税费不含，预计约为 10 美元）。
• 无广告计划的价格更是上涨至 19.99 美元。

作者的决定:

• 作者认为目前的价格不值得订阅，尤其是带广告的计划，不仅有广告，还限制了部分剧集观看。
• 作者回忆起 Netflix 无广告版本曾经的价格是 7.99 美元，认为现在的新价格过高。
• 因此，作者最终决定取消 Netflix 订阅。

回归实体光盘:

• 作者在去年黑五期间购买了一台 Wiscent DVD/BluRay 播放器（约 89 美元），支持多种格式，包括 DVD、BluRay、Pal/NTSC 以及刻录的 DVD+R/RW。
• 作者还从 Amazon 和 eBay 上购买了大量的 DVD/BluRay 系列收藏和复古动漫，并打算观看这些内容。
• 作者认为一次性购买实体光盘比订阅流媒体服务更划算，因为后者不断涨价并插入广告。

其他流媒体服务:

• 作者曾考虑订阅 YouTube Premium，但得知该服务也开始涨价，因此放弃了。

目前状态:

• 作者还有几周的 Netflix 订阅时间，正在观看《Frieren》和《怪奇物语》的最后几季。
• 作者对未来的观看内容充满信心，因为已经积累了大量的实体光盘收藏。

总而言之，文章讲述了作者因 Netflix 价格上涨而选择放弃流媒体服务，转而回归实体光盘收藏的故事，并表达了对这种方式的满意。

中文总结：基于几何相位的鲁棒型量子交换门

这项研究主要关注利用中性原子构建量子计算机，并提出了一种基于几何相位的量子交换门（swap gate）方案，该方案具有极高的鲁棒性，能够同时应用于数千个量子比特（qubits）。

背景：

• 量子计算机需要量子比特（qubits），目前主流的实现方式包括超导电路和囚禁离子。
• 利用激光束囚禁的中性原子，由于不受电荷干扰，并且易于实现数千个量子比特，因此也成为有潜力的选择。
• 量子计算依赖于量子逻辑门，常见的实现方式包括利用激发态原子（Rydberg atoms）、原子碰撞和量子隧穿效应。
• 量子隧穿效应对激光强度非常敏感，微小的干扰都会降低量子门的质量。

研究成果：

• ETH Zurich 的 Tilman Esslinger 教授领导的研究团队成功实现了基于几何相位的量子交换门。
• 几何相位： 与动态相位不同，几何相位主要取决于粒子的路径，而非外部干扰，因此对实验噪声具有很强的鲁棒性。
• 实验实现： 研究人员将极冷钾原子囚禁在光晶格中，通过巧妙地操控激光束，使成对的原子波函数重叠，利用钾原子是费米子的特性（费米子不允许处于相同的量子态），从而产生几何相位。
• 性能指标： 交换门在小于 1 毫秒的时间内完成，精度高达 99.91%，并且能够同时应用于 17,000 对量子比特。

意义与未来展望：

• 这项研究为基于中性原子的量子计算机的进一步发展奠定了基础。
• 研究团队下一步计划将交换门与量子气体显微镜相结合，实现对单个量子比特对的可视化和选择性操作。
• 他们还展示了通过添加原子碰撞可以实现“半”交换门，从而使量子比特之间产生量子纠缠，为执行量子算法奠定基础。

关键术语解释：

• 量子比特 (qubit): 量子计算机中的基本信息单位，类似于经典计算机中的比特，但可以处于叠加态。
• 量子交换门 (swap gate): 一种量子逻辑门，用于交换两个量子比特的状态。
• 几何相位: 一种与粒子路径相关的量子相位，对外部干扰不敏感。
• 动态相位: 一种与粒子运动或相互作用相关的量子相位。
• 光晶格 (optical lattice): 由相互作用的激光束形成的周期性势阱，可以囚禁原子。
• 量子气体显微镜 (quantum gas microscope): 一种能够观察和控制单个原子的显微镜。
• 量子纠缠 (quantum entanglement): 一种量子现象，两个或多个量子比特的状态相互关联，即使它们相隔很远。

旧笔记本电脑比VPS解决方案更好？ - 总结

本文介绍了一种独特的服务器托管服务，它允许用户将闲置的旧笔记本电脑寄给他们，并在专业数据中心提供托管服务，以此来替代传统的VPS解决方案。

核心观点：

• 性价比高： 相较于大多数VPS提供商提供的有限资源和高昂价格，用户的旧笔记本电脑通常拥有更强大的CPU、更大的内存和存储空间。该服务的收费仅为每月7欧元，提供专业托管服务。
• 独占资源： 用户拥有自己的笔记本电脑，资源完全独占，无需与其他用户共享。
• 环保： 通过重复利用旧笔记本电脑，减少电子垃圾，有益于环保。

服务细节：

• 费用： 每月固定费用7欧元，包含托管、IPv4地址、KVM访问和监控等服务。
• 寄送： 用户只需将笔记本电脑和电源适配器寄送至指定地址即可，提供免费的预付运费包装箱。
• 网络连接： 笔记本电脑需要具备以太网端口或USB端口（提供USB以太网适配器）。数据中心仅支持以太网连接，不支持WiFi。
• 设置协助： 提供免费的初始设置协助，包括Linux发行版、Kubernetes集群、Proxmox虚拟化等常见服务器软件的安装。
• 笔记本电脑要求： 笔记本电脑必须功能正常，具备工作电源和网络连接端口（以太网或USB）。笔记本电脑的年龄不限。为了安全起见，可能对笔记本电脑进行改造，例如移除或关闭电池、无线电等。
• 数据中心： 主要位于阿姆斯特丹，并计划与Hetzner合作，在美国及欧洲其他数据中心提供托管服务。
• 安全性： 笔记本电脑托管在Hetzner的专业数据中心，提供24/7安全监控、温控和冗余电源。同时提供基本的防火墙服务和DDoS保护。

总结：

该服务提供了一种经济、环保且性能优越的服务器托管替代方案，用户可以将闲置的旧笔记本电脑变废为宝，在专业数据中心享受稳定可靠的托管服务。

好的，这是一个关于 picoZ80 的总结，用中文写成，并且字数控制在 800 字以内：

picoZ80 项目总结

picoZ80 是一个创新的项目，旨在替代传统 Z80 计算机中的物理 Z80 处理器，使用更快的 CPU、更多内存、虚拟设备、网络连接（WiFi、蓝牙）、快速的 SD 卡应用加载以及 WiFi 管理功能。它本质上是一个“落入即用”的 Z80 替换板，可以直接插入任何基于 Z80 的旧计算机的 CPU 插座。

核心技术：

• RP2350B 微控制器: picoZ80 的核心是 RP2350B，一个双核 150MHz Cortex-M33 设备，可以运行高达 300MHz 的速度。它的可编程 I/O (PIO) 状态机能够精确控制 Z80 的地址、数据和控制总线。
• 精准的 PIO 总线接口: RP2350 的三个 PIO 块分别处理地址、数据和控制信号，实现了与真实 Z80 相同的时间延迟，保证了主机系统的正常运行。
• 大容量内存: 8MB 的 PSRAM 和 16MB 的 Flash 内存提供了充足的存储空间，支持加速执行、虚拟内存、ROM 银行、虚拟磁盘驱动器和完整的机器 persona 模拟。
• ESP32 协处理器: ESP32 负责 WiFi 和蓝牙连接、SD 卡存储以及基于浏览器的管理界面。
• JSON 配置文件: 所有配置均通过简单的 JSON 文件进行控制，无需重新编译即可修改内存映射、ROM 镜像或驱动程序选择。

主要功能与特性：

• 多种 Persona： picoZ80 可以通过 JSON 配置文件适应不同的 Z80 主机。目前已经开发了针对 Sharp MZ 系列机器的 Persona，未来将扩展到其他 Z80 系统，提供诸如银行式 RAM/ROM、软盘模拟、QuickDisk 模拟、ROM 文件系统和 TranZPUter 文件系统等功能。
• 虚拟设备框架: 允许通过 C 函数来支持各种虚拟外设。
• 软盘和 QuickDisk 模拟: 支持 WD1773 兼容的软盘控制器和 Sharp QuickDisk 驱动模拟。
• Web 管理界面: 通过 ESP32 提供的 Web 界面可以进行配置、文件管理、固件更新和 Persona 选择。
• 双固件分区: 两个独立的固件分区确保了 OTA 更新的安全性。
• USB 固件更新: 通过 USB 桥接器可以进行固件刷新，无需硬件调试器。

硬件设计：

• 紧凑设计: PCB 设计紧凑，可以安装在标准的 Z80 DIP-40 插座中。
• RP2350B: 作为主要处理器，负责 CPU 模拟和文件 I/O。
• ESP32: 提供 WiFi、蓝牙、SD 卡读写和 Web 服务器功能。
• 电源: 采用高效的降压转换器，从 Z80 插座的 5V VCC 引脚供电。
• KiCad 设计: 硬件设计使用 KiCad 进行，当前版本为 v2.5，相关文件可在项目仓库中获取。

架构：

• 双核设计: RP2350 的两个核心互不干扰，一个核心负责 CPU 模拟，另一个核心负责非实时任务（USB、文件 I/O、ESP32 交互等）。
• PIO 总线接口: 通过三个 PIO 块实现 Z80 总线接口，确保了精准的周期控制。
• 三级内存模型: RP2350 SRAM (512KB)、PSRAM (8MB) 和 Flash (16MB) 构成三级内存模型，实现了高效的内存访问。

总结：

picoZ80 是一款功能强大的 Z80 兼容板，它不仅提供了一个更快的 CPU，还提供了丰富的增强功能，例如虚拟设备、网络连接和灵活的配置选项。通过 JSON 配置文件和 Web 管理界面，用户可以轻松地定制 picoZ80 以适应不同的 Z80 系统和应用场景。该项目为旧 Z80 计算机注入了新的活力，并为爱好者和开发者提供了极大的便利。

总结：电音先驱 Afrika Bambaataa 去世

据TMZ报道，电音先驱Afrika Bambaataa于周四在宾夕法尼亚州因癌症并发症去世。

Afrika Bambaataa 出生于牙买加和巴巴多斯移民家庭。青少年时期，他曾是Black Spades帮派的成员，利用其领导才能创立了Universal Zulu Nation。该组织旨在将年轻人的文化导向创造力，远离暴力。

他于1982年发布的歌曲《Planet Rock》赢得了全球认可，并被认为是塑造了20世纪80年代嘻哈音乐的关键作品。

嘻哈联盟执行主任 Kurtis Blow Walker 评论说，Afrika Bambaataa 对嘻哈音乐的愿景将布朗克斯区变成了“一个文化的发源地，如今已传播到世界各个角落”。

在20世纪80年代及之后，他持续广泛合作，与James Brown、John Lydon等音乐家合作，并参与了具有政治意识的项目，例如1985年的反种族隔离歌曲《Sun City》。

Unfolder 软件摘要

Unfolder 是一款能够快速生成 3D 模型 2D 平面展开图的软件，主要面向纸模型制作。 其核心功能和特点如下：

主要功能：

• 快速展开： Unfolder 采用智能且高度优化的展开算法，能够在几秒钟内生成 2D 平面展开图。
• 分割与连接： 用户可以在 2D 或 3D 视图中通过点击边缘轻松地分割和连接模型部件。
• 折叠片编辑： 软件允许用户灵活地编辑折叠片，包括切换、添加、移除、合并和重新塑造折叠片。 此外，还能够自动优化折叠片形状，以避免碰撞。
• 样式定制： 用户可以自定义切割线、脊折叠线和谷折叠线的颜色、宽度和虚线样式，从而调整展开图的外观。
• 导出功能： Unfolder 支持多种导出格式，方便用户打印模板、在外部应用程序中进行编辑，或使用 CNC 机床进行切割，满足不同用途的需求。

平台支持：

• Unfolder 软件也提供 Mac 版本的应用，可在 Mac App Store 下载。

总而言之，Unfolder 是一款功能强大且易于使用的软件，旨在简化 3D 模型到 2D 平面展开图的转换过程，尤其适用于纸模型制作爱好者。

Charcuterie 项目摘要 (Charcuterie Project Summary)

Charcuterie 是一个在浏览器中运行的 Unicode 字符可视化探索工具。其主要功能包括：

• 字符集浏览: 允许用户浏览 Unicode 字符集。
• 相关字形发现: 能够发现与当前字符相关的其他字形。
• 脚本、符号和形状信息学习: 提供关于 Unicode 字符集中的脚本、符号和形状的更多信息。

技术实现:

为了实现视觉相似性比较，Charcuterie 将渲染后的字形嵌入到向量空间中，并在此空间中进行比较。

项目状态:

Charcuterie 仍处于积极开发阶段，欢迎用户反馈。

支持方式:

如果用户希望支持该项目并为开发者提供更多开发时间，可以考虑进行捐赠。

版权信息:

© 2026 David Aerne (https://elastiq.ch)

关于非洲盛大葬礼的文化与经济观察 (关于非洲盛大葬礼的文化与经济观察)

本文探讨了非洲，特别是加纳等国家盛大葬礼的现象，并深入分析了其背后的文化和经济根源。

加纳葬礼的流程（Kofi的例子）:

文章以一个老年加纳人Kofi的例子作为引子，描述了加纳葬礼的典型流程：

• 家庭安排: 亲属发现Kofi去世后，会通知家族中辈分最高的男性——abusuapanyin（母系氏族的最高长者），负责葬礼的安排。
• 遗体保存: 遗体会被送往医院冷藏室保存，通常数周或数月，有时甚至一年。冷藏时间的越长，象征着家族的经济实力和对逝者的尊重。
• 筹备阶段: 家族会筹集资金，聘请设计师制作带有逝者信息的横幅，租用场地，雇佣工作人员（厨师、DJ/乐队、摄影师、甚至跳舞抬棺队），并选择专门的丧服。如果经济条件允许，还会定制形状独特的“幻想棺材”。
• 葬礼当天: 举行为期三天的盛大葬礼，数百人参加，包括许多从未认识逝者的陌生人，花费大量资金用于餐饮、娱乐和送别仪式。

葬礼成本高昂:

文章指出，加纳的葬礼成本非常高昂，中等水平的葬礼费用约5000美元，而“体面的”葬礼可能高达15000-20000美元，这在人均年收入仅约1500美元的国家显得尤为突出。这种现象并非加纳独有，在南非、刚果民主共和国、肯尼亚、尼日利亚、贝宁、喀麦隆、莫桑比克和象牙海岸等多个非洲国家也普遍存在。甚至有些家庭会花费超过一年年收入的金额来举办葬礼。

资金来源:

为了支付这些高昂的费用，家庭通常会采取以下措施：

• 购买丧葬保险。
• 向亲友借款。
• 削减日常开支，甚至出售财产，有时甚至会因无力支付葬礼费用而导致食物短缺。

文化根源与经济影响:

文章认为，盛大葬礼的背后并非仅仅是“对长者的尊重”，而是一种昂贵的家族忠诚信号。葬礼的费用越高，就越能向亲友展示家族的实力和凝聚力。这种文化现象阻碍了非洲国家经济的“起飞”，因为：

• 血缘关系优先: 血缘关系优先于对外部机构的忠诚，阻碍了大型企业的建立和发展。
• 财富的破坏: 盛大葬礼导致财富被消耗，限制了个人积累财富和再投资的能力。
• 强制性的财富再分配: 家庭成员之间存在强制性的财富再分配，阻碍了个人发展。

技术与未来:

文章最后指出，现代金融技术（如手机银行）为个人提供了一定的隐私空间，帮助他们更好地管理个人财富，为经济发展带来希望。

总而言之，文章通过对非洲盛大葬礼现象的剖析，揭示了非洲社会中血缘关系的重要性及其对经济发展的负面影响，并探讨了技术进步可能带来的改变。

总结：美国联邦调查局通过iPhone通知数据库恢复已删除的Signal消息

根据_404 Media_的报告，美国联邦调查局（FBI）能够从iPhone的通知数据库中恢复已删除的Signal消息。这在最近涉及“一群人在德克萨斯州阿尔瓦多ICE Prairieland拘留中心点燃烟花和破坏财产”的案件中得到证实。

主要发现:

• 恢复已删除消息： 即使Signal应用程序已从设备中删除，FBI仍然能够恢复收到的Signal消息内容。
• 通知数据库： 消息内容被存储在iPhone的内部通知存储中。
• 设置影响： Signal的设置允许阻止在通知中预览消息内容，但被告未启用此设置，导致系统存储了消息内容。
• 技术细节未知： 具体FBI如何提取信息的细节尚不清楚，可能涉及设备备份或利用iOS漏洞的工具。
• 推送通知令牌： 即使应用程序被删除，用于发送推送通知的令牌也不会立即失效。
• iOS更新： Apple最近在iOS 26.4中更改了推送通知令牌的验证方式，时间点值得关注。
• Signal和Apple的反应： Signal和Apple均未就此事件发表评论。

背景：

该案件涉及一名被告Lynette Sharp，她此前因向恐怖分子提供物质支持而被判有罪。FBI特工Clark Wiethorn在法庭上作证，使用了从Sharp的iPhone中提取的证据，其中包括通过通知数据库恢复的Signal消息。

总结：

此事件表明，即使应用程序已删除，iPhone的通知数据库仍然可能存储敏感信息。这引发了关于用户隐私和数据安全性的问题。

利用文献引导的自动代码优化：llama.cpp 的案例研究

本文介绍了如何通过让编码代理阅读论文和研究竞争项目，从而生成更好的代码优化。作者利用 autoresearch / pi-autoresearch 框架，结合文献搜索，在 3 个小时内为 llama.cpp 实现了 5 个优化，使其在 x86 和 ARM 架构上分别提升了 15% 和 5% 的文本生成速度，针对 TinyLlama 1.1B 模型。

关键要点：

• 文献研究至关重要： 与仅基于代码的代理相比，阅读论文和研究竞争项目能够引导代理发现更有效的优化方案。例如，代理通过研究 CUDA/Metal 后端发现了 CPU 缺失的 operator fusion 技术。
• 优化成果显著： 30 多个实验中，最终落地了 5 个优化，包括 4 个 kernel fusion 和一种自适应并行化策略。其中，将 Flash Attention 的三个计算步骤融合到一个 AVX2 FMA 循环中，是最大的优化成果。
• 研究竞争项目更有效： 与搜索 Arxiv 论文相比，研究竞争项目（如 ik_llama.cpp 和 CUDA 后端）更能提供可行的优化思路。
• 成本效益高： 整个实验的成本仅为 29 美元，包括 20 美元用于 CPU VM 和 9 美元用于 API 调用，耗时约 3 小时，使用了 4 个 VM。

代码仅限上下文的优缺点

Karpathy 的 autoresearch 已经证明，编码代理可以自主改进神经网络训练脚本。在之前的博文中，作者将该框架扩展到 16 个 GPU，并在 8 小时内运行了约 910 个实验，将 val_bpb 降低了 2.87%。该代理仅根据代码上下文进行头脑风暴，实验都是对同一 train.py 的变体。

pi-autoresearch 将循环泛化为任何可基准测试目标的可重用扩展。Shopify CEO Tobi Lütke 将其应用于 Liquid 模板引擎，实现了 53% 的解析+渲染时间缩短和 61% 的内存分配减少，并在 974 个单元测试中没有出现回归。

然而，并非所有优化问题都适用这种方法。代码可以告诉你代码 做什么，但不能告诉你 为什么 它慢，或者 除了这个代码库之外还有哪些替代方案。 当答案存在于 Arxiv 论文、竞争项目或其他领域知识中时，仅依赖代码上下文的代理会产生肤浅的假设。

添加文献研究阶段

如果瓶颈在于假设的质量，则需要为代理提供更好的输入。在运行任何实验之前，让其阅读论文、研究分支版本并查看其他项目是否已经尝试过。这类似于一位资深工程师在接触不熟悉的代码之前所做的准备。

作者将原始 autoresearch 循环（编辑代码 -> 运行实验 -> 检查指标 -> 保留或丢弃）扩展为包含研究步骤和并行云执行。

实验日志

作者使用 Claude Code 以及 4 个 AWS 云 VM，针对 llama.cpp 的 CPU 推理路径进行优化。

目标： TinyLlama 1.1B (Q4_0 量化) 的 CPU 推理吞吐量，在以下架构上进行基准测试：

• x86: AWS c6i.2xlarge (Intel Xeon Ice Lake, 8 vCPU, AVX-512)
• ARM: AWS c7g.2xlarge (Graviton3, 8 vCPU, NEON)

指标： 使用 llama-bench 测量提示处理 (pp) 和文本生成 (tg) 的每秒 token 数。

研究成果

在实验波次之间，代理并行运行两个研究线程：

1. 竞争项目： ik_llama.cpp (性能优化分支)，llamafile 的 tinyBLAS，PowerInfer，ExLlamaV2。
2. Arxiv 论文： FlashAttention, Blockbuster, LLM Inference Acceleration via Efficient Operation Fusion, Online normalizer calculation for softmax, Inference Performance Optimization for Large Language Models on CPUs。

主要发现：

• ik_llama.cpp 的行间

Okay, I'm ready. Please provide the content you want me to summarize. I will do my best to provide a concise, accurate, and markdown-formatted summary in Chinese, adhering to your specifications. Just paste the text here, and I'll get started.

Bunny Storage 数据丢失问题总结

以下是对文档内容的总结：

问题描述: 自 2025 年 1 月 13 日起，用户开始在 Bunny Storage 上发现文件丢失的问题。文件通过 API 成功上传后，会突然消失，用户端及 Bunny Storage 本身均未记录任何删除或写入操作。

时间线:

• 2025 年 1 月 13 日: 首次报告，出现大量 404 错误。
• 2025 年 1 月 14 日: Bunny Support 确认问题，指出文件存在于复制区域，但不存在于主区域。
• 2025 年 1 月 15 日 - 1 月 17 日: 404 错误持续出现，累积超过 200 个实例，多位客服人员处理，但未解决。
• 2025 年 1 月 19 日: 用户要求直接与技术人员沟通，被拒绝，所有沟通必须通过工单系统进行。
• 2025 年 2 月 - 2025 年 4 月: 问题持续存在，用户收到的回复均为“已转给团队，暂无更新”。
• 2025 年 4 月 8 日: 经过数月沉默，用户重新提交工单，Storage 团队表示“仍在调查此长期问题”。
• 2025 年 4 月 24 日 - 2025 年 4 月 29 日: 文件继续丢失，问题被升级至开发团队，但仍未有更新。
• 2026 年 3 月 24 日: Bunny Storage 主动联系用户，承认未能找到问题根源，并表示近期进行了部署变更以提高系统弹性，询问是否有新的案例。
• 2026 年 3 月 26 日: 用户报告当天上传的文件已丢失，Bunny Storage 表示已通知 Storage 团队并会跟进。

关键细节:

• 丢失的文件被记录为已成功存储，短暂可用后消失。
• 丢失率虽然在百分比上不高，但问题持续存在且具有规律性。
• 用户曾希望 Bunny Storage 能够解决问题，但由于资源限制，未能及时迁移数据。
• Bunny Storage 在一年前已承认该问题。
• 用户反馈沟通困难，无法与技术人员直接沟通，只能收到重复的回复。

结论与建议:

文档强烈建议读者不要将重要数据存储在 Bunny Storage 上，因为存在持续的数据丢失问题，且客服支持效率低下。

附注:

• 文档提供截图以佐证 Bunny Storage 对该问题的确认 (链接: https://ibb.co/tT8jvM75 和 https://ibb.co/6cGwc49Q)。
• 2026 年 3 月 26 日上传的丢失文件目前仍未找到。

Craft：一个轻量级的 C/C++ 构建工具

Craft 是一个轻量级的构建工具，旨在简化 C 和 C++ 项目的开发流程，类似于 Cargo (Rust 的包管理器)，但专为 C/C++ 设计。它通过消除 CMake 配置、依赖管理等繁琐操作，提供现代化的命令行界面和流畅的开发体验。

工作原理:

Craft 的工作流程如下：

1. 定义项目: 在 craft.toml 文件中描述你的项目。
2. 生成 CMakeLists.txt: Craft 会自动生成 CMakeLists.txt 文件。
3. 自动获取依赖: Craft 自动下载和管理项目依赖。
4. CMake 构建: 利用 CMake 在后台构建项目。

快速示例:

• craft project my_app: 创建名为 "my_app" 的新项目。
• cd my_app: 进入项目目录。
• craft add --git https://github.com/raysan5/raylib.git --links raylib: 添加 raylib 依赖。
• craft build: 构建项目。
• craft run: 运行项目。

解决的问题:

• 统一的项目定义: 通过 craft.toml 文件集中管理项目配置。
• 便捷的依赖管理: 使用 craft add 命令轻松添加、移除和更新依赖。支持本地项目、Git 仓库和指定标签。
• 快速项目创建: 通过模板快速创建新项目，内置了可执行文件、静态库、共享库和头文件库模板，也可以保存自定义模板。

安装:

• macOS & Linux: curl -fsSL https://raw.githubusercontent.com/randerson112/craft/main/install.sh | sh
• Windows (PowerShell): irm https://raw.githubusercontent.com/randerson112/craft/main/install.ps1 | iex
• 依赖: 需要安装 git 和 cmake。

常用命令:

• craft project <path>: 创建新项目。
• craft init [path]: 初始化 Craft 项目。
• craft build: 构建项目。
• craft run [executable]: 运行项目。
• craft add: 添加依赖。
• craft remove <name>: 移除依赖。
• craft update [name]: 更新依赖。
• craft clean: 清理构建目录。
• craft help [topic]: 查看帮助信息。

craft.toml 文件结构:

craft.toml 是项目的核心配置文件，用于描述项目信息和构建配置。

• [project]: 定义项目名称、版本、语言（c 或 cpp）和 C/C++ 标准。
• [build]: 定义构建类型（可执行文件、静态库、共享库或头文件库），包含目录（include_dirs, source_dirs）和链接库（libs）。
• [dependencies]: 管理项目依赖（通常由 Craft 自动管理，手动编辑不常用）。

目录结构:

一个典型的 Craft 项目包含以下目录：

• craft.toml: 项目配置文件。
• CMakeLists.txt: 自动生成的 CMake 文件（不建议直接编辑）。
• CMakeLists.extra.cmake: 可选，用于添加自定义 CMake 代码。
• build/: 构建输出目录。
• include/: 头文件目录。
• src/: 源代码目录。
• .craft/deps/: 存放克隆的 Git 依赖。

Craft 旨在提供一种更简单、更现代的方式来构建 C 和 C++ 项目，减少繁琐的配置和依赖管理工作。

Kagi 搜索的 URL 重定向功能总结

Kagi 搜索提供了一个名为“URL 重定向”（也称为 URL 重写）的功能，允许用户自定义搜索结果的 URL，从而在点击链接前就将其重定向到用户期望的页面。

主要功能：

• 文本查找与替换规则： 用户可以设置文本查找与替换规则，用于修改搜索结果 URL。
• 透明化操作： 当规则匹配时，Kagi 会重写 URL，并在搜索结果中显示一个小图标，提示 URL 已被重写，并允许用户查看原始 URL 和应用了的规则。

使用场景示例：

• 替换域名： 将一个域名替换为另一个域名，例如将 reddit.com 替换为 old.reddit.com 以访问旧版 Reddit 界面。
• 替换路径： 修改 URL 中的特定路径段，例如将 /docs/v2/ 替换为 /docs/v3/ 以访问文档的最新版本。
• 重定向 AMP 页面： 将 Google 的 AMP (Accelerated Mobile Pages) 页面重定向到原始网站，避免通过 Google 的缓存访问。

规则格式：

每个重定向规则遵循 ^URL you want to change | URL you want to go to instead 的格式。 ^ 符号表示起始匹配。

社区示例：

Kagi 社区分享了许多实用的重定向规则，包括：

• 访问旧版 Reddit 界面
• 使用替代的 Imgur、Twitter/X、Bluesky 等前端，避免广告和跟踪。
• 跳过 YouTube 视频的介绍和填充内容。
• 强制使用桌面版 Wikipedia
• 访问 Knot DNS 文档的最新版本

高级用法：

• 正则表达式支持： 支持正则表达式，允许用户匹配多个 URL 模式并捕获 URL 的部分内容进行重组。例如，可以编写规则，始终将用户重定向到 Knot DNS 文档的最新版本，无论原始链接指向哪个版本。

总结：

Kagi 的 URL 重定向功能为用户提供了强大的 URL 定制能力，可以根据个人偏好修改搜索结果链接，提升浏览体验和隐私保护。用户可以通过简单的规则设置，实现各种个性化需求。

更多信息：

• Kagi 帮助文档
• Kagi 社区

Hegel 项目简介

Hegel 是一个基于 Hypothesis 构建的通用属性测试协议和一系列库。 它的目的是提供一种强大的测试方法。

核心内容:

• 定义: Hegel 是一个属性测试协议，以及相关的库集合。
• 基础: 它建立在 Hypothesis 框架之上。
• 推荐入门: 建议初次使用者从 Getting started 指南开始学习。
• 资源分类: 项目文档分为以下几个类别：
  • Introduction (介绍): 包含入门指南。
  • How-to guides (使用指南): 目前暂未提供，未来将补充。
  • Explanation (解释): 包含关于 Hegel 工作原理 (How Hegel works) 以及选择 Hegel 的理由 (Why Hegel?) 的说明。
  • Reference (参考): 包含安装参考 (Installation reference) 和协议参考 (Protocol reference)。

总结: Hegel 致力于提供基于属性的测试解决方案，依赖 Hypothesis 框架，并提供文档以帮助用户理解和使用该协议及相关库。

Google Gemini SynthID 水印逆向工程项目总结

本项目旨在逆向工程 Google Gemini 生成图像中使用的 SynthID 水印系统。该系统是一种隐式水印，通过光谱分析发现、检测并 surgically 去除。

核心发现：

• 分辨率依赖性： SynthID 水印的载波频率取决于图像的分辨率。不同分辨率的图像具有不同的水印载波位置。例如，1024x1024 分辨率的载波频率为 (9, 9)，而 1536x2816 分辨率的载波频率为 (768, 704)。
• 相位一致性： 水印的相位模板在同一 Gemini 模型的所有图像中保持一致，绿色通道信号最强，跨图像相位一致性 > 99.5%。
• 载波频率结构： 在 1024x1024 分辨率下，载波频率呈低频网格排列。

项目目标与成果：

1. 发现水印： 揭示了分辨率依赖性的载波频率结构。
2. 水印检测器： 构建了检测 SynthID 水印的检测器，准确率达到 90%。
3. 光谱绕过 (V3)： 开发了一种多分辨率光谱绕过方法，在任何图像分辨率下，可以实现 75% 的载波能量降低，91% 的相位一致性降低，以及 43+ dB 的 PSNR。

架构与技术：

• V3 绕过流程：
  1. 利用 SpectralCodebook 自动选择匹配的分辨率配置文件。
  2. 进行直接的已知信号减除。
  3. 采用多通道加权 (G=1.0, R=0.85, B=0.70) 来匹配 SynthID 的嵌入强度。
  4. 采用多遍迭代减除策略 (aggressive → moderate → gentle) 以捕捉残余水印能量。
• SpectralCodebook： 存储了每个分辨率的水印指纹，包括载波位置、幅度和相位。
• 代码结构：
  • src/extraction/synthid_bypass.py: V1/V2/V3 绕过以及多分辨率 SpectralCodebook 的实现。
  • src/extraction/robust_extractor.py: 多尺度水印检测器。
  • gemini_black/, gemini_white/, gemini_random/: 用于训练和验证的数据集。
  • artifacts/: 保存生成的水印代码本和可视化结果。

贡献方式：

项目积极寻找贡献者，特别是收集由 Nano Banana Pro 生成的纯黑色 (#000000) 和纯白色 (#FFFFFF) 图像，以改进多分辨率水印的提取。 这些图像用于载波频率发现、相位验证和提高跨分辨率的鲁棒性。

项目状态：

该项目是独立维护的，旨在用于研究和教育目的。请勿将此工具用于误导性地将 AI 生成的内容伪装成人类创作的内容。

支持方式：

可通过 Buy Me A Coffee 平台提供资金支持，用于计算资源（GPU 时长）、数据集扩展和持续的绕过研究。

联系方式：

Alosh Denny (aloshdenny@gmail.com)

GitHub 链接： https://github.com/aloshdenny/reverse-SynthID

Raft 共识算法解释：以《辣妹联盟》为例 (Raft Consensus Algorithm Explained Through Mean Girls)

本文旨在通过《辣妹联盟》这部电影的场景，解释 Raft 共识算法，使其更容易理解。以下是文章的主要内容总结：

1. 什么是 Raft？

Raft 是一种分布式系统中的共识算法，用于确保数据安全且一致地复制。它类似于高中社团中的“塑料姐妹花”群体，确保信息的同步和一致性。

2. Raft 的角色与《辣妹联盟》类比

• 集群 (Cluster): 整个“塑料姐妹花”群体，代表数据副本组。
• 副本 (Replica): 群体中的每个成员（Regina, Gretchen, Karen），代表数据副本。
• 领导者 (Leader): Regina George，代表 Raft 集群中的领导者。领导者负责处理客户端请求并协调副本。
• 追随者 (Follower): Gretchen Wieners 和 Karen Smith，代表追随者副本，接收并复制领导者的指令。

3. 共识的重要性

类似于在购买裙子之前需要朋友的确认，Raft 强调共识的重要性。只有当大多数副本同意一个决策时，才能执行操作。

4. 什么是法定人数 (Quorum)?

法定人数是指在达成共识所需的最小副本数量。以《辣妹联盟》为例，如果将“塑料姐妹花”与另一个社团“艺术怪胎”进行比较，由于“艺术怪胎”只有两人，无法达到法定人数，因此无法做出决定。而“塑料姐妹花”三人，可以达成共识。

5. 领导者选举 (Leader Election)

当领导者失去地位（例如 Regina 因穿着运动裤被罢免）时，需要重新选举领导者。Cady Heron 成为新的候选者，通过 Gretchen 和 Karen 的投票，成功当选为新的领导者。

6. 领导者的职责

新的领导者（Cady）负责接收客户端请求并将其传播给其他副本。例如，当 Damien 说出 “她根本不是学生” 时，Cady 作为领导者，负责将此信息传递给其他成员，并在获得足够确认后，达成共识。

总结

通过《辣妹联盟》的类比，文章解释了 Raft 共识算法的关键概念，包括集群、副本、领导者、追随者、共识和法定人数。Raft 算法通过确保数据在分布式系统中的一致性，提高了系统的可靠性和容错性。

位图字体：重拾计算机原貌 (Wèitu Pīntóu Zi Tí: Chóngshí Jìsuànjī Yuán Mào)

本文探讨了位图字体在现代设计中的缺失，并论述了重新重视它们的重要性。文章指出，虽然现代视觉设计倾向于干净的无衬线字体和端庄的衬线字体，但位图字体在计算机历史和程序员文化中扮演着重要的角色。

核心观点：

• 字体是日常基础设施： 字体无处不在，即使你认为自己在看内容，实际上也在透过字体观看。
• 字体诞生于约束： 早期的位图字体是在硬件限制下诞生的，每个像素都需要精心设计，这赋予了它们一种独特的、有目的性的感觉。
• 《黑客帝国》与《Mr. Robot》的影响： 这些作品通过独特的视觉效果，将机器文本与“黑客”文化紧密联系在一起，尽管使用的字体并非传统的编程字体。
• 程序员的视角： 位图字体与程序员的工作方式高度契合，它们在代码编辑、终端模拟器等场景下提供了更清晰的符号和更密集的视觉体验。
• 位图字体的多样性： 位图字体不仅仅局限于终端文本，它们涵盖了多种风格，包括工作字体、复古风格、编辑风格、未来主义风格等。
• 约束即风格： 位图字体并非在所有分辨率下都表现良好，它们在特定尺寸下才能展现出最佳效果。这种“挑剔性”正是其独特的魅力所在。
• 行业错失： 现代设计过度追求通用性和流畅性，忽略了位图字体所能带来的个性化和历史感。
• 重新审视的契机： 如今，重新使用位图字体无需大规模改造操作系统，可以在终端、代码截图、海报、动效等场景中应用，为项目带来独特的视觉风格。
• 回归计算机原貌： 位图字体让计算机回归到最初的模样，不再是抽象的数字产品或通用的界面，而是充满网格、字符单元、复杂妥协和纹理的机器。

推荐字体：

文章列举了多款位图字体，并对其特点和适用场景进行了总结：

• Greybeard: 编程字体，适用于代码截图和终端复古风格。
• Cozette: 编程字体，适用于终端文化场景。
• PixelCode: 现代像素编程字体，适用于现代代码视觉效果。
• NeueBit: 粗犷的位图无衬线字体，适用于标题和海报设计。
• Mondwest: 位图衬线字体，适用于引用和标题卡。
• Departure Mono: 编辑像素字体，适用于英雄帧和技术视觉效果。
• Terminus: 经典的工作字体，适用于历史角度和长时间屏幕工作。
• Gohu: 像素字体，注重可读性和符号区分。
• Luculent: 矢量对比/屏幕字体，作为对比点。

总之，文章呼吁设计师和程序员重新审视位图字体，并将其作为一种有价值的设计语言，为技术产品带来更具个性和历史感的设计。

好的，这是对原文内容的总结，字数控制在800字以内，使用Markdown格式，并为中文：

Instant 1.0 发布：AI 代码应用的全栈构建平台

Instant 团队宣布正式发布 Instant 1.0，这是一个旨在将代码代理转变为全栈应用构建平台的开源工具。Instant 的核心目标是成为 AI 代码应用的最佳后端解决方案。

核心优势：

• 无限应用： 用户可以创建无限数量的项目，且项目不会因为闲置而被冻结，避免了传统平台常见的限制和漫长的解冻时间。
• 同步引擎： Instant 内置同步引擎，使应用具备离线工作、实时更新和快速响应的特性，提供流畅的用户体验。
• 内置服务： 提供身份验证 (Auth)、文件存储、状态跟踪 (Presence) 和流 (Streams) 等常用服务，简化应用开发。

技术架构与设计：

Instant 的设计理念是满足实时、关系型、多租户后端的需求。其核心组件包括：

• 多租户数据库： 基于 PostgreSQL 构建，利用其强大的关系型数据库功能。
• Clojure 同步引擎： 使用 Clojure 语言构建，负责数据同步和实时更新，确保应用在各种场景下的稳定运行。

关键功能详解：

• 无限应用： 通过多租户数据库实现，每个新项目仅需在数据库中添加少量记录，无需为每个项目创建独立的虚拟机 (VM)。这显著降低了资源消耗，实现了无限应用的潜力。
• 同步引擎： 借鉴了 Linear, Notion 和 Figma 等现代应用的同步模式，Instant 内置同步引擎，支持离线工作、实时更新和乐观更新。用户只需编写前端代码，无需手动处理数据同步细节。
• 额外服务： Instant 整合了身份验证、文件存储、状态跟踪和流等常用服务，简化了应用开发流程，并减少了数据同步的复杂性。例如，文件存储直接集成到数据库中，支持 CASCADE 删除规则，避免了传统方案中需要手动管理文件和数据库同步的问题。

技术细节：

• 客户端 SDK： 使用 IndexedDB 进行离线数据存储，采用 Triple 存储和 Datalog 引擎进行查询，并使用 pending queue 处理乐观更新。
• Clojure 后端： 使用 Reactor 协调客户端请求，利用 Grouped Queue 实现多租户资源隔离，确保公平性。
• 多租户数据库： 基于 PostgreSQL 构建，使用 triples 表存储数据，并通过 count-min sketches 跟踪统计信息，优化查询性能。

未来展望：

Instant 团队希望通过 Instant，赋能开发者和 AI 代理，实现更高效、更灵活的应用开发。Instant 提供了 API 和 CLI 工具，方便开发者和代理进行自动化操作。

总结：

Instant 1.0 是一款充满创新和潜力的全栈应用构建平台，它通过多租户架构、同步引擎和内置服务，解决了传统应用开发中的诸多痛点，为 AI 代码应用提供了强大的后端支持。Instant 的开源发布，将为开发者带来更广阔的创新空间。