惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
爱范儿
爱范儿
WordPress大学
WordPress大学
博客园 - 三生石上(FineUI控件)
J
Java Code Geeks
Vercel News
Vercel News
aimingoo的专栏
aimingoo的专栏
T
Tailwind CSS Blog
罗磊的独立博客
B
Blog
博客园_首页
A
About on SuperTechFans
有赞技术团队
有赞技术团队
V
V2EX
U
Unit 42
I
InfoQ
IT之家
IT之家
博客园 - 司徒正美
阮一峰的网络日志
阮一峰的网络日志
博客园 - 叶小钗
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Stack Overflow Blog
Stack Overflow Blog
The Cloudflare Blog
H
Help Net Security

Show HN

GitHub - astefanutti/shaderbang: Shebang for Shaders Show HN: AI agents for UK GDAD PCF roles and their skills The Two Pillars: Mixer Mode and Meta-Software in the Reorganization of Software Work After AI GitHub - JaiCode08/teleport-env What 1,000+ Harness Experiments Taught Me About Self-Improving Agents Show HN: Liiists, a Markdown-first, iOS and CLI list app SwiperTab – Get this Extension for 🦊 Firefox (en-US) GitHub - kouhxp/fftext: Summarize, explain, fact-check, or translate any text, URL, or file. No GPU. No cloud. One command GitHub - sweetpad-dev/sweetpad: Develop Swift/iOS projects using VSCode GitHub - dogmaticdev/IRON: IRON a.k.a. Intermediate Representation Object Notation is a Interpreter/Database that is used to create Programming Languages. GitHub - sjhalani7/vaen: Package your AI coding harness into a portable .agent file, and share it across repos, teams, & the community without ever having to copy-paste instructions, skills, MCP config, or secrets. Show HN: Gandalf the Grader Show HN: Citadeld – replay any CI failure locally from a single file GitHub - tdortman/cuSBF: High-Performance GPU Super Bloom Filter coral-ai/claude-code-token-xray at main · Coral-Bricks-AI/coral-ai GitHub - ulyssestenn/funes: Funes is a Git-based framework for LLM-managed knowledge work: an AI Librarian ingests raw sources, builds an interlinked Markdown knowledge base, and uses it to produce cited reports, analyses, and other outputs. GitHub - ThatXliner/gah: Git Add Hunk, built for agents to use GitHub - harmont-dev/harmont-cli: Command-line client for the Harmont CI platform GitHub - brooksmcmillin/mcp-authflow: OAuth 2.0 Authorization Server framework for MCP servers GitHub - javaid-codes/audit-supply-chain-agents GitHub - amorey/gochan: A small library of common channel architectures for Go, inspired by Rust GitHub - arifozgun/OpenGem: Free, Open-Source AI API Gateway with Gemini, OpenAI & Anthropic Compatibility in 1 file GitHub - Pranesh950/BioPetals: 🌸 Run BIOxAI models at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading GitHub - cnguyen14/bounty-doctor: Diagnose a GitHub bounty issue before you waste hours: detects honeypot scam repos, AI-bot attempt swarms, and stale contests. Show HN: CoreMCP – MCP Server for On-Prem DBs Show HN: KittyHTML – Render HTML/CSS as an inline image in your terminal GitHub - bingud/filemat: Web-based file manager Show HN: TruthLens – Free multi-signal deepfake image detector GitHub - apexlocal-jz/claude-usage-tray: Windows system-tray app showing your Claude Code rate-limit usage at a glance. Zero deps, ~300 lines of PowerShell. Cross-IDE (works regardless of VS Code, Cursor, plain terminal). Release v0.1.2.1 · kouhxp/yapsnap
cartographer-skill/skills/cartographer/SKILL.md at main ·...
spinchange · 2026-05-30 · via Show HN
name cartographer
description Use when a software request is fuzzy, domain-heavy, or likely to fail without first understanding what real-world system the software represents. Builds a short, checkable problem-theory before solution design or coding.

Treat programming as theory building, not text production (Naur, 1985). The real deliverable of this work is a theory: a working account of how the software maps onto the world it acts in, and why it is shaped that way. Code is a secondary, replaceable expression of that theory. While this skill is active, your job is to build that theory, write it down, and check it with the user — before structure, before code.

The deliverable of scoping is a map (the written theory), not a spec or a ticket list. The map is not the territory: code is subordinate and is redrawn when the world moves.

Separate the two theories, always

  • Problem-theory: What is the world here? Who acts in it, what do they actually need, and what currently holds the working understanding of it (a person, a spreadsheet, a habit)?
  • Solution-theory: How should the program model that world?

Do not move to solution-theory until the problem-theory is stated. If confidence is low or the cost of being wrong is high, ask the user to confirm it first — otherwise state it and keep moving. If the user hands you a solution, work backward to recover the problem-theory it assumes, and show them that.

Treat every requirement as a claim about the world

  • Trace each request back to the real-world affair it answers to.
  • Where two claims conflict, or a requirement has no clear referent in the world, pause the design move and surface the gap — that gap is the actual scoping question. Don't paper over it.

Produce the theory as prose

Before proposing design, give the user a short written theory:

  • what the world is and who holds its current understanding,
  • the mapping from world to program (the key correspondences),
  • the assumptions the user would have to agree to for this to be right,
  • where the theory is thin or guessed.

Use this shape unless the context clearly calls for something else:

  • World: ...
  • Actors / holders of understanding: ...
  • Program correspondence: ...
  • Known: ...
  • Assumed: ...
  • Thin spots / questions: ...
  • Consequence for design: ...

Mark clearly what you know vs. what you're assuming — you do not hold the user's living theory of their domain, so name the tacit parts a human must confirm.

Respond to change by locating it in the theory

When requirements shift, first say how the world changed and where the program's model of the world must change to match. Patch the theory, then the code — not the reverse.

When inspecting an existing system

Recover the theory already embedded in the code:

  • what world the current model appears to assume,
  • where names, data shapes, workflows, or constraints reveal that theory,
  • where the code contradicts the user's stated world.

Keep code subordinate

Code is the current best expression of the theory and is expected to be rewritten as the theory sharpens. Prefer clarity of correspondence (world → program) over cleverness. Don't defend existing text against a better theory. You may decline to write code until the problem-theory is settled — and say so. Rewrite code only when the mismatch between theory and implementation is material.

Calibration

This stance is meant to make scoping decisions sharper and faster, not more verbose. If the theory talk isn't changing a decision, cut it. The test of a good theory here is whether you can answer, for any part of the proposed solution: "what in the world is this for, and what would have to change in the world for this to be wrong?"