在比尔·盖茨领导微软的时候，产品支持部门对于处理特别苛刻的客户，有一种独特的策略。如果客户坚持要与“老板”通话，技术人员会出人意料地转接电话——不是转给盖茨本人，而是转到一个内部线路，该线路的应答是“比尔·盖茨的办公室”。 扮演盖茨秘书的工作人员会礼貌地告知来电者，盖茨先生目前无法接听，但会代为留言。这个留言并不会发送给盖茨，而是被重新路由回支持系统，并标记为“已升级至比尔·盖茨办公室”。 随后，一名技术人员会跟进，声称比尔·盖茨亲自要求他们联系客户，解决他们的问题。这个巧妙的系统化解了愤怒的客户，同时也微妙地表明该问题需要优先处理，而实际上并没有打扰到首席执行官。

请启用 JavaScript 并禁用任何广告拦截器。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

## 构建一个自由开源的未来：Clan 新应用平台 Clan 项目旨在创建一个强大、用户友好的平台，用于点对点、社区驱动的软件，使其能够与大型科技公司的产品竞争。他们认识到当前自由开源世界存在的局限性——尤其是在安全性、易用安装和网络连接方面——因此他们正在利用 **Nix** 构建新的基础，以实现快速、可重复的软件交付。 该平台的核心是 **微虚拟机技术**，它通过硬件虚拟化（如 Firecracker 和 muvm）提供安全的应用程序隔离，且开销最小。这解决了关键差距，即自由开源应用程序通常以完全系统权限运行，而沙盒化的商业应用程序则不然。先进的 GPU 虚拟化（利用 virtio-gpu 和 DRM 本机上下文等技术）确保了在这些虚拟机 *内* 强大的图形性能。 为了平衡安全性和易用性，该平台集成了 **D-Bus 门户**（类似于 Flatpak），允许受控的数据共享。这使得应用程序能够在不损害整体系统安全的情况下访问必要的资源。 该项目正在积极开发此平台，目前可通过 **munix** 项目获得，并欢迎社区贡献以完善和改进它。目标是实现一个未来，即自由开源应用程序像其专有对应物一样方便、安全和互联。

此网页是关于 **GitHub** 的，一个软件开发和版本控制平台。它为个人和团队提供构建、托管和协作代码的工具。 主要功能包括 **GitHub Codespaces**（即时开发环境）、**Actions**（工作流自动化）以及强大的 **安全功能**，例如漏洞扫描和密钥保护（通过 **GitHub Advanced Security**）。 GitHub 适用于各种用户——从企业和初创公司到开源开发者——并支持 DevOps、CI/CD 和应用程序现代化等多种用例。它还提供文档、博客和社区论坛等资源。 该页面特别展示了用户 **bellard** 的一个名为 **mquickjs** 的公共仓库，拥有 448 个星标和 11 个分支，展示了 GitHub 作为代码托管服务的功能。用户可以登录、自定义外观、提供反馈和管理帐户设置。

Meta 令人惊讶地采用了Valve Steam Deck最初开发的Linux调度器——SCX-LAVD，用于他们的服务器。在东京的Linux Plumbers Conference上，Meta工程师详细介绍了这款由Igalia为Valve创建的、注重延迟的调度器，在超大规模环境中表现出色。 这款被命名为“Meta的新默认调度器”的SCX-LAVD，在各种服务器硬件和工作负载上都能提供强大的性能，*无需*专门配置。它在负载均衡方面表现出色，并且能够很好地适应不断增加的CPU和内存配置。 SCX-LAVD最初设计用于增强Steam Deck等手持设备上的游戏性能（并被CachyOS和Bazzite等项目使用），其适应性证明它是一种用途广泛的解决方案，远远超出了其最初的目的。Meta的研究强调了游戏相关技术在企业服务器环境中更广泛应用的可能性。

