所有文章

当代码生成不再是瓶颈，真正稀缺的是把人的短上下文和关键判断，持续展开成可追踪、可验证、可交付的软件实现。

AI Coding 的核心瓶颈不是代码生成，而是意图表达。Spec-Driven Development 正在把 Prompt 升级为可编译的软件语义协议。

garden-skills 仓库收录，包含4个生产级AI编程助手Skill，适用于Claude Code、Cursor、Codex等工具

展示 Astro + MDX 的强大功能，包括 Shiki 代码高亮、多语言标签页、数学公式、流程图和可折叠内容

精选的计算机科学领域学习资源，包括书籍推荐、在线课程、技术博客和学习平台

算法分析、排序算法以及算法设计技巧的系统性学习笔记