Update Docusaurus and website

soareschen · soareschen · commit af1bedd3d123 · 2026-05-06T21:16:59.000+02:00
diff --git a/blog/2024-12-19-early-preview-announcement.md b/blog/2024-12-19-early-preview-announcement.md
@@ -8,7 +8,7 @@ tags: [release]
 Welcome everyone! This blog post marks the launch of the _context-generic programming_ (CGP) project,
 to introduce a new modular programming paradigm for Rust.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## A Quick Overview of Context-Generic Programming
 
diff --git a/blog/2025-01-09-v0.3.0-release.md b/blog/2025-01-09-v0.3.0-release.md
@@ -7,7 +7,7 @@ tags: [release]
 
 I'm excited to announce the release of [v0.3.0](https://github.com/contextgeneric/cgp/releases/tag/v0.3.0) of the [`cgp`](https://docs.rs/cgp/0.3.0/cgp/) crate, along with several [new](https://patterns.contextgeneric.dev/error-handling.html) [chapters](https://patterns.contextgeneric.dev/field-accessors.html) of the [CGP Patterns](https://patterns.contextgeneric.dev/) book! This post highlights some of the key features and updates included in this release.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## New Book Chapters
 
diff --git a/blog/2025-05-09-v0.4.0-release.md b/blog/2025-05-09-v0.4.0-release.md
@@ -9,7 +9,7 @@ It's been a while since the last update, but the wait is over! I'm thrilled to a
 
 This post highlights the major updates developed over the past few months.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Game-Changing Improvement: Debugging is Finally Easy!
 
