03-Spec Kit 规范驱动开发：从零到一完整项目实战

📝 前言

痛点：AI 总是“听不懂人话”？

你有没有遇到过这种情况：每次让 AI 写代码，它总是"自作聪明"地按它的理解来，结果和自己想的南辕北辙。

问题不在 AI，在于我们没把“图纸”画清楚。

在建筑行业，建筑图纸是建筑师的"语言"，没人会不看图纸直接砌墙。同样，代码规范就是咱们和 AI 沟通的"语言"。Spec Kit 就是帮咱们快速生成这份"图纸"的工具——先设计，再施工，避免了"边盖边改"的尴尬。

本篇我们将从零开发一个完整的 Todo API，带你体验效率起飞的感觉。

02-Claude Code 核心功能全解析

Skills + CLAUDE.md + Memory 三大法宝

📝 前言

上回书说到，咱们用智谱 GLM-4.7 把 Claude Code 配起来了，也能跑起来了。但说实话，那只是"能用"，离"好用"还有一定距离。

真正让我觉得"真香"的，是 Claude Code 的三大核心功能：

• Skills 系统 - 就像给 Claude 装了各种专业插件
• CLAUDE.md - 每个项目都配一本专属使用说明书
• Memory - 让 Claude 记住你的偏好和习惯

这三样东西配合起来，Claude 就从一个"通用聊天机器人"变成了"懂你、懂项目、懂专业领域"的超级助手。说实话，用了一段时间后，再回到普通 ChatGPT 真是各种不习惯。

这篇笔记咱们就把这三样东西彻底搞清楚，保证看完就能上手，上手就能提升效率。

玩转 Claude Code：全平台接入智谱 GLM-4.7 配置实战

📝 前言

起因是半年前买的 Cursor 教育 Pro 版失效了，刚好最近有非常刚需的项目变成需求，于是花了点时间做调研，查看是否有更 fancy 的方法能让我实现代码编写和项目管理，最后发现 Claude Code是真香。

但在国内直连 Anthropic 官方 API 不仅门槛高，成本也不低。好在许多国产的模型，如智谱 AI (ChatGLM) ，豆包，Minmax 等现在非常给力，提供了完全兼容 Anthropic 协议的接口，可以轻松地平替掉 Claude 内置的模型，绕过ip的限制。

这意味着我们完全可以用 Claude Code 的壳，跑国产模型 （如GLM-4.7 ）的芯。不仅访问速度起飞，成本也大大降低。这篇笔记整理了我在 Windows、macOS 和 Ubuntu 上跑通智谱 GLM-4.7 模型流程的配置方法，希望能帮大家少走弯路。

1. 关于Mermaid

最近在使用Markdown写文章过程中，遇到了画流程图的问题，最后发现可以用 mermaid 完美实现，于是记录下学习笔记。

Mermaid 允许使用文本和代码创建图表和可视化。

官网：https://mermaidjs.github.io/
Github 项目地址：https://github.com/knsv/mermaid

13 排队论

1. 背景知识

1.1 Notation

• 肯德尔记号 (Kendall)：输入分布/输出分布/并联服务台数（$X/Y/Z$）

1971 年，国际排队符号标准会上扩展至六项，记为 ($X/Y/Z/A/B/C$)：

1

输入分布/输出分布/并联服务台数/系统容量（队长）/系统状态（顾客源数）/服务规则

e.g. $M/M/1/\infty/\infty/FCFS$

This blog is the learning notes for preparing the preliminary exams of Queue theory, referring to Fundamentals of supply chain theory.

• Snyder, L. V., & Shen, Z. J. M. (2019). Fundamentals of supply chain theory. John Wiley & Sons.

1. Introduction

1.1 The Evolution of Supply Chain Theory

Supply chains used to be viewed, at least by some managers, as “necessary evils.”

By the end of the last century, however, the purpose of the supply chain had begun to change as some firms discovered that supply chains could be a source of competitive advantage, rather than simply a cost driver.

The final chapter of this book is devoted to exploring how the tools of supply chain theory are used in a few of these application areas—electricity systems, health care, and public sector operations.

This blog is the learning notes for preparing the preliminary exams of Queue theory, referring to Smart Grids-fundamentals and technologies in electricity networks

• Buchholz, B. M., & Styczynski, Z. (2014). Smart Grids-fundamentals and technologies in electricity networks (Vol. 396). Heidelberg: Springer.

1. Vision and Strategy for the Electricity Networks of the Future

1.1 Drivers of Smart Grids

The main challenges that need to be solved in the European Union are [1]:

• the decreasing availability of fossil and nuclear primary energy sources (PES) and,
• accordingly, their rapidly increasing prices,
• the 70% dependency of Central Europe on imported PES,
• the increasing impact of greenhouse emissions on the environment.

This blog is the learning notes for preparing the preliminary exams of Queue theory, referring to Fundamentals of queueing theory

• Shortle, J. F., Thompson, J. M., Gross, D., & Harris, C. M. (2018). Fundamentals of queueing theory (Vol. 399). John Wiley & Sons.

1. Introduction

Queueing theory attempts to answer these questions through detailed mathematical analysis

There are many valuable applications of queueing theory including traffic flow(vehicles, aircraft, people, communications), scheduling (patients in hospitals, jobson machines, programs on a computer), and facility design (banks, post offices, amusement parks, fast-food restaurants).

This blog is the learning notes for preparing the preliminary exams of Queue theory, referring to Simulation modeling and analysis

• Law, A. M., Kelton, W. D., & Kelton, W. D. (2014). Simulation modeling and analysis (Vol. 3). New York: Mcgraw-hill.

1 Basic Simulation Modeling

Basic Simulation Modeling

1.1 The Nature of Simulation

Lectures:

• Simulation and modeling of natural processes | 自然过程的仿真与建模 | Python | ABM_哔哩哔哩_bilibili

This is a book about techniques for using computers to imitate, or simulate, the operations of various kinds of real-world facilities or processes.

analytic solution: 解析解

This blog is the learning notes for preparing the preliminary exams of Queue theory, referring to Introduction to operations research

• Hillier, F. S., & Lieberman, G. J. (2015). Introduction to operations research. McGraw-Hill.

1. Introduction

These kinds ofproblems and the need to find a better way to solve them provided the environment for theemergence of operations research (commonly referred to as OR)

Many of thestandard tools of OR, such as linear programming, dynamic programming, queueing theory,and inventory theory, were relatively well developed before the end of the 1950s

Three main characteristics of OR:

1. The research part of the name means that operations research uses an approach that resembles the way research is conducted in established scientific fields.
2. Still another characteristic of OR is its broad viewpoint.
3. An additional characteristic is that OR frequently attempts to search for a best solution (referred to as an optimal solution) for the model that represents the problem under consideration.