## 星巴克：超越拿铁 – 一项运营挑战 尽管作者喜欢星巴克的咖啡和咖啡师，但观察到这家咖啡巨头在顾客便利性和运营效率之间日益紧张。面对销售额下降，星巴克正专注于提高速度和体验，尤其受到移动点单的冲击。 核心问题是什么？星巴克目前处理订单 – 堂食、驾乘和移动 – 采用先到先服务原则。这优先处理移动订单，甚至在顾客到达之前，导致拥挤的准备区域和沮丧的店内顾客。 作者借鉴仓库物流的经验，建议星巴克可以优先处理“紧急”工作（例如快速完成店内订单），并通过同时处理单个移动订单的所有组成部分来“保持同步”。将相似的饮料组合在一起也可以提高咖啡师的效率，类似于装配线原理。 本质上，星巴克需要利用移动点单提供的灵活性 – 顾客不需要*立即*完成订单 – 来优化工作流程并减少瓶颈，最终提高顾客满意度和运营绩效。

## 从欧几里得到非欧几里得节奏：一次音序探索 这次探索始于想要超越标准、可预测的节奏，这些节奏是由 Elektron Digitone 和 Digitakt 等乐器上的音序器产生的。作者发现硬件在学习方面存在局限性，因此深入研究了 VCV Rack，这是一种软件模块合成器，用于实验。 重点很快转移到欧几里得节奏——均匀分布节拍的模式——以及它们在创造熟悉的全球音乐氛围方面的潜力。然而，这些节奏可能具有重复性。作者随后研究了“反欧几里得”方法，旨在实现*不均匀*的节拍放置，并最终开发了一种在欧几里得节奏和簇状节奏之间插值的方法，以获得更动态的结果。 这次实验最终促成了构建一个具有可调节密度、欧几里得距离控制、旋转以及受图灵机启发的音高生成器等功能的定制音序器。一个独特的“布尔模式”允许分层和组合不同的节奏部分。最终目标是什么？创造一种弥合准备和即兴创作之间差距的工具，从而实现更引人入胜的现场表演，并进一步探索心爱的“合成器角落”。作者暗示了未来的开发，可能作为 VCV Rack 插件或与 WebMIDI 集成，以便与硬件合成器一起使用。

## 苏格兰的冬至与变迁的庆祝 瓦尔·麦克德米德反思了苏格兰的冬至和新年传统，将古代石圈如克拉瓦石冢——与冬至阳光对齐照亮墓穴——与她20世纪50、60年代的童年联系起来。这些史前遗址展示了早期对季节变化和光线回归的深刻理解。 由于宗教改革时期的宗教反对，圣诞节在苏格兰历史上曾受到压制，而除夕（Hogmanay）成为了主要的庆祝活动。麦克德米德 fondly 回忆起一个以朴素的礼物、烤鸡晚餐和对“First Foot”（带来威士忌和煤炭带来好运的访客）的期待为标志的童年圣诞节。 然而，即使是这些除夕传统也随着时间的推移而逐渐淡化，取而代之的是更现代的庆祝方式。作者描绘了一幅怀旧的苏格兰图景，在那里，社区、歌声和特定的习俗定义了这个季节，与今天更为稀释的习俗形成对比。最终，这篇文章是对文化庆祝活动如何演变以及季节性仪式持久力量的个人而富有感染力的探索。

## 从重复拍摄到全新发现：一个星空摄影目标规划器 一位星空摄影师对反复拍摄像仙女座这样熟悉的星体感到沮丧，于是他创建了一个工具来重拾探索夜空的乐趣。使用Stellarium等软件手动规划目标耗时费力，需要不断核对可见性、焦距兼容性和难度——往往又回到“安全”的选择。 解决方案？一个星空摄影目标规划器应用程序。该应用程序根据位置、天空质量（例如Bortle 5后院）、焦距和期望难度来筛选潜在目标，简化了选择过程。一个关键功能是“发现模式”，它优先考虑鲜为人知的星云和天体，发掘NGC 7822和问号星云等隐藏的瑰宝。 该应用程序为每个目标提供关键细节，包括最佳成像时间、坐标、构图估算和诚实的难度评估。这种工作流程大大缩短了规划时间——从寻找熟悉目标所需的13分钟，到寻找全新目标所需的85秒，使摄影师能够在一年内拍摄超过40个深空天体。该应用程序目前处于测试版阶段，可免费使用。