diff --git a/blog/2025-06-14-hypershell-release/index.md b/blog/2025-06-14-hypershell-release/index.md
@@ -7,7 +7,7 @@ tags: [release, deepdive]
 
 I am thrilled to introduce [**Hypershell**](https://github.com/contextgeneric/hypershell), a modular, *type-level* domain-specific language (DSL) for writing shell-script-like programs in Rust. Hypershell is powered by [**context-generic programming**](/) (CGP), which makes it possible for users to *extend* or *modify* both the language syntax and semantics.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Discussion
 
diff --git a/blog/2025-06-14-v0.4.1-release.md b/blog/2025-06-14-v0.4.1-release.md
@@ -14,7 +14,7 @@ Here are some of the highlights:
 - **`#[cgp_component]` macro improvement**: Now supports automated derivation of `UseDelegate`.
 - **Improved Documentation**: Added inline Rust documentation for common CGP constructs.
 
-<!-- truncate -->
+{/* truncate */}
 
 Below we will go through some of the most significant changes in this release.
 
diff --git a/blog/2025-07-07-extensible-datatypes-part-1.md b/blog/2025-07-07-extensible-datatypes-part-1.md
@@ -9,7 +9,7 @@ I’m excited to announce the release of [**CGP v0.4.2**](https://github.com/con
 
 Extensible records and variants allow developers to write code that operates on *any struct containing specific fields* or *any enum containing specific variants*, without needing their concrete definition. This makes it possible to write truly generic and flexible logic that is decoupled from rigid type definitions.
 
-<!-- truncate -->
+{/* truncate */}
 
 In earlier versions, CGP already offered a foundational feature through the `HasField` trait, which made it possible to *read* a field from any struct that included it. With version 0.4.2, this functionality is dramatically extended. Not only can you now read fields, but you can also *construct* values onto these fields in a type-safe manner. More importantly, the same level of extensibility is now available for enums, enabling operations over variants in a similarly generic fashion.
 
diff --git a/blog/2025-07-09-extensible-datatypes-part-2.md b/blog/2025-07-09-extensible-datatypes-part-2.md
@@ -9,7 +9,7 @@ This is the **second** part of the blog series on **Programming Extensible Data
 
 In this second part of the series, we will explore the use of **extensible variants**, by examining how it can be used in an **extensible visitor pattern** to build a modular interpreter for a toy math expression language.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Recap
 
diff --git a/blog/2025-07-12-extensible-datatypes-part-3.md b/blog/2025-07-12-extensible-datatypes-part-3.md
@@ -13,7 +13,7 @@ The next 2 parts of the series are aimed at readers who want to go deeper — th
 
 We will first explore the implementation of extensible records in this part, followed by the implementation of extensible variants in the coming Part 4.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Recap
 
diff --git a/blog/2025-07-30-extensible-datatypes-part-4.md b/blog/2025-07-30-extensible-datatypes-part-4.md
@@ -11,7 +11,7 @@ In the third part of the series, [**Implementing Extensible Records**](/blog/ext
 
 In this final fourth part of the series, we will have the same walk through for the internal implementation details for **extensible variants**.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Recap
 
diff --git a/blog/2025-10-12-v0.5.0-release.md b/blog/2025-10-12-v0.5.0-release.md
@@ -9,7 +9,7 @@ tags: [release]
 
 The highlights of this major release are summarized below. Also check out the [changelog](https://github.com/contextgeneric/cgp/releases/tag/v0.5.0) for the full list of changes.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## New Features
 
diff --git a/blog/2025-10-26-v0.6.0-release.md b/blog/2025-10-26-v0.6.0-release.md
@@ -7,7 +7,7 @@ tags: [release]
 
 It has only been two weeks since [v0.5.0 was released](/blog/v0-5-0-release/), yet we are already introducing another major update. [**CGP v0.6.0**](https://github.com/contextgeneric/cgp/releases/tag/v0.6.0) brings significant improvements to the ergonomics of implementing providers and contexts, making it easier and more intuitive for developers to build on top of CGP.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Simplified provider implementation with `#[cgp_impl]`
 
diff --git a/blog/2025-11-03-cgp-serde-release.md b/blog/2025-11-03-cgp-serde-release.md
@@ -11,11 +11,11 @@ In short, `cgp-serde` extends Serde’s original [`Serialize`](https://docs.rs/s
 
 Furthermore, `cgp-serde` allows us to leverage the powerful [**context and capabilities**](https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/) concepts in stable Rust today. This unlocks the ability to write context-dependent implementations of `Deserialize`, such as one that uses an arena allocator to deserialize a `'a T` value, a concept detailed in the proposal article.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Preface
 
-This is a companion blog post for my [RustLab presentation](https://rustlab.it/talks/how-to-stop-fighting-with-coherence-and-start-writing-context-generic-trait-impls) titled **How to Stop Fighting with Coherence and Start Writing Context-Generic Trait Impls**.
+This is a companion blog post for my RustLab presentation titled [**How to Stop Fighting with Coherence and Start Writing Context-Generic Trait Impls**](/blog/rustlab-2025-coherence).
 
 ## Quick intro to Context-Generic Programming
 
diff --git a/blog/2026-02-01-v0.6.1-release.md b/blog/2026-02-01-v0.6.1-release.md
@@ -10,7 +10,7 @@ We're excited to announce the release of [`cgp` v0.6.1](https://crates.io/crates
 
 The changes in this release reflect our commitment to lowering the barrier to entry for CGP, while maintaining the power and flexibility that make it such a compelling approach to modular Rust code. Whether you're an experienced CGP user or just getting started, we believe you'll find these improvements meaningful.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## AI Disclaimer
 
diff --git a/blog/2026-02-21-new-website.md b/blog/2026-02-21-new-website.md
@@ -7,7 +7,7 @@ tags: [release]
 
 If you have visited our website before, you might have noticed that the CGP project website has received a beautiful overhaul redesign with a fresh look and feel. This transformation comes from our migration away from [Zola](https://www.getzola.org/) to [Docusaurus](https://docusaurus.io/), a move driven by our commitment to significantly expand and improve the documentation for CGP.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## The journey to a better documentation home
 
diff --git a/blog/2026-02-28-v0.7.0-release.md b/blog/2026-02-28-v0.7.0-release.md
@@ -8,7 +8,7 @@ tags: [release]
 
 [**CGP v0.7.0**](https://crates.io/crates/cgp) has been released, bringing a major expansion to the CGP macro toolkit. The centerpiece of this release is a suite of new annotations — `#[cgp_fn]`, `#[implicit]`, `#[uses]`, `#[extend]`, `#[use_provider]`, and `#[use_type]` — that let you write context-generic code in plain function syntax with dramatically less boilerplate than before.
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Discussion
 
@@ -356,7 +356,7 @@ Both tutorials are designed to be read sequentially and assume no prior knowledg
 
 ## New CGP skills for LLMs
 
-CGP v0.7.0 ships with preliminary support for [agent skills](https://agentskills.io/home) for LLMs. The [**CGP Skills**](/docs/ai-assisted-development/skills/) document is specifically written to teach LLMs about CGP in a compact way.
+CGP v0.7.0 ships with preliminary support for [agent skills](https://agentskills.io/home) for LLMs. The [**CGP Skills**](/docs/ai/skills/) document is specifically written to teach LLMs about CGP in a compact way.
 
 If you would like to try out CGP with the assistance of an LLM, we recommend including the CGP skill in your prompts so that you can ask it to clarify any CGP concept.
 
diff --git a/blog/2026-03-07-rustlab-2025-coherence/index.md b/blog/2026-03-07-rustlab-2025-coherence/index.md
@@ -15,7 +15,7 @@ This blog post contains the slides and transcript for my presentation of Context
 
 You can also read the [**PDF slides**](./cgp-rustlab-2025-slides.pdf) or watch the video recording of my presentation on [YouTube](https://www.youtube.com/watch?v=gXIfP-W9074).
 
-<!-- truncate -->
+{/* truncate */}
 
 ## Discussion
 
@@ -460,7 +460,7 @@ There are many new possibilities that are enabled by CGP, which I unfortunately
 
 ![Slide 63](./slide-63.png)
 
-But although it is easy to get started with CGP, there are some challenges I should warn you about before you get started. Because of how the trait system is used, any unsatisfied dependency will result in some very **verbose and difficult-to-understand error messages**. In the long term, we would need to make changes to the Rust compiler itself to produce better error messages for CGP, but for now, I have found that [**large language models**](https://contextgeneric.dev/docs/ai-assisted-development/skills/) can be used to help you understand the root cause more quickly.
+But although it is easy to get started with CGP, there are some challenges I should warn you about before you get started. Because of how the trait system is used, any unsatisfied dependency will result in some very **verbose and difficult-to-understand error messages**. In the long term, we would need to make changes to the Rust compiler itself to produce better error messages for CGP, but for now, I have found that [**large language models**](https://contextgeneric.dev/docs/ai/skills/) can be used to help you understand the root cause more quickly.
 
 Most importantly, the biggest challenge for CGP is that it has a **steep learning curve**. Programming in CGP can almost feel like programming in a new language of its own. We are also still in the early stages of development, so the community and ecosystem support may be weak. On the plus side, this means that there are plenty of opportunities for you to get involved, and make CGP better in many ways.
 
diff --git a/docs/ai/_category_.json b/docs/ai/_category_.json
diff --git a/docs/ai/skills/index.md b/docs/ai/skills/index.md
diff --git a/docs/ai/skills/references/_category_.json b/docs/ai/skills/references/_category_.json
diff --git a/docs/ai/skills/references/modularity-hierarchy.md b/docs/ai/skills/references/modularity-hierarchy.md
diff --git a/docusaurus.config.ts b/docusaurus.config.ts
@@ -96,7 +96,7 @@ const config: Config = {
         {to: '/docs/tutorials/hello', label: 'Tutorials', position: 'left'},
         {to: '/docs', label: 'Docs', position: 'left'},
         {to: '/blog', label: 'Blog', position: 'left'},
-        {to: '/docs/ai-assisted-development/skills/', label: 'AI', position: 'left'},
+        {to: '/docs/ai/skills/', label: 'AI', position: 'left'},
         {
           href: 'https://github.com/contextgeneric/cgp',
           label: 'GitHub',
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
diff --git a/src/css/custom.css b/src/css/custom.css
