Skip to content

feat: 7-part blog series with pre-commit hooks#8

Merged
avrabe merged 2 commits intomainfrom
feat/blog-series-and-precommit
Mar 2, 2026
Merged

feat: 7-part blog series with pre-commit hooks#8
avrabe merged 2 commits intomainfrom
feat/blog-series-and-precommit

Conversation

@avrabe
Copy link
Contributor

@avrabe avrabe commented Mar 2, 2026

Summary

  • Expanded the single zero-cost abstraction draft into a 7-part blog series spaced every 3 days through March 18
  • Added author taxonomy — clickable "Ralf Anton Beier" byline linking to an author page listing all posts
  • Made tag badges clickable — linking to filtered tag pages
  • Added pre-commit hooks via the pre-commit framework:
    • markdownlint-cli2 — markdown consistency
    • validate-frontmatter — enforces required fields (title, description, date, tags, authors)
    • zola check --drafts — validates site builds and links

Blog series

# Post Date
1 The Component Model as a zero-cost abstraction Mar 3
2 meld v0.1.0: static component fusion Mar 2 (published)
3 meld: cross-component fusion vision Mar 6
4 loom: post-fusion optimization Mar 9
5 synth + kiln: from Wasm to firmware Mar 12
6 Proving the pipeline: formal verification Mar 15
7 The toolchain: hermetic builds and attestation Mar 18

Also fixed

  • Broken external link (deleted nicksenger repo)
  • Corrected rocq-of-rust link (formal-land/rocq-of-rust)
  • Added Wind River Diab alongside IAR and Green Hills for qualified C compilers
  • Updated Ferrocene reference with accurate CriticalUp + methodology description
  • Code fence language specs in CONTRIBUTING.md
  • Zola link checker config to skip GitHub anchor false positives

Test plan

  • pre-commit run --all-files passes (markdownlint, frontmatter, zola check)
  • zola build --drafts succeeds (8 pages)
  • Visual check: author byline and clickable tags on blog posts
  • Visual check: /authors/ralf-anton-beier/ page lists all posts
  • Visual check: /tags/deep-dive/ page lists tagged posts

🤖 Generated with Claude Code

avrabe and others added 2 commits March 2, 2026 21:03
Split the single zero-cost abstraction draft into a full series:
1. The Component Model as a zero-cost abstraction (revised)
2. meld v0.1.0 (existing, updated with author)
3. meld: cross-component fusion vision
4. loom: post-fusion optimization and Z3 validation
5. synth + kiln: from Wasm to firmware
6. Proving the pipeline: formal verification
7. The toolchain: hermetic builds and supply chain attestation

Add author taxonomy (clickable byline linking to author page),
clickable tag badges, pre-commit hooks (markdownlint, frontmatter
validation, zola check), and 3-day post spacing through March.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Add two new blog posts completing the March series:
- Post 8: temper — automated governance for safety-critical toolchain
- Post 9: thrum — autonomous AI-driven development with formal gates

Add executive insight shortcode — a visually distinct card that
communicates business value to C-suite readers. Added to all 9 posts
in the series plus the meld v0.1.0 technical walkthrough.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@avrabe avrabe merged commit 7f842b7 into main Mar 2, 2026
1 check passed
@avrabe avrabe deleted the feat/blog-series-and-precommit branch March 2, 2026 20:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant