proomt

Search

Search posts, papers, and topics

All posts

DereuromarkMark6 min readintermediate

From Markdown to Carve

Summary

This article guides engineers through migrating Markdown content to Carve, a new markup language. It covers mechanical conversion, key syntax differences like emphasis and list formatting, and using Carve's linter to ensure correctness before publishing.

  • Carve uses distinct visual mnemonics for emphasis (e.g., /italic/, *bold*, _underline_).
  • Heading attributes in Carve precede the heading, unlike some Markdown dialects.
  • Lists in Carve require a blank line to separate them from preceding paragraphs.
  • Raw HTML is explicit in Carve via {=html} or =html blocks, enhancing security.

Engineers considering or migrating to Carve will find this a practical guide, detailing specific syntax changes, tooling, and post-conversion checks to ensure a smooth transition.

7/10

Related reading

  1. Markdown in /src

    The essay argues that Markdown should be treated as source code and checked into a /src/md directory alongside the implementation it describes. Keeping intent in diffable, reviewable Markdown lets teams generate code and tests from it while preserving locality for both humans and AI agents.

    Lobstershtmx.org6 minHN15395lobste.rs12
  2. Serving Markdown for AI Agents, Now as a Jekyll Plugin

    The author turned a one‑off script that rendered each Jekyll page to Markdown and added a `<link rel="alternate" type="text/markdown">` tag into a reusable Jekyll plugin (jekyll‑md). The gem hooks into the build, extracts the main content (defaulting to `<main>` or `[role="main"]`), converts it to Markdown, injects the discovery link, and requires no per‑page front‑matter. Configuration is option…

    Daniel Doubrovkine (dB.)dblock.org2 min
  3. Article: Your Next DSL Author Is a Language Model

    Typed Domain Grounding (TDG) embeds a DSL inside a mainstream language the LLM already knows (e.g., Kotlin) and uses the host compiler as an oracle. The author describes five building blocks—embedding, choosing a host language with high training‑data frequency, compiler‑driven type safety, a generate‑compile‑repair loop, and an on‑demand teaching tool—and shows measured results from kUML, a Kotli…

    InfoQinfoq.com18 min
  4. Beyond jj: config & tools ecosystem

    A talk‑style overview of the growing jj ecosystem, covering new built‑ins (bookmark‑advance, bisect‑run, run, fix, tag, arrange, converge), clever alias tricks (subcommand aliases, git‑push‑like publish alias), the community‑maintained alias directory, and current forge integrations (GitHub stacked PRs, JJHub, Radicle, Tangled).

    Lobstersarko.net16 mintalkHN3lobste.rs89