rho.dev for sale
ρ · U+03C1 · the 17th letter

rho.dev

Three letters, and one Greek letter that turns up all over math, physics and computing. This domain is for sale.

01 / Pollard's ρ

Factor a number by walking in a circle.

Repeat x ↦ x² + c mod n. Seen mod a hidden prime factor p, the walk has to repeat itself after about √p steps, and the path it traces looks like a ρ. A tortoise and a hare run the walk at different speeds, and gcd(x − y, n) catches the loop, which gives you p.

02 / Spearman's ρ

Correlation that only cares about order.

Pearson's r measures how well the points fit a straight line. Spearman's ρ measures whether y goes up when x goes up, at any rate. Drag the points around. Click empty space to add one, double-click a point to remove it.

Spearman ρ0.00
Pearson r0.00

03 / Index

ρ shows up everywhere.

Every field has its own ρ, which makes a name like this useful to almost anyone.

Number theory

Pollard's rho

x ↦ x² + c (mod n)

Finds a factor p in about √p steps using almost no memory.

Statistics

Spearman's rank correlation

ρ = 1 − 6Σd² / n(n²−1)

Pearson's r computed on ranks. Robust to outliers and to curves.

Physics

Density

ρ = m / V

Water at 4 °C is about 1000 kg/m³.

Materials

Resistivity

ρ = R·A / ℓ

Copper is about 1.7 × 10⁻⁸ Ω·m at 20 °C.

Linear algebra

Spectral radius

ρ(A) = max |λᵢ|

x ← Ax + b converges from every starting point exactly when ρ(A) < 1.

Electromagnetism

Charge density

∇·E = ρ / ε₀

Gauss's law: electric field lines begin and end where ρ is.

Finance

Option rho

ρ = ∂V / ∂r

How much an option's price moves when the risk-free rate changes.

Time series

Autocorrelation

ρ(k) = γ(k) / γ(0)

How much a series correlates with itself k steps back.

04 / Acquire

rho.dev is for sale.

  • 01Three letters. Short to type, easy to say, and hard to misspell.
  • 02A .dev domain. The entire TLD is HSTS-preloaded, so browsers only ever load it over HTTPS.
  • 03Room to grow. It would suit a stats library, a database, a physics engine, a fintech product, or whatever ρ means to you.