并发执行、失败传播与容量判断：五项机制的深度讲解
并发不是“把任务放出去”就结束了。一个任务从进入系统到退出，至少要回答五个问题： 1. 谁来执行，忙闲如何均衡？ 2. 多个执行者读写共享状态时，原子性、可见性和顺序如何保证？ 3. 异步阶段失败后，错误如何沿结果链传播，什么时候恢复，什么时候继续上抛？ 4. 一组子任务如何共同失败、共同取消、共同…
墨萧／长期笔记
Tech Knowledge · Obsidian Notes
技术知识
从底层原理到工程实践，把近期研究整理成可检索、可串读的长期笔记。
- 收录
- 20 篇
- 来源
- Obsidian
- 形式
- 原理 · 实践 · 论文
算法小报｜从并发正确性到数据效率
月度整理 · 2026.09.19—2026.10.19 · 7 个主题组 · 25 个知识点 这一个月的推荐，有一条清楚的主线：先让并发操作不出错，再让有限的线程、缓存、内存和磁盘做更多有效工作。它既包含基础算法，也包含并发 API、分布式机制和数据库工程思想，适合作为后端工程学习小报。 三分钟导…
Roaring Bitmap 深入讲解：从压缩布局到精确集合运算
Roaring Bitmap 的价值，可以用一句话概括：根据整数在局部的分布选择存储布局，让集合运算尽量少读内存、少做无用功，并保持结果精确。 它不仅是在解决“怎样把一个集合存小”，还在同时解决“怎样让集合之间的计算更便宜”。理解这两件事的关系，就能理解它为何被用于人群圈选、倒排索引和分析系统，也能…
download_omarchy.py：大文件分段下载、断点续传与完整性校验
核心思路 把约 5.76 GiB 的 ISO 按固定字节区间切成 738 段；每段独立请求、落盘和续传。全部分段完成后，按序拼接并同时计算 SHA-256。只有大小和官方哈希都正确，才把临时成品替换成最终 ISO。脚本是这次下载任务的专用实现，参数和路径均写死在文件中。 实际脚本：/Users/cz…
Windows 10 与 Omarchy 双系统：MSI MS-1759 安装 U 盘、分区与启动指南
先看停止条件 此文是操作指导，不表示本机已经完成检查或安装。 安装器中必须选择 Free space install（空闲空间安装），而非 Full-disk install（整盘安装）；后者会清空所选磁盘。尚未查明 Windows 的「BIOS 模式」、实际磁盘布局和显卡型号时，先停在准备阶段，不…
Omarchy Linux：架构亮点、安装要求与最佳实践
一句话结论 Omarchy 是基于 Arch Linux、Hyprland 和 Quickshell 的有主见的桌面发行版：它把安装介质、软件仓库、桌面配置、开发工具与更新/回滚流程组合成一个可开箱使用、又允许自行修改的工作环境。优先用官方 ISO 在备用设备上体验；在生产电脑上安装前，先确认备份、…
跳表、AVL 树与红黑树：概率平衡、旋转与工程选型
先记住一句话 三者都要让不断增删的数据保持有序，还能迅速找到某个值或一段范围。跳表（Skip List）让少数节点随机承担“快速路”，换来期望的对数时间；AVL 树（AVL Tree）严格限制每个节点的左右高度差；红黑树（Red-Black Tree）允许更松的局部形状，但限制所有根到叶路径的相对长…
本地 CodeGraph Catalog MCP Spec：Codex 与 OpenCode 目录发现适配
最终定位 为本地 Codex 与 OpenCode 独立新增一个目录发现 MCP，自动发现指定本机代码目录下已有的 CodeGraph 索引，将项目用途、状态与可直接使用的绝对 projectPath 共享给 Agent。Agent 选择项目后，直接调用宿主中已有的原版 CodeGraph MCP…
OpenWiki 深度剖析：从可恢复文档生成到可验证知识生命周期
一句话结论 OpenWiki 的核心不是“让 LLM 自动写一套 Markdown”，而是把容易中断、可能犯错、无法天然保持一致的 Agent 写作过程，约束进一套可恢复的页面任务状态机、命题级证据账本和确定性最终化流水线。它把“理解与表达”交给模型，把“权限、状态、证据、新鲜度、索引、来源和失败恢…
CodeGraph 深度剖析：从本地代码图谱到 Agent 原生检索的设计哲学与实现机制
一句话结论 CodeGraph 的核心并不是“更快地搜到字符串”，而是把 Agent 每次会话都要重复支付的代码理解成本，提前固化成一个本地、确定、可增量维护的程序知识图谱，再通过一条尽量自足的 codegraphexplore 响应同时交付源码、调用路径、影响范围与不确定性边界。它追求的不是检索命…
Tailcat 无控制平面的点对点隧道：设计实现深度解析与 opencode serve 远程代理实践
目标 用 Tailscale 开源数据平面组件，在不需要 Tailscale 账号与控制平面的前提下，把两台机器之间的任意 TCP 服务（典型场景：本机 opencode serve 的 HTTP 端口）穿透到远端，供 remote agent 连接。 本文分两半：前半部分源码级拆解 Tailcat…
Rendezvous Hashing：最高随机权重哈希的设计哲学、原理与工程实践
一句话理解 Rendezvous Hashing（会合哈希），也叫 Highest Random Weight (HRW)（最高随机权重），不是在圆环上找后继，而是让每个节点对同一个 key 打一个确定性分数，最高分获胜。成员变化时，只有“新节点真正赢了”或“旧赢家下线了”的 key 才会搬家。 阅…
OpenCode iOS 远程使用全景指南：Web、原生客户端、终端、桌面与云主机
文档目标 本文系统整理截至 2026-08-24，如何从 iPhone/iPad 远程使用 OpenCode。重点不是罗列 App，而是解释执行主机、会话持久化、安全网络和客户端四层如何组合，以及各种方案与 Codex Remote 的本质差异。 一句话结论 对大多数个人用户，最佳起点是 OpenC…
从 Codex iOS 远程控制到 OpenCode Remote：架构拆解与 Base Plugin 实现方案
面向希望在手机上查看、继续、审批和中断桌面 OpenCode 会话的开发者。研究时间：2026-08-22。 Codex 的手机远控本质上不是远程桌面，也不是把本机 Agent API 暴露到公网，而是一个“语义级远程控制系统”：模型、文件、凭据、工具和命令仍在桌面主机运行；手机只承载线程列表、增量…
EnvHarness：唤醒静态世界 —— 从「环境装具」到共同演化的设计哲学与组织管理启示
论文：EnvHarness: Awakening Static Worlds for Agent Learning 出处：arXiv:2608.19880 (cs.AI)，2026-08-20 v1，41 页 作者：Chengsong Huang（WashU，一作兼通讯）、Zifeng Wang、R…
构建加密钱包的技术栈：从密钥容器到可信交易代理
结论先行 钱包的本质不是“展示资产余额的 App”，而是一个把人的意图安全地编译、解释并授权为不可逆链上状态变化的系统。技术栈的首要目标不是支持最多的链，而是缩小可信计算基（Trusted Computing Base, TCB）、让每一笔签名可解释、让恢复路径真的可用。首版应从“单链、单账户、收发…
家庭网络双路由设计：光猫桥接、策略网关与 Full Cone NAT 工程实践
一句话结论 结合现有设备，推荐采用 光猫桥接 → 一台路由器负责 PPPoE、唯一 DHCP、IPv6 与主防火墙 → 另一台路由器通过 LAN-LAN 作为有线 AP → Apple TV 有线接入并由 Surge tvOS 处理自身策略流量。只有其他家庭设备也需要统一分流时，才引入华硕二级策略子…
缓存穿透、击穿与雪崩：Redis 高可用的三道坎与 Sentinel、Cluster 工程实践
一句话理解 穿透是“本来就没有的数据反复绕过缓存”，击穿是“一个热点数据失效时并发回源”，雪崩是“缓存保护层大面积失效后，流量以正反馈方式压垮下游”。Redis 主从复制、Sentinel 与 Cluster 提高的是缓存服务自身的可用性，却不会自动解决这三类应用层放大效应。真正可靠的系统必须同时建…
Gossip 与 Raft：从概率传播到多数派共识的设计哲学与工程实践
一句话总览 Gossip 用概率传播换规模与韧性，Raft 用多数派约束换确定性与安全。前者擅长回答“消息怎样扩散、谁可能还活着”，后者擅长回答“哪条命令已经成为不可撤销的共同历史”。它们解决的不是同一个问题，因此常常不是二选一，而是分层组合。 先纠正三个常见简化 1. Gossip 不是一个固定算…
相关性不只选文档：RARG 与 Agentic Search 执行先验
一句话摘要 这篇论文最重要的贡献，不是又发明了一个向量检索器，而是重新安排了相关性 (Relevance) 在 Agent 搜索中的岗位：它不只负责“把哪些内容交给模型”，还负责“从哪里开始、先搜索哪些文件、哪些局部命中先进入有限的观察窗口”。作者把这种作用称为执行先验 (Execution Pri…