Database / Networking
分布式系统到底难在哪里：从逻辑时钟到 Raft 的四十年
沿着逻辑时钟、全局快照、拜占庭故障、FLP、Paxos、Raft、CRDT 与 Bitcoin，理解分布式系统如何在不同时间、故障和信任模型下建立共同历史。
Archive
文章
经过筛选和中文译编的技术长文，按最近发布时间排列。
Networking
从 SOCKS 到 TUN：代理软件如何演变成网络策略运行时
代理软件的演进并不是一串协议或项目的替代史，而是职责从连接转发、透明接管一路扩展到 DNS、流量识别、规则决策和出口编排的过程。
AI / Programming Languages
如果编程已经被解决，接下来呢？衡量代码的“草率度”
LLM 能生成近乎正确的代码，却仍会制造重复、冗余和逐步累积的糟糕决策。本文比较 AI 评审、人工评审、代码行数、冗余度与侵蚀度等衡量方法，并结合 SlopCodeBench 解释为什么人的直觉与品味依然不可替代。
Programming Languages
软件如何把人逼疯
软件把速度、金钱、复杂性、抽象和几乎无限的可变性揉在一起，让组织不断拉动本不必拉动的杠杆。作者主张以分寸感和耐心抵抗无休止的迭代、重构与转向。
AI / Programming Languages
AI 原生软件开发生命周期（SDLC）实战手册
一份覆盖规划、设计、构建、测试、部署与维护六个阶段的 AI 原生 SDLC 手册，说明如何以版本化工件、自动化评审、评估、Hooks 与人工审批构成可治理的开发闭环。
Networking
Visa 和 Mastercard 究竟做什么？银行卡网络入门
从交易消息路由、跨行净额结算、交换费激励到拒付争议，系统解释 Visa 和 Mastercard 作为银行卡网络的四项核心职责。
Hardware
理解计算机内存架构与 SSD 内部原理
从内存层次、SRAM、DRAM 与 DDR 出发，系统讲解 NAND Flash、SSD 控制器、FTL、ECC、RAID 奇偶校验以及 SSD 寿命与可靠性设计。
Hardware / Programming Languages
缓存如何工作：一个非常具体的解释
从局部性原理出发，具体讲解 CPU 缓存的索引、标签匹配、组相联结构、写入策略，以及面向缓存的代码重构方法。
AI / Hardware
Needle 2：面向微型设备的 14 MB Agentic LLM
Cactus 介绍其 45M 参数的端侧工具调用模型 Needle 2，包括量化架构、固定内存设计、设备性能、公开基准测试与本地微调结果。