收藏
值得留下的文章、Skill 和工具
构建高可用系统的 7 个关键原则
来源:InfoQ · 2024
系统设计中的稳定性思考,值得反复温习。
文章现代前端架构的演进路径
来源:Martin Fowler · 2023
从单页应用到微前端与模块联邦的思考。
Skill先定架构再写代码
Cursor pstack · 工作技能 · architect
用于跨函数、模块的复杂改动。先研究现有系统,并行比较类型、接口和模块草图,再综合方案实现;反复受阻时重新设计。
Skill多案竞选择优融合
Cursor pstack · 工作技能 · arena
用于一个方案可能过早定型的任务。让多个候选独立完成同一题目,按标准评分并交叉评审,选出底稿、吸收其他方案优点并验证。
Skill提炼个人工作模式
Cursor pstack · 工作技能 · automate-me
用于把自己的工作习惯变成代理可遵循的模式。结合当前工作区近期对话和本人反馈,创建或更新个人 -mode 技能。
Skill核验性能测量结论
Cursor pstack · 工作技能 · benchmark-checklist
用于运行基准或报告实测提速、回退。检查瓶颈、配置、错误、工作是否真正执行及重复性,避免拿失真的数字做决策。
Skill追查改动外溢风险
Cursor pstack · 工作技能 · blast-radius
用于判断小改动可能破坏哪些周边行为。追踪跨库、时序和数据格式影响,找出安全所依赖的关键事实,并用真实代码验证。
Skill把上条回复说人话
Cursor pstack · 工作技能 · bro
用于上一条回复术语太多或难懂时。用简洁、自然的日常语言重新表述同一内容。
Skill从结构上杜绝惯犯
Cursor pstack · 工作技能 · correct
用于代理在同一仓库反复犯相同错误。归纳重复失误,优先用架构和类型消除,再用检查或测试约束,并证明能拦住旧错误。
Skill创建形式验证技能
Cursor pstack · 工作技能 · create-formal-verification-skill
用于并发、重试、不变量等测试难覆盖的高风险逻辑。选择合适验证工具,验证关键性质,并留下可重跑、注明范围和代码对应关系的项目技能。
Skill创建真实应用验证
Cursor pstack · 工作技能 · create-verification-skill
用于项目缺少可脚本化的行为证明方式。根据仓库生成启动、健康检查、操作、取证和清理流程,以及用户功能地图,并跑通一次。
Skill为复杂任务定流程
Cursor pstack · 工作技能 · figure-it-out
用于没有现成流程可套用的大型迁移或多部分任务。先明确完成判据和风险,再设计可审计步骤,逐项实验验证并记录决策。
Skill读懂系统如何运转
Cursor pstack · 工作技能 · how
用于代码走读、理解子系统或判断功能应放在哪层。按复杂度安排探索与综合,说明核心概念、运行流程、模块归属和注意点。
Skill复述目标确认理解
Cursor pstack · 工作技能 · in-your-own-words
用于检查代理是否理解了需求。用自己的话说明用户想达到什么目标、正在解决什么问题。
Skill多方对抗实证评审
Cursor pstack · 工作技能 · interrogate
用于挑战代码、改动或设计的盲点。让多个评审尝试破坏目标,仅保留实际运行可重现的问题,报告发现而不直接修复。
Skill用短视频补齐进展
Cursor pstack · 工作技能 · ketchup-video
用于希望快速看懂本轮对话进展时。把已有事实和产物整理成带字幕的简短视频,并在视频下列出需要本人决定的事项。
Skill补齐本轮工作进展
Cursor pstack · 工作技能 · ketchup
用于离开一会儿后了解本次对话发生了什么。只读核查进展,以简明文字和已有图像说明变化,并列全需要本人决定的事项。
Skill同步维护形式验证
Cursor pstack · 工作技能 · maintain-formal-verification-skill
用于被验证代码变化后检查模型是否过时。追溯覆盖代码的提交,更新验证而不改产品代码,重跑并区分模型漂移与真实缺陷。
Skill维护应用验证地图
Cursor pstack · 工作技能 · maintain-verification-skill
用于审计已有验证技能及功能地图。并行核对功能源码,再由协调者逐项实测,只提交有证据支持的文档、地图或操作脚本修正。
Skill制作机器人操作页
Cursor pstack · 工作技能 · make-bot-ui
用于制作按钮可唤醒 Grok Bot 的网页或仪表盘。由服务端向 webhook 例程发送请求,密钥留在服务端,并可通过 Tailscale 提供访问。
Skill清理注释修正根因
Cursor pstack · 工作技能 · no-comments
用于审查改动中的注释与抑制指令。调用专门评审,清理应删除的内容并修复相关根因;对约束考虑改成类型、测试或检查。
Skill查询工作流与用法
Cursor pstack · 工作技能 · poteto-help
用于了解 pstack 设置、技能选择和运行问题。依据对应源文档回答,给出一个可发送的提示词和公开链接,不把咨询直接当成执行请求。
Skill统筹严谨开发流程
Cursor pstack · 工作技能 · poteto-mode
用于采用 poteto 的代理工作风格。按任务选择调查、开发、排错、交付等流程,协调子代理与其他技能,并要求真实验证和简洁汇报。
Skill连败先验证共同前提
Cursor pstack · 工程原则 · principle-attack-the-premise
用于多个修复都基于同一假设且连续失败时。先写明并直接测试共同前提,再沿证据找原因,避免继续给错误假设打补丁。
Skill边界校验内部纯净
Cursor pstack · 工程原则 · principle-boundary-discipline
用于安排校验、错误处理和框架适配。把原始数据检查集中在系统边界,内部信任类型,业务逻辑尽量使用纯函数。
Skill先造可重跑的工具
Cursor pstack · 工程原则 · principle-build-the-lever
用于非平凡的编辑、迁移、分析或检查。先建立完成或证明任务的最小脚本、生成器或统一操作规范,让结果可以复现和复核。
Skill把重复教训固化约束
Cursor pstack · 工程原则 · principle-encode-lessons-in-structure
用于同一指令或纠正第二次出现时。优先把规则编码成 lint、元数据、运行时检查或脚本;无法编码的判断才强化文字与反例。
Skill多种原型并排比较
Cursor pstack · 工程原则 · principle-exhaust-the-design-space
用于缺少先例的交互、产品体验或架构选择。先做两到三个相互竞争的原型并比较,再决定采用哪一种。
Skill用户体验优先取舍
Cursor pstack · 工程原则 · principle-experience-first
用于产品、交互和功能范围的权衡。优先打磨核心体验,宁可少做而做精,同时考虑使用者和后续维护者的负担。
Skill先解释数字再下结论
Cursor pstack · 工程原则 · principle-explain-the-number
用于测量或使用性能、吞吐、延迟及评测数字。先明确什么结果会改变决策,再找瓶颈,排除噪声、错误和未执行工作,并保留证据。
Skill追到源头修复故障
Cursor pstack · 工程原则 · principle-fix-root-causes
用于调试与排错。先复现并追到最早错误决策,区分合法异常状态与不该出现的状态,修复根因而不是靠守卫或重试掩盖症状。
Skill先定数据再铺基础
Cursor pstack · 工程原则 · principle-foundational-thinking
用于写逻辑前选择核心类型、数据结构和工作顺序。先减负,再建立共享基础与测试;并发场景先判断是否应隔离状态。
Skill控制上下文信息负担
Cursor pstack · 工程原则 · principle-guard-the-context-window
用于大输出、长文件或并行规划挤占上下文时。把批量阅读交给子代理,主线程保留摘要,并限制阶段范围与预算。
Skill以最小改动解决问题
Cursor pstack · 工程原则 · principle-laziness-protocol
用于重构、衡量改动规模或考虑增加抽象时。优先删除与简化,把重复决策收敛到单一来源,避免无必要的层和模板代码。
Skill让重复执行安全收敛
Cursor pstack · 工程原则 · principle-make-operations-idempotent
用于可能崩溃、重启或重试的命令和处理循环。根据当前状态只补齐与目标的差异,并让遗留半成品可识别、可恢复。
Skill迁移调用后删除旧接口
Cursor pstack · 工程原则 · principle-migrate-callers-then-delete-legacy-apis
用于无需对外兼容的内部接口改造。一次协调迁移调用方、更新新契约测试并删除旧接口,避免留下临时兼容层。
Skill减少阅读跳转与隐态
Cursor pstack · 工程原则 · principle-minimize-reader-load
用于代码难追踪或层次过多时。合并价值不足的包装层,缩小可变状态范围,让读者容易看清数据来源与修改者。
Skill用结构表达领域规则
Cursor pstack · 工程原则 · principle-model-the-domain
用于有状态逻辑、分支膨胀或多处重复数据假设时。选择状态机、类型模型、注册表等合适结构,集中规则并减少非法状态。
Skill可逆工作先做再汇报
Cursor pstack · 工程原则 · principle-never-block-on-the-human
用于可逆执行细节不值得等待本人确认时。作出合理选择后展示结果,让人异步纠偏;不可逆操作仍需确认。
Skill围绕最终状态推进迁移
Cursor pstack · 工程原则 · principle-outcome-oriented-execution
用于有明确阶段边界的重写或迁移。以目标架构为准,允许计划内、可逆的中间破坏,避免为过渡状态堆兼容代码,并在终点完整验证。
Skill核查真实产物再报完成
Cursor pstack · 工程原则 · principle-prove-it-works
用于任务完成前判断结果是否可信。直接运行功能、读取实际值或检查真实差异,能脚本化就留下可重复执行的验证。
Skill把新需求纳入整体设计
Cursor pstack · 工程原则 · principle-redesign-from-first-principles
用于向已有系统加入新要求。假设该要求从第一天就存在,重新考虑整体结构,更新所有引用,再分步交付而非局部拼接。
Skill先隔离共享写入目标
Cursor pstack · 工程原则 · principle-separate-before-serializing-shared-state
用于多个并发执行者可能写同一文件、分支或对象时。优先分配独立所有权,只有共享确属必要时才用锁、单写者或原子操作串行化。
Skill拆成逐步可验证单元
Cursor pstack · 工程原则 · principle-sequence-verifiable-units
用于批量修改、迁移和提交堆叠。每个小单元都从已知良好状态开始,改完即验证,再按能证明前后因果的顺序交付。
Skill先删冗余再增加能力
Cursor pstack · 工程原则 · principle-subtract-before-you-add
用于安排新增、重构或重写顺序。先移除死代码、重复校验和无内容引用,再在更简单的基础上建设,避免为猜测场景预留复杂性。
Skill测试可观察行为契约
Cursor pstack · 工程原则 · principle-test-behavior-not-implementation
用于新增、修改或保留测试时。通过用户或调用方使用的接口断言结果和外部影响,使测试能抓住行为破坏又能承受内部重构。
Skill用类型排除非法状态
Cursor pstack · 工程原则 · principle-type-system-discipline
用于静态类型设计和函数签名评审。区分语义不同的基础值,在边界解析外部数据,并从权威 schema 派生类型,让编译器阻止不合法组合。
Skill找回跨会话工作上下文
Cursor pstack · 工作技能 · recall
用于开始或恢复某个主题的近期工作。结合限定工作区的历史对话、共享记录和当前状态,整理决策、未完成线程、反复问题及下一步。
Skill复盘会话沉淀技能改进
Cursor pstack · 工作技能 · reflect
用于从刚完成的工作提炼长期经验。并行评审判断、工具和其他视角,综合为具体技能修改建议;获明确批准后才应用接受的改动。
Skill配置角色模型与预算
Cursor pstack · 工作技能 · setup-pstack
用于初始化或调整 pstack 的模型分工及推理预算。确认当前可用模型,按角色写入常驻规则,并可建议补建项目验证技能。
Skill把任务提示词深化
Cursor pstack · 工作技能 · sharpen
用于发送任务前提高提示词的专业深度。补出专家方法、原始材料、具体工具和独立验证依据,再重写提示词,不直接执行任务。
Skill记录可审计决策轨迹
Cursor pstack · 工作技能 · show-me-your-work
用于长时间、无人值守或多阶段工作。用单一 TSV 记录选择、理由、证据与结果,结束时对照对话审计,并安排跨模型检查风险。
Skill验证状态模型并绘图
Cursor pstack · 工作技能 · statechart
用于理解产品流程、协议或服务的状态变化。检查 TLA+ 模型,绘制 Mermaid 状态图,并用读者语言给出违反规则状态的最短路径。
Skill并行分工汇总覆盖
Cursor pstack · 工作技能 · swarm
用于分片检查、探索或多个执行者竞赛。预先声明完成条件和竞赛规则,给工作者独立输出位置,再汇总结果、证据和覆盖缺口。
Skill先写失败测试再修复
Cursor pstack · 工作技能 · tdd
用于明确要求 TDD 或有便宜清晰本地测试路径的缺陷。先证明回归检查因目标问题失败,再做最小修复并验证通过;不强行为昂贵场景造测试。
Skill把原理与缘由讲明白
Cursor pstack · 工作技能 · teach
用于真正理解某个改动或子系统。调用 how、why 研究机制和设计动因,再按读者需要用白话分层解释,复杂关系逐步配图。
Skill按技术文档标准写作
Cursor pstack · 工作技能 · technical-writing
用于文档、RFC、README、PR 描述和提交信息。先区分教程、操作指南、参考或解释,再应用清楚直接、低歧义的技术写作规则。
Skill约束类型脚本代码质量
Cursor pstack · 工作技能 · typescript-best-practices
用于阅读或修改 TypeScript 文件。优先判别联合、品牌类型、边界 schema 和穷尽检查,减少 any 与断言,并要求真实测试和结构化日志。
Skill去除写作中的机器腔
Cursor pstack · 工作技能 · unslop
用于清理任何文字中的 AI 写作痕迹。删空话、夸饰、抽象隐喻和模板句式,改成具体、主动、自然且保留原意的表达。
Skill追溯设计缘由与证据
Cursor pstack · 工作技能 · why
用于追问设计选择、回归、事故或阈值来源。以代码与提交为锚点并行查询可用证据来源,区分事实、合理推断、竞争解释和未知项。
工具Excalidraw – 轻量白板绘图工具
来源:Excalidraw
手绘风格的架构图工具,简单但表达力强。
工具HTTPie – 现代 HTTP 客户端
来源:HTTPie
比 curl 更友好的接口测试工具。
文章函数式编程的本质
来源:Bartosz Milewski's Blog
从范畴论角度理解 FP,深入但不枯燥。
文章缓存的正确姿势
来源:高并发系统设计
缓存设计中的一致性与穿透问题。
没有符合筛选的收藏。