← All parts of this equation

Equation 42 · Part 7 · The Economics of Codex: Tokens, Sandboxes, Review Time, and Software Throughput

subtraction

ht+1=ht+ℓt−dt,h_{t+1}=h_t+\ell_t-d_t,
subtraction

What this part means

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Its job in the formula

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

The passage around this formula

Let developer capability evolve as ht+1=ht+ℓt−dth_{t+1}=h_t+\ell_t-d_t. where ℓt\ell_t is learning from agent-assisted work and dtd_t is depreciation of skills no longer exercised. Both depend on workflow. Requiring developers to predict behavior, inspect evidence, and explain accepted changes can raise ℓt\ell_t . Delegating opaque work and reviewing only summaries can raise dtd_t .

Read this part in the article →

Learn the underlying idea

Addition combines quantities; subtraction measures the signed difference between them. Parentheses show what is combined before the rest of the expression is evaluated.

Open the illustrated addition and subtraction in an equation guide →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.