## Yapi：强大的API测试工具 Yapi 是一款新的开源命令行工具，专为需要直接从终端测试 API 的高级用户设计。它支持 HTTP、gRPC、TCP 和 GraphQL（未来计划支持更多协议），允许进行全面的测试，包括跨不同协议的请求链。 主要功能包括：内置集成测试，带有期望和断言；语言服务器协议 (LSP) 用于 IDE 集成（目前支持 Neovim，计划支持 VSCode）；以及 GitHub Actions 支持用于 CI/CD。Yapi 还通过配置文件简化了多个环境（开发、预发布、生产）的管理。 目前处于早期 Alpha 阶段，Yapi 正在积极开发中，并欢迎用户通过 GitHub Issues 提供反馈。它被设计为高度可配置和可管道化，将 JSON 输出到 stdout，其他信息输出到 stderr。 您可以从其 GitHub 仓库安装 Yapi，并创建请求文件来定义和执行您的 API 测试，开始使用。欢迎贡献！

## 超越维生素与止痛药：寻找产品与市场的契合点 这篇文章挑战了常见的“维生素 vs. 止痛药”的创业比喻，认为它并无帮助，并专注于可操作的测试，以识别真正有价值的产品创意，特别是对于B2B创始人。核心思想：**关注确定性，而不仅仅是识别问题。** 关键测试包括：**预算削减排名** – 你的产品在成本削减措施中是否会是最后被削减的？寻找它在基础设施、沟通或记录系统中的位置。其次，寻找**非自愿销售** – 用户*恳求*付费，表明迫切的需求。避免需要市场教育或解决人们没有主动意识到的问题的想法。 此外，努力做到在*特定领域*为*特定人群* **好10倍** – 而不仅仅是普遍改进。这创造了一个“无法衡量”的价值主张，绕过冗长的采购流程。 最终，作者提倡寻找那些*已经知道*自己有问题的用户，并且*现在*就在积极寻找解决方案。这些测试旨在消除噪音，并建立对产品与市场契合的信心，提醒创始人“创造人们想要的东西”。

## 停止“劣质软件”：呼吁开源软件质量 StopSlopware.net 关注日益严重的“劣质软件”问题——指那些低质量、杂乱无章、难以维护的软件，往往因不当使用人工智能而加剧。该网站并非旨在批评，而是建设性地敦促开发者提高作品质量。 其核心信息尤其针对初学者：优先*学习*而非仅仅*产出*代码，并避免过度依赖人工智能，因为它会阻碍真正的理解。对于所有开发者，建议放慢速度，简化设计，并确保项目的每个部分都得到充分理解和清晰记录——编写你自己的README！ StopSlopware 提供了一个快速链接，可以分享给存在这些问题的项目，从而节省审查者的时间，并为作者提供反思和改进的机会。它源于对重复反馈的沮丧，以及对培养高质量、可维护的自由和开源软件的奉献。

龙芯架构的支持已经进入了开源Linux基础设施的大部分领域。尽管龙芯中科尚未发布龙芯架构手册的剩余部分，但由于公开的QEMU和Linux变更等大量公开信息，以及指令编码和行为等“未公开”信息实际上已经公开。手册的缺失不再能阻碍人民的优化工作。我们预计龙芯架构的新生态系统将在2023-2024年期间迅速发展，有了您的参与将会更快。本网站由社区维护。欢迎加入！

