sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

Remove emojis from landing page — too AI-looking
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 0s
Details

Browse source
This commit is contained in:
Scott Scoble 2026-04-29 17:26:01 -07:00
parent a7399e17d7
commit 4f86848ebb
1 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
landing/index.html
View file

@ -212,19 +212,19 @@
<div class="features">
<div class="feature-card">
<h3>📝 SpeckDL Language</h3>
<h3>SpeckDL Language</h3>
<p>A constraint-based specification language that defines <em>what</em> a system does, not <em>how</em>. Specs are small, stable, and machine-verifiable — the audit surface for regulated systems.</p>
</div>
<div class="feature-card">
<h3>🔗 Dark Provenance</h3>
<h3>Dark Provenance</h3>
<p>A methodology where every behavior traces back to its source — a regulation, a design decision, a conversation. The provenance graph is always present, materialized on demand for audits or debugging.</p>
</div>
<div class="feature-card">
<h3>🧩 Reference Implementations</h3>
<h3>Reference Implementations</h3>
<p>Minimal reference tools for SpeckDL parsing, Z3 constraint verification, and provenance graph generation. The building blocks for tooling, not a production system.</p>
</div>
<div class="feature-card">
<h3>🏗️ Ecosystem-First</h3>
<h3>Ecosystem-First</h3>
<p>The standard is the foundation. Consulting, SaaS tooling, and compliance APIs will build on it — validated through real-world use before they ship.</p>
</div>
</div>
@ -256,17 +256,14 @@
<div class="philosophy-grid">
<div class="philosophy-item">
<div class="philosophy-icon">📦</div>
<h3>Small and Stable</h3>
<p>Specs are orders of magnitude smaller than the code they generate. They change less often. The audit surface stays tractable.</p>
</div>
<div class="philosophy-item">
<div class="philosophy-icon">🔍</div>
<h3>Review the Boundary</h3>
<p>If Speck→WASM compilation preserves semantics, human review at the spec boundary satisfies assurance requirements.</p>
</div>
<div class="philosophy-item">
<div class="philosophy-icon">🤖</div>
<h3>AI-Generated, Human-Owned</h3>
<p>Agents generate code. Humans own specifications. The chain of custody for intent stays intact.</p>
</div>