narrow waist -> shared space
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 0s
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 0s
This commit is contained in:
parent
9b459560e3
commit
567d85e9b4
2 changed files with 2 additions and 2 deletions
|
|
@ -10,7 +10,7 @@ Agents generate code. Humans own specifications. The chain of custody for intent
|
|||
|
||||
That's the old framing. Here's the better one:
|
||||
|
||||
**SpeckDL is the narrow waist that both humans and AI can work in.**
|
||||
**SpeckDL is the shared space that both humans and AI can work in.**
|
||||
|
||||
- **Human-judgeable** — SpeckDL is declarative enough that a person can inspect a spec and say "yes, this captures my intent." The compiled Wasm is opaque; the spec is not. That's the audit trail. Intent is encoded in the spec *because* it is verifiable by a person.
|
||||
- **AI-writable** — SpeckDL's constrained grammar and declarative semantics make it tractable for LLMs to produce and reason about. Agents can draft, iterate, and refactor specs at machine speed — in the same language the human reviews.
|
||||
|
|
|
|||
|
|
@ -265,7 +265,7 @@
|
|||
</div>
|
||||
<div class="philosophy-item">
|
||||
<h3>Two-Species Collaboration</h3>
|
||||
<p>SpeckDL is the narrow waist humans and AI both work in — human-judgeable, AI-writable, and compiler-enforced to the binary.</p>
|
||||
<p>SpeckDL is the shared space humans and AI both work in — human-judgeable, AI-writable, and compiler-enforced to the binary.</p>
|
||||
</div>
|
||||
</div>
|
||||
</section>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue