The Noise Programming Language

A small, expression-based, stochastic language: write random variables like ordinary variables. GPU-compiled, massively parallel, blazing fast.

Abstract. In Noise, every value is a probability distribution: a number is a delta generatorl. Operators lift over random variables and a query such as P(event) estimates a probability by simulation. The result is a small language in which propagating uncertainty and running Monte-Carlo experiments reads like ordinary mathematics, compiled to run on the GPU and multi-core, on both native and web.

Figure 1. the noise field this language is named for: a fractal-noise surface drawn as ink contours. Move your cursor to disturb it.

Keep scrolling

The best way to learn a language is to watch it unfold in front of you, so keep scrolling. Six small programs, each one idea past the last, animate as you read them, then run for real on the compiled engine in your browser. It has a touch of magic to it, because every variable here is a whole wave of possibility, and a query is what collapses it to a single number.

Every value is a distribution

concept.noise open in playground

A = 5D1 ~ rand::unif_int(1, 6)D2 ~ rand::unif_int(1, 6)S  = A + D1 + D2E(S)

draws 0 A ≈ —

Figure 1. One histogram, four ideas. A number is a spike; the tilde spreads it into a die; a constant and two dice joined make a bell; a query reads the result.

A number is a distribution

A = 5 looks like a plain constant — and it is, but Noise sees it as a probability distribution whose every draw lands on 5. A single infinitely-thin spike: the Dirac delta, the degenerate case every other value generalizes.

The tilde spreads it out

D1 ~ rand::unif_int(1, 6) binds a fair die — a discrete uniform spread, all six faces equally likely. The spike fans out into six flat bars. D1 is now genuinely uncertain, yet you write it like any other variable.

Join them — a bell appears

Now add the constant and two independent dice together: S = A + D1 + D2 — five, plus a roll, plus a roll. The flat shapes convolve into a triangle peaked at 12 — already curving toward a bell. Join a few more and it sharpens into a true Gaussian: the central limit theorem, for free. (Noise also ships normal, poisson, bernoulli and more for the same ~ slot.)

A query collapses millions of draws

Nothing actually runs until you ask. E(S) — the expected value — fires a Monte-Carlo pass: millions of rolls of both dice, averaged into one honest number. By the law of large numbers the running mean settles on 12. Two lines of math; an expert kernel underneath.

Estimating π with Monte Carlo

pi.noise open in playground

X ~ unif(-1, 1)Y ~ unif(-1, 1) C = X^2 + Y^2 < 1 4 * P(C)

darts 0 inside 0 π ≈ —

Figure 2. Monte-Carlo π. A probability becomes a number by sampling.

Two random draws

Same ~ as before, now used twice. X ~ unif(-1, 1) and Y ~ unif(-1, 1) each draw a number anywhere in [-1, 1] — together, a random point in the square.

Ask one yes/no question

C = X^2 + Y^2 < 1 is true exactly when the point falls inside the unit circle. In Noise that comparison is itself a random variable — a Bernoulli distribution, landing true or false on each draw.

Now throw the darts

Each dart is one draw of (X, Y); teal if inside the circle, grey if not. They scatter evenly — no point is special.

Four times the fraction is π

The circle covers π/4 of the square, so the teal share hovers around π/4 — and 4 * P(C) is π. More darts, sharper estimate.

The birthday paradox

0102030405060

birthday.noise open in playground

days ~[23] rand::unif_int(1, 365) match = vec::has_duplicates(days) P(match)

people 0 P(two share) — at 23 —

Figure 3. the birthday paradox — coincidence is far likelier than it feels.

A room full of birthdays

Every ~ so far drew a single number. ~[23] hands 23 people one random day each — and that whole batch is still a single draw. The strip up top is one such room scattered across the 365 days of the year.

Ask: does any pair collide?

has_duplicate checks all 253 pairwise comparisons at once and is true the moment two days land on top of each other — the matches flash maroon above.

Add people, watch it climb

Each extra person adds more pairs that could collide, so P(match) rises far faster than intuition expects — not a gentle ramp but a steep wall.

23 beats a coin flip

The curve crosses the dashed 50% line at just 23 people — fewer than a classroom. By 50 it's a near-certainty. Our intuition compares ourselves to others; the math counts every pair.

The bell curve, two ways

sampled sum Normal(N/2, N/12)

bell.noise open in playground

# 1 — a Galton board: 12 left/right bouncesrights = vec::count(~[12] rand::bernoulli(0.5))P(rights == 6)        // centre bin -> 0.226 # 2 — the same bell, from a sum of uniformssum = vec::sum(~[12] rand::unif(0, 1)) - 6P(sum > 1)            // -> 0.159, Normal(0,1)

balls 0 P(centre) ≈ — N = 1 shape flat

Figure 4. the bell curve, two machines — a Galton board and a sum of uniforms, one law.

Each peg is a coin flip

Two dice already hinted at a bell; twelve coin flips sharpen it. A ball meets twelve pegs; at each it goes left or right with equal chance. ~[12] bernoulli(0.5) is those twelve flips, and count collapses the batch back to one number — how many went right.

Where does it land?

