System Design Essentials - 1
本文是系统设计基础三部曲系列的第一篇，介绍了软件系统设计中的核心构建模块，包括客户端-服务器架构（二层与三层架构）、垂直扩展与水平扩展的区别、数据库基础及CRUD操作、ACID与BASE两种事务模型、CAP定理及其在分布式系统中的权衡、关系型数据库（SQL）与非关系型数据库（NoSQL）的特点与适用场景，以及数据库主从复制的读写分离模式。每个概念都配有简明解释、图示、解决的问题及背后的权衡，适合系统设计入门学习和面试准备。
全部文档 / 标签: SQL
5 篇
LeanDB: 用 Lean 构建强类型 SQL 前端
文章介绍了 Theoric Labs 的 LeanDB 实验，旨在将形式化方法与 AI 智能体结合应用于数据库领域：用 Lean 语言描述数据及其属性，同时使用 SQL 数据库进行存储和查询。文章通过咖啡菜单示例系统讲解了 Lean 的类型系统，包括归纳类型（如 Temperature、MenuItem）、细化类型（如限制浓缩咖啡份数为 1-4 的 ShotCount 子类型）、依赖类型（杯型大小依赖于冷热温度的 CupSize 索引族），以及元类型（FieldSpec 宇宙设计模式，用数据描述类型）。作者认为，强类型能让编译器在运行前阻止非法数据写入，将验证结果显式化，从而构建无 bug 的软件系统。
Cloudflare D1 免费层开始硬性限额：一次规则落地如何改变小应用的数据库预算
Cloudflare 于 2026 年 9 月 1 日起对 Workers Free 账户的 D1 数据库实施每日硬性限额：行读取或行写入任一耗尽后查询直接报错，直到次日 UTC 00:00 重置。文章详解了 D1 按实际扫描/写入行数（而非 SQL 条数或返回行数）计量的核心机制，列举了无索引过滤、ORDER BY RANDOM()、前置通配符搜索等易触发限额的查询模式，并分析索引在节省读取与产生写放大之间的权衡。作者以自己站点为例梳理了排查与优化步骤，建议用量化监控、索引治理、缓存和降级设计应对免费层故障边界，或选择升级付费方案。
学 Python 练 SQL 做作品集：6 个免费真实数据源推荐
文章指出学习 Python 和 SQL 时缺乏真实数据是常见痛点，推荐了 6 个免费数据源，包括 Kaggle、Hugging Face、Our World in Data 等，涵盖机器学习、经济统计等领域，帮助用户完成分析作品集。
Anthropic 如何通过 Claude 实现自动化商业分析
Anthropic 分享了如何利用 Claude 将数据分析准确率从 21% 提升至 95%，并自动完成 95% 的业务查询。文章详细介绍了其构建的四层智能体分析栈：数据基础、权威来源、技能（Skills）和验证机制。通过规范数据集、强制语义层使用、编写 Markdown 技能文件以及严格的离线与线上评估，Anthropic 解决了概念歧义、数据过时和信息检索困难三大问题，成功将重复性分析工作交给 AI，让数据科学家专注于高价值建模。