## 取消平台化策略的反噬 试图通过“取消平台化”来压制争议人物的尝试已被证明是无效的，甚至可能适得其反。最初的反应，例如马修·伊格莱西亚斯声称“取消平台化特朗普就奏效了”，很快就被挑战，因为特朗普和塔克·卡尔森等人物在更大的平台上卷土重来。这呼应了弗洛伊德的压抑理论——压制思想并不能消除它们，而是迫使它们以更具破坏性的形式浮出水面。 2021年的“大取消平台化”——包括对Parler的行动以及对亨特·拜登笔记本电脑故事的压制——旨在控制叙事，但反而助长了怨恨和极端声音的崛起。埃隆·马斯克收购推特暴露了政府此前审查言论的努力，导致了一种转向开放性讨论的转变。 这种开放性，以推特“社区笔记”功能为例，拥抱了“思想市场”的方法，允许用户集体评估信息。它也揭示了一种被称为“偏好伪装”的现象，即被压制的信念在人们感到可以安全表达时会爆发——就像是对虚假觉醒表演的悄然远离。 虽然言论自由允许有害意识形态持续存在，但教训很明确：审查制度行不通。相反，直接面对具有挑战性的思想，促进真正的辩论，以及批判性地检查我们自己的偏见，对于健康的民主至关重要。现在的挑战是在这个不受监管的环境中以理性的方式航行，并抵制回音室和分裂性言论的吸引力。

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## ExecuTorch：使用 PyTorch 进行设备端 AI ExecuTorch 是 PyTorch 针对 AI 模型直接部署到设备（从智能手机到微控制器）的解决方案，优先考虑隐私、性能和可移植性。它在 Meta (Instagram, WhatsApp, Quest, Ray-Ban 智能眼镜) 内部得到广泛使用，允许使用熟悉的 PyTorch API 无缝部署 LLM、视觉、语音和多模态模型。 主要特性包括直接从 PyTorch 导出 *无需* 中间格式转换，拥有 50KB 的微小运行时，并通过一次导出支持 12+ 硬件后端（Apple、Qualcomm、ARM 等）。它利用提前编译来优化模型以进行边缘部署，采用标准化的算子集和 CPU 回退。 部署涉及导出、编译（具有量化选项）和执行生成的 `.pte` 文件。ExecuTorch 提供 C++、Swift (iOS) 和 Kotlin (Android) 的 SDK，以及用于 LLM 和多模态模型支持的工具（Llama 3, Llava, Voxtral）。高级功能包括量化、内存规划以及用于调试和优化的开发者工具。 ExecuTorch 采用 BSD 许可，并欢迎社区贡献。

## AI 与软件验证的未来：一种平衡的观点 人工智能正在迅速改变形式化验证的格局——这是一个数学证明软件正确性的过程。在数十亿美元的投资和 Lean 等证明助手日益普及的推动下，人工智能正在取得显著成果，甚至能够解决国际数学奥林匹克竞赛中的复杂问题。专家们对人工智能革新软件工程的潜力持乐观态度。 然而，仍然存在重大挑战。一个主要障碍是大多数现有软件缺乏形式化规范；人工智能辅助编程提供了一条解决途径，即通过激励规范驱动的开发。即使*有*了规范，证明工程仍然困难，工具也不够完善。 人工智能在自动形式化（将意图转化为形式逻辑）和证明编写方面表现出色，但自动形式化步骤引入了一个关键漏洞——“可信计算基”，因为机械地验证翻译的准确性是不可能的。此外，证明助手速度慢，并且创建用于验证的全面模型（尤其是针对运行时性能）极其复杂。 作者提倡一种协同方法：**验证引导开发 (VGD)**。 这将形式化验证的简化实现与更快的生产版本相结合，并使用测试来确保它们行为一致。 尽管测试存在局限性，但它仍然对于证伪不正确的定理和探索形式化模型范围之外的领域至关重要。 最终，强大的测试*和*由人工智能驱动的日益复杂的形式化验证相结合，为实现更可靠的软件提供了最有希望的途径。

## 3D HBM：可行的未来，但存在重大障碍 Imec 的最新研究表明，将高带宽内存 (HBM) 直接堆叠到 GPU 上（“3D HBM-on-Logic”）在技术上变得可行，为 demanding 的 AI 工作负载提供潜在的性能提升。然而，出现了显著的热挑战——初步模拟显示温度远超安全限制。 Imec 提出了一种多方面的解决方案，包括移除 HBM 基底，合并 HBM 堆栈，减薄内存，以及至关重要的是，**将 GPU 的时钟频率减半**。增强冷却，可能包括背面冷却，也至关重要。 虽然这些缓解措施将温度降低到与当前 2.5D 设计相当的水平，但权衡是巨大的。最大的问题是 GPU 频率降低 50%，影响整体计算吞吐量。尽管如此，Imec 认为增加的内存带宽可以弥补一些性能损失，可能为受内存限制的 AI 任务提供 22-46% 的性能提升。 然而，商业可行性仍然存疑。实施这些更改需要在整个供应链中进行重大重新设计，可能影响成本和良率。其他方法，如先进的 2.5D 互连或光存储解决方案，也在探索中。最终，Imec 的工作强调了创新散热的迫切需求，因为 AI 需求不断将硬件推向极限。

