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

推荐订阅源

Y
Y Combinator Blog
The GitHub Blog
The GitHub Blog
Vercel News
Vercel News
D
DataBreaches.Net
MongoDB | Blog
MongoDB | Blog
H
Help Net Security
小众软件
小众软件
美团技术团队
T
The Blog of Author Tim Ferriss
爱范儿
爱范儿
D
Docker
Martin Fowler
Martin Fowler
大猫的无限游戏
大猫的无限游戏
博客园 - 聂微东
Blog — PlanetScale
Blog — PlanetScale
H
Hackread – Cybersecurity News, Data Breaches, AI and More
罗磊的独立博客
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
V
V2EX
S
SegmentFault 最新的问题
云风的 BLOG
云风的 BLOG
B
Blog
雷峰网
雷峰网
The Cloudflare Blog

Hacker News: Show HN

PurrrrrFocus: Pomodoro Timer App - App Store Workflow Engine — Multi-Step Orchestration for Bun RapidPhoto: Pro Photo Editor App - App Store GitHub - DheerG/swarms: Achieve extraordinary results with claude code across a variety of tasks SPICE simulation → oscilloscope → verification with Claude Code — Lucas Gerads Show HN: VCoding – A 5 MB native Windows IDE with no dynamic dependencies Show HN: LLMs don't hallucinate because they're bad at math, it's the format GitHub - Agent-FM/agentfm-core: AgentFM is a peer-to-peer network that turns everyday computers into a decentralized AI supercomputer. AgentFM lets you run massive AI workloads directly across a global mesh of idle CPUs and GPUs. Show HN: Tracking Top US Science Olympiad Alumni over Last 25 Years GitHub - Potarix/agent-hub: One place to talk to all your agents Show HN: Runtime security for AI agents(injection,tool abuse, data exfiltration) GitHub - dubeyKartikay/lazyspotify: Terminal Spotify client for macOS and Linux GitHub - the-banana-tool/king-louie: Easy to use GUI Personal AI Assistant. Win/Linux/Mac. Show HN I made my vacation rental bookable by AI agents–no Airbnb, 0% commission GitHub - basteez/jsf-autoreload: maven plugin to enable hot reload on jsf projects uvm32/hosts/host-gdbstub at main · ringtailsoftware/uvm32 GitHub - labsai/EDDI: Config-driven engine that turns JSON into production-grade AI agents. Multi-agent orchestration, 12+ LLM providers, MCP/A2A protocols, RAG, persistent memory, and enterprise compliance (EU AI Act, GDPR, HIPAA). Built on Quarkus. GitHub - glitchnsec/fortyone-oss: AI Executive Assistant Platform Quickstart | Alien GitHub - muxshed/shed: One stream in, or many. Every destination, simultaneously. No cloud middleman, no per-channel fees, no limits. GitHub - ocrbase-hq/ocrbase: 📄 PDF/IMG ->.MD/JSON Document OCR API for PaddleOCR and GLMOCR. Self-hostable. GitHub - impactjo/home-memory: MCP server that lets your AI assistant remember everything about your home. GitHub - Sets88/dbcls: DbCls is a powerful terminal database client that supports various databases GitHub - neptun2000/heor-agent-mcp GitHub - SeanFDZ/macmind: Single-layer transformer in HyperTalk for the classic Macintosh RollQuation: Math Puzzles - Apps on Google Play GitHub - dropbox/witchcraft Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis GitHub - opentalon/opentalon: OpenTalon is an open-source platform built from the ground up in Go as a robust alternative to OpenClaw LinkedIn™ 职位抓取工具 - Chrome 应用商店
cartographer-skill/skills/cartographer/SKILL.md at main ·...
spinchange · 2026-05-30 · via Hacker News: 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?"