OpenSpec入门指南:轻量级规格驱动开发框架
简介OpenSpec 是一个轻量级的规格驱动开发(Spec-Driven Development, SDD)框架,专为 AI 编码助手设计。 项目数据:42K+ GitHub Stars | 60+ Contributors | MIT 开源 | TypeScript 为什么需要 OpenSpec?AI 编码助手很强大,但当需求只存在于聊天历史中时,它们就变得不可预测。OpenSpec 添加了一个轻量级的规格层,让你在编写任何代码之前就与 AI 达成一致。 核心问题: AI 输出与你期望不符 需求模糊导致实现模糊 聊天历史中的上下文丢失 团队协作时意图传递困难 OpenSpec 的解决方案: 先同意再构建 — 人类和 AI 在编写代码之前对齐规格 保持组织 — 每个变更都有自己的文件夹,包含提案、规格、设计和任务 流畅工作 — 随时更新任何产物,没有刚性阶段门槛 使用你的工具 — 通过斜杠命令支持 25+ AI 助手 核心理念1234→ fluid not rigid (流畅而非僵化)→ iterative not waterfall(迭代而非瀑布)→ ...
Spec Kit入门指南:GitHub开源的规格驱动开发工具包
简介Spec Kit 是 GitHub 开源的规格驱动开发(Spec-Driven Development)工具包,帮助开发者更快地构建高质量软件。 项目数据:28K+ GitHub Stars | 11+ AI Agents | 2.3K+ Forks | MIT 开源 什么是 Spec-Driven Development?Spec-Driven Development(规格驱动开发)颠覆了传统软件开发方式。 几十年来,代码一直是王 — 规格只是我们构建后就丢弃的脚手架,一旦”真正工作”的编码开始。Spec-Driven Development 改变了这一点:规格变成可执行的,直接生成可工作的实现,而不仅仅是指导它们。 传统开发 Spec-Driven Development 规格是脚手架,编码后丢弃 规格是可执行的第一类产物 从想法直接跳到代码 规格 → 计划 → 任务 → 实现 AI 输出不一致,因为提示模糊 AI 输出一致,因为上下文结构化 一次性代码生成 多步骤精细化流程 为什么需要 Spec Kit?当你使用 AI 编码助手时,常见问...
superpowers入门指南
简介Superpowers 是一个完整的软件开发方法论,专为编码代理(coding agents)设计。它建立在可组合技能(skills)和初始指令之上,确保你的 AI 编码助手能够更智能、更系统地完成开发任务。 为什么需要 Superpowers?当你启动编码代理时,它通常不会停下来思考你真正想要做什么,而是直接跳入编写代码。Superpowers 改变了这一点: 先思考后编码 - 代理会先理解你的需求,提炼出规格说明 分块展示设计 - 将设计分成易于消化的小块供你审阅 制定清晰计划 - 为”热情但缺乏判断力的初级工程师”级别的执行者提供可遵循的实施计划 自主执行 - 代理可以自主工作数小时而不偏离计划 核心理念 原则 说明 测试驱动开发 (TDD) 始终先写测试,永远不跳过 系统化优于临时方案 流程优于猜测,过程优于假设 降低复杂度 简洁是首要目标,小文件优于大文件 证据优于声明 验证后再宣布成功,看到测试失败再写代码 技能优先级Superpowers 技能覆盖默认系统行为,但用户指令始终优先: 用户的显式指令 (CLAUDE.md, GEMI...
markitdown入门指南
简介MarkItDown 是微软开源的轻量级 Python 工具,用于将各种文件格式转换为 Markdown。它专为 LLM(大语言模型)和文本分析管道设计,能够保留重要的文档结构(标题、列表、表格、链接等)。 为什么选择 Markdown?Markdown 接近纯文本,标记最少,但仍能表示重要的文档结构。主流 LLM(如 GPT-4o)原生”讲”Markdown,在响应中经常自发使用 Markdown 格式。这表明它们在大量 Markdown 格式文本上进行了训练,能够很好地理解它。作为额外好处,Markdown 约定也非常节省 token。 支持的格式 PDF - 便携式文档格式 PowerPoint - 演示文稿 Word - 文档 Excel - 电子表格 Images - 图片(EXIF 元数据和 OCR) Audio - 音频(EXIF 元数据和语音转录) HTML - 网页 Text-based formats - CSV、JSON、XML ZIP files - 遍历内容 Youtube URLs - YouTube 视频 EPubs - 电子书 以及更多! 快...
andrej-karpathy-skills入门指南
简介andrej-karpathy-skills 是一个旨在改善 Claude Code 行为的项目,其核心理念源自 AI 领域知名专家 Andrej Karpathy 对 LLM 编程陷阱的深刻观察。 解决的问题Andrej Karpathy 在其推文中指出了 LLM 编程时的常见问题: “模型会替你做出错误的假设,然后不加验证地继续执行。它们不管理困惑,不寻求澄清,不暴露不一致性,不呈现权衡取舍,不在应该的时候提出反对。” “它们喜欢过度复杂化代码和 API,膨胀抽象层,不清理死代码……用 1000 行代码实现本可以用 100 行完成的功能。” “它们有时仍会作为副作用更改/删除它们不够理解的注释和代码,即使这些与任务正交。” 核心价值通过一个简单的 CLAUDE.md 文件,该项目提供四大原则来直接解决上述问题,帮助 AI 助手生成更简洁、更准确的代码。 核心原则项目包含四个核心原则,每个原则针对特定的 LLM 编程问题: 原则 解决的问题 先思考后编码 错误假设、隐藏困惑、缺失权衡 简单优先 过度复杂化、膨胀的抽象层 精准修改 正交编辑、...
graphify入门指南
graphify 入门指南一句话理解graphify 把你的代码、文档、论文、图片变成一张知识图谱,让 AI 助手”理解”你的项目,而不是每次都重新读文件。 核心价值:为什么需要它?问题场景当你问 AI 助手”这个项目的认证流程是怎样的?”: 传统方式:AI 用 Grep 搜索关键词,读几十个文件,消耗大量 token graphify 方式:AI 先读 GRAPH_REPORT.md(一页总结),按图谱导航,token 消耗降低 71.5 倍 适合谁? 你的情况 是否适合 项目文件超过 20 个 ✅ 非常适合 需要理解别人的代码库 ✅ 非常适合 有论文/文档需要和代码关联理解 ✅ 非常适合 只有 3-5 个小文件 ❌ 收益不大 只做简单单文件编辑 ❌ 用不上 快速开始(5 分钟)第一步:安装12345# 安装 Python 包(注意包名是 graphifyy,双 y)pip install graphifyy# 安装到你的 AI 助手(以 Claude Code 为例)graphify install 第二步:构建图谱在你的 A...
Hexo博客搭建指南
本指南基于 Hexo 官方文档及多个实战教程整理,帮助你从零开始搭建属于自己的静态博客。 目录 前言:为何选择 Hexo? 环境准备 安装 Hexo 并初始化博客 基础配置 写作与发布 主题美化 部署到 GitHub Pages 常用命令速查 进阶技巧 常见问题解答 前言:为何选择 Hexo?Hexo 是一个快速、简洁且高效的博客框架。它使用 Markdown 解析文章,在几秒内即可利用靓丽的主题生成静态网页。 Hexo 的优势 特性 说明 极速生成 亿级文件也只需几秒,高效转换为静态页面 Markdown 支持 使用 Markdown 写作,简洁高效 丰富主题 拥有大量精美主题,可自由定制 一键部署 支持 GitHub Pages、Vercel、Netlify 等多种部署方式 Git 版本控制 所有内容都在本地,便于使用 Git 进行版本管理 完全免费 配合 GitHub Pages 可实现零成本托管 适用场景 个人博客 技术分享 作品展示 项目文档 环境准备在开始之前,你需要安装两个必要的工具:Node.js 和 Git。 1....
Hello World
Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick StartCreate a new post1$ hexo new "My New Post" More info: Writing Run server1$ hexo server More info: Server Generate static files1$ hexo generate More info: Generating Deploy to remote sites1$ hexo deploy More info: Deployment
IDEA编译Spring源码
IDEA编译Spring 5.2.x源码参考:Spring 5.2.x 源码编译1 Spring 5.2.x 源码编译2 spring源码下载地址:github gitee gitee下载速度更快一点 编译环境: 123JDK:1.8.0_202Gradle:5.6.4IDEA:2019.3.5 Gradle版本是5.6.4,因为spring 5.2.x版本使用的是Gradle5.6.4版本构建的 在该路径下:Spring-Framework/ gradle/wrapper/gradle-wrapper.properties,能看到spring需要的gradle版本,下载对应的版本安装gradle就行,否则会出现错误。 spring的gradle配置里面添加阿里云镜像库: 添加阿里云镜像是加快下载spring源码依赖的jar包。如果不使用阿里云镜像库,下载速度很慢,需要等两三个小时。 1.修改源码根目录的build.gradle文件,增加阿里云镜像库 123maven { url 'https://maven.aliyun.com/nexu...
TreeSet
TreeSetTreeSet 约等于 TreeMap 12public class TreeSet<E> extends AbstractSet<E> implements NavigableSet<E>, Cloneable, java.io.Serializable TreeSet 是一个有序的集合,它的作用是提供有序的Set集合。 TreeSet 继承于AbstractSet,所以它是一个Set集合,具有Set的属性和方法。 TreeSet 实现了NavigableSet接口,意味着它支持一系列的导航方法。比如查找与指定目标最匹配项。 TreeSet是基于TreeMap实现的。TreeSet中的元素支持2种排序方式:自然排序 或者 根据创建TreeSet 时提供的 Comparator 进行排序。这取决于使用的构造方法。 TreeSet为基本操作(add、remove 和 contains)提供受保证的 log(n) 时间开销。另外,TreeSet是非同步的。 它的iterator 方法返回的迭代器是fail-fast的。 排...