## Glaze：保护艺术家免受AI风格模仿 生成式AI的兴起，特别是像MidJourney和Stable Diffusion这样的扩散模型，对艺术家构成了威胁。这些模型在大量的在线图像数据集上进行训练——通常包括受版权保护的艺术作品——从而实现“风格模仿”，AI能够以惊人的准确度复制艺术家的独特风格。这导致艺术家收入损失、品牌稀释，甚至产生身份盗窃感，甚至会打击有抱负的创作者。 为了应对这个问题，研究人员开发了**Glaze**系统，它以人类难以察觉的方式微妙地改变艺术作品，但会扰乱AI的训练。它为图像添加了一个隐藏的“维度”，扰乱了AI复制风格的尝试。Glaze并非万无一失的解决方案——存在反制措施（例如IMPRESS和噪声放大攻击，Glaze会不断更新以应对这些攻击），并且对*已经*嵌入到基础AI模型中的风格无效。 然而，Glaze是一个至关重要的第一步，为艺术家提供了一个免费工具（可作为可下载程序以及基于网络的**WebGlaze**使用），以保护他们的作品，同时更长期的法律和监管解决方案也在发展中。这是一个研究驱动的项目，而非商业行为，优先考虑艺术家保护而非利润。

瑞安航空因不公平限制在线旅行社（OTA）销售其机票，被意大利竞争管理局处以2.56亿欧元罚款。从2023年4月至2025年，该航空公司实施了技术障碍——包括阻止支付方式和删除账户——以迫使顾客直接通过其网站预订。 瑞安航空首席执行官迈克尔·奥利里将Booking.com等OTA称为“海盗”，指责它们通过隐藏费用抬高价格。尽管该策略最初影响了销量和利润，但瑞安航空仍然是一家备受推崇的航空公司。 该管理局发现瑞安航空滥用其支配市场地位，阻止与其他航空公司和服务捆绑销售，阻碍了竞争。瑞安航空计划对这一“在法律上存在缺陷”的裁决提出上诉，认为其直销模式使消费者受益，票价更低。该航空公司最近才允许OTA链接到其服务，从而提供了更多竞争选择。

糟糕！访问被拒绝：错误代码bf584155dcd667f7。 请返回。 由Anubis From Techaro保护。 🇨🇦制造，充满爱❤️。 吉祥物设计由CELPHASE完成。 本网站运行Anubis版本v1.24.0-pre1-8-g9d9be61。

## DatoCMS 年度回顾：2025 - 强劲增长与独立 DatoCMS 在 2025 年取得了令人印象深刻的成绩，实现 **650 万欧元的收入** – 较去年同比增长 **10%** – 并拥有高达 **65% 的息税前利润率**，使其在全球 SaaS 公司中名列前 5% ( “40 法则” 得分为 75!)。 这一成功归功于可持续运营和严格执行，避免了“不惜一切代价追求增长”的模式。 该平台将其 **代理合作伙伴网络扩展至 185 家**，展示了实际项目成功案例，目前已展示 **340 个项目**。 产品开发持续不断，关键改进包括 **JavaScript 的完全类型安全**、**响应式插件设置**以及 **AI 准备就绪**功能，例如适合 LLM 的文档和 AI 翻译。 一项重大成就是从 Heroku 完全迁移到 **AWS 上的自定义 Kubernetes 集群**，从而实现了 **响应时间提高 50%** 和 **基础设施成本降低 25%**。 公司还将其会计工作内部化，以获得更大的财务控制权。 DatoCMS 保持着 **13 人**的精简团队，优先考虑产品质量、工作生活平衡和盈利能力，而不是快速扩张，专注于提供价值并避免炒作。 他们计划在 2026 年继续这种方法，专注于发布有影响力的功能，而不过度承诺。