The number of rights is the bin. P(rights == 6) asks how often a ball ends dead centre — twelve fair steps landing exactly halfway.

Drop the balls

Watch them cascade. Any single ball's path is unpredictable, yet the bins fill into a strikingly regular shape.

A bell, from coin flips

The stacks trace the Binomial — a sum of twelve Bernoulli steps. But is the bell really about coins? Let's swap them for something with no bell in it at all.

Start over with flat noise

unif(0, 1) is equally likely anywhere in [0, 1] — a flat slab, nothing bell-shaped. We'll sum N of them and standardize, starting with just one.

Two make a triangle

Sum two independent uniforms and middling totals beat the extremes — a triangle. The parts are still flat; the sum is what bends.

A few, and it rounds

By four terms the corners are already softening toward a curve — the very same shape the falling balls drew, with no pegs in sight.

Same bell, different machine

Twelve uniforms hug the true Normal (red). That's the central limit theorem: sums drift to a Normal regardless of the parts — coins or flat noise, the bell is the same law underneath.

AM vs FM

am_fm.noise open in playground

engine::set_resolution(64); msg = 0.3 * signal::sine(3); am = 1 + msg;fm = math::exp(math::i * 3 * msg); static ~ signal::noise_white_complex(0.4);rx_am = am + static;rx_fm = fm + static; rec_am = math::abs(rx_am) - 1;rec_fm = math::arg(rx_fm) / 3; Print("AM error", E(vec::mse(rec_am, msg), 40000));Print("FM error", E(vec::mse(rec_fm, msg), 40000));

scroll through the steps →

Figure 5. AM vs FM, end to end. The carrier is a phasor; AM rides its length, FM its angle. The same static corrupts the length but spares the angle — which is why FM shrugs off noise. Numbers from the real engine.

The message

A gentle tone — sine(3) is a waveform, not samples. No length appears in the math; the one resolution setting sits at the top, next to the measurement. This is what we want to send through a noisy channel and get back intact.

AM — message in the amplitude

The carrier is a phasor — a spinning arrow, one complex number per instant. AM puts the message in its length: the tip slides in and out, crossing the unit circle as the message rises and falls.

FM — message in the angle

FM instead puts the message in the angle, via Euler's e^(i·θ): the tip rides the unit circle while its length stays fixed. Same information, encoded in rotation rather than reach.

Add the same static

~ draws ONE realization of complex noise — every mention of static is the same static, so both carriers face an identical storm by construction. It smears AM along the radius it reads from — but only nudges FM around the circle. Watch the clouds.

Demodulate & compare

Read the length back for AM, the angle for FM. Side by side — the demodulated AM on the left, FM on the right, the original tone in ink over each — the same static visibly rattles AM while FM hugs the message. That's the payoff of spending bandwidth on the angle.

100 boxes, 100 prisoners

prisoners.noise open in playground

n = 100; opens = 50;boxes ~ rand::permutation(n);   // box k holds slip boxes[k] all_win = true;for prisoner in 0..n {  box = prisoner;               // open your own box first  found = false;  for hop in 0..opens {    box = boxes[box];           // follow the chain    found = found || (box == prisoner);  };  all_win = all_win && found;};P(all_win)               // ~ 0.3118

Figure 6. the 100 prisoners riddle — following your own loop wins ~31%, exactly when no cycle exceeds half the boxes.

A riddle that sounds impossible

A draw can be a whole arrangement, too — a random permutation. 100 numbered prisoners, 100 numbered boxes, each box holding one prisoner's number in random order. Each may open 50 boxes hunting for their own number. If everyone finds it, all go free — otherwise all are lost. No signalling.

Guessing is hopeless

Open 50 of the 100 boxes at random and you find your own number half the time. Fine for one prisoner — but all 100 must succeed at once, so the odds are (½)¹⁰⁰ ≈ 8×10⁻³¹. Astronomically, certainly zero.

The trick: open your own box first

Now the clever rule. Prisoner k opens box k. Inside is some number — so go open that box next. The slip there points to the next box, and so on. You are quietly walking a loop.

Follow the chain home

Because the boxes are a permutation, the chain you follow must eventually loop back to box k — and the slip that closes the loop is your own number. You find it on the very last hop of your cycle… if that cycle is at most 50 long.

Every prisoner walks one loop

The whole arrangement splits into a handful of separate loops, and each prisoner is born onto exactly one of them. Everyone on a given loop succeeds or fails together, depending only on that loop's length.

One rule decides everything: no loop over 50

So all 100 go free precisely when the longest loop is ≤ 50. Watch fresh shuffles roll by — a single long loop (red) dooms everyone on it; keep every loop short (green) and the whole room walks free.

How often? About 31%

Over thousands of shuffles, plot the longest loop. A permutation can have at most one loop longer than 50, and the chance it has none works out to 1 − (1/51 + … + 1/100) ≈ 0.3118. The green mass left of the line is the answer.

Examples

A catalogue of short programs, each a Monte-Carlo experiment with a known closed form, so the printed answer can be checked. Open any one in the playground to run and edit it on the real Noise compiler, built to WebAssembly and running in your browser. Each program gets its own shareable link.

Basics

Estimate π

3.14159…

Monte Carlo π from random darts in a square.