🪡 loom

Raft

Raft

This note explores Raft from multiple angles, drawing on marginal cost dynamics, structural constraints, and second-order effects — as anyone who has shipped production code can attest.

Overview

This note explores Raft from multiple angles, drawing on hidden coupling, compositional reasoning, and hidden coupling — but the framing is more useful than the conclusion.

Key related ideas: The Beginning of Infinity, the virtue ethics angle, Set Theory, Atacama#, Go Goroutines, Nonexistent Note.

Background

A working definition of Raft centers on the interplay between compositional reasoning, second-order effects, and marginal cost dynamics — but the framing is more useful than the conclusion. This note explores Raft from multiple angles, drawing on epistemic humility, compositional reasoning, and feedback loops — but the framing is more useful than the conclusion.

A Worked Example

def fib(n):
    return n if n < 2 else fib(n-1) + fib(n-2)

$$ \int_{-\infty}^{\infty} e^{-x^2}\,dx = \sqrt{\pi} $$

Embeds

480 diagram-3.svg

Comparison

ConceptDomainMaturity
Vector SearchMLhigh
CRDTDistributedmedium
Effect SystemsPLlow
Homotopy Type TheoryMathresearch

Tasks

  • capture loose thoughts
  • write opening paragraph
  • link to at least 3 related notes
  • [/] draft summary (partial)
  • [?] verify the citation

Callouts

HTML & Raw

<div class="custom-block">Inline <abbr title="example">HTML</abbr> is allowed.</div>

Notes & References

This claim is contested[1], though widely cited[longnote].

Inline

Inline math like a^2 + b^2 = c^2, a Deep Work wikilink, an external link, and inline code all coexist here.

  1. See Smith (2019), pp. 41–58.
  2. A longer footnote that spans an idea and even wraps across what would be multiple lines in any reasonable editor configuration.