## 使用 PostgreSQL 实现零拷贝数据库克隆 长时间运行的数据库迁移以及对干净测试环境的需求是常见挑战。传统上，复制大型数据库（数百 MB/GB+）速度慢且资源密集。PostgreSQL 提供了一种模板系统，新数据库从 `template1` 克隆，但在版本 15 之前，这会触发影响性能的“检查点风暴”。 PostgreSQL 15 引入了 `CREATE DATABASE ... STRATEGY`，默认设置为 `WAL_LOG`，通过预写式日志实现更平滑、并发的克隆——但对于大型数据库而言，可能速度较慢。`STRATEGY` 参数允许恢复到更快的 `FILE_COPY` 方法。 PostgreSQL 18 通过 `file_copy_method = clone` 增强了 `FILE_COPY`，利用文件系统功能（如 ZFS 或 XFS reflinks）实现*即时*、零拷贝克隆。这会创建指向相同数据块的新元数据，从而节省大量磁盘空间和时间。 但是，对克隆数据库的写入会触发“写时复制”机制，仅复制修改后的页面。重要注意事项包括：源数据库在克隆期间必须没有活动连接，它需要在单个文件系统内工作，并且可能在托管云环境中不可用。尽管存在这些限制，但该技术为合适的环境中的快速数据库复制提供了强大的解决方案。

该ESP32-S3固件将有线USB游戏手柄桥接到无线蓝牙低功耗（BLE）连接。只需将USB游戏手柄插入Seeed Studio XIAO ESP32S3板（如果需要，使用USB-C OTG适配器或供电集线器），固件就会广播一个BLE信号，允许与手机、平板电脑或电脑配对。 该项目使用PlatformIO构建，处理不同游戏手柄HID报告格式的复杂性。它将按钮布局标准化为一致的内部表示，然后将其转换为标准的BLE HID游戏手柄报告。这种解耦允许广泛的游戏手柄兼容性，而无需特定的设备驱动程序。 开发通过PlatformIO命令进行简化，用于构建、烧录和串口监视。可以通过调整`hid_parser.cpp`中的设置来映射独特的游戏手柄按钮配置，并借助调试日志来识别按钮映射。本质上，它从几乎任何有线控制器创建通用的BLE游戏手柄信号。

Carnap 是一个用 Haskell 编写的免费开源软件框架，用于教授和学习形式逻辑。Carnap 为全球数十所大学和学院的逻辑课程提供支持。 如果您正在学习使用 Carnap 的课程，请按照页面顶部的链接登录并访问课程材料。 如果您只是对 Carnap 感兴趣，可以在我们的关于页面上找到一些常规信息。 如果您对该项目感兴趣，并希望在您教授的课程中使用 Carnap，或以其他方式参与其中，请随时联系我们！

文斯·赞佩拉，大获成功的《使命召唤》系列游戏共同创作者，在加利福尼亚州因车祸去世，享年55岁。这起事故涉及一辆在洛杉矶高速公路上起火的法拉利，导致一名乘客也丧生。 赞佩拉在与动视（《使命召唤》的发行商）发生公开争端并于2010年离职后，共同创立了Respawn Entertainment。他后来参与了《泰坦陨落》和《Apex英雄》等热门游戏。以二战为灵感并售出超过5亿份的《使命召唤》，巩固了他于游戏界的地位，也使动视成为游戏巨头。 同事们回忆赞佩拉对玩家体验和游戏开发充满热情。Infinity Ward和Electronic Arts（他目前工作的地方）都表达了对他的逝世的深切悲痛，并承认他对行业产生了不可估量的影响。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

## CineCLI：从终端下载种子 CineCLI是一个快速的跨平台（Linux、macOS、Windows）命令行工具，用于轻松浏览、搜索和启动电影种子。它基于Python 3.9+，提供美观且简洁的终端界面。 主要功能包括搜索YTS获取电影、显示详细信息（包括评分和年份），以及直接将磁力链接启动到默认的种子客户端（如qBittorrent或Transmission）。它还可以下载.torrent文件，并自动选择具有健康种子的最高质量种子，同时您仍可完全控制。 CineCLI通过交互模式进行操作，方便探索，并利用您的操作系统处理磁力链接启动。它是开源的（MIT许可），并鼓励贡献——在[仓库链接 - 文本中未提供]上找到并点亮该仓库！由eyeblech构建。