Infinite Worlds From Formulas

You now know the whole trick: one function, asked patiently, becomes geometry, light, and a camera. This last level looks outward — at where this idea actually lives in the world, honestly sorted into “the same idea” and “a cousin” — and then looks down, into the place where formulas outrun geometry entirely. At the end, the site hands you its keys.

Where this idea lives

The demoscene.The same idea, in its purest form. A 4-kilobyte demo — smaller than this paragraph's HTML — has no room for meshes or textures, so the whole world ships as a distance function plus a marcher, almost line-for-line the code in this site's library. Landmark productions like Elevated built mountains, lighting, and music into the space of an email signature. Scarcity invented this aesthetic; the field made it possible.

Games and VFX.The same idea, embedded in pipelines built on triangles. Engines march fields for volumetric clouds and fog (where there is no surface for triangles to hold), for soft real-time shadows and ambient occlusion (Unreal's distance-field AO keeps a baked SDF of the scene), and for effects that must blend and morph. The hero is usually still a mesh; the atmosphere around it is often a field.

Font rendering.The same idea, precomputed. Valve's SDF text trick stores, in each texel, the signed distance to the glyph's outline. Magnify it and the bilinear-interpolated field still crosses zero exactly where the edge belongs — crisp text at any scale from a tiny texture, the zero level set doing all the work. Most game UIs and map labels you have read lately were drawn this way.

CAD and 3D printing.The same idea, taken as the ground truth of solid modeling. “Implicit” CAD kernels (OpenSCAD-style unions, nTopology's lattices) represent parts as fields, where booleans never produce the cracked seams mesh booleans suffer, and printers can ask “inside or outside?” per voxel. The marching happens once, into layers, instead of per frame.

Creative coding and plotter art.The same idea, with no GPU in sight. The generative-art community runs these formulas in ordinary JavaScript and Python: the circle packing you met in Level 2, contour traces of 2D fields for pen plotters, and “rayhatching” — Level 3's march, aimed at paper, shading 3D scenes with nothing but pen strokes. Genuary (the genre's January challenge) has dedicated an entire day's prompt to SDFs. If shaders ever feel distant, this scene is proof the mathematics stands on its own.

Machine learning. A cousin, and a close one. Neural SDFs (DeepSDF and descendants) train a network to be the function $f(p)$— the representation is identical, only authorship changed: gradient descent instead of algebra. NeRFs are a step further removed: they store density and color, not distance, so they march without the safe-leap guarantee. The echo is real, but say it precisely: neural SDFs are this idea; NeRFs are this idea's rendering loop with a different field inside.

The gallery: distance estimators and infinite detail

Everything so far came from primitives a person could write down. Fractals break that ceiling. There is no sdMandelbulb to derive — but if you can bound how fast an iteration escapes, you can compute a distance estimator: a cautious, Level-1-style promise of empty space around the set. A bound is all the marcher ever needed, so “render the un-renderable” reduces to Level 3's loop, unchanged:

Watch the step-cost intuition from Level 3 pay off here: every canyon of the sponge and frill of the bulb is a grazing-ray trap, and the marcher spends its steps exactly where the detail is. Infinite worlds are not free — they are priced by proximity.

The studio

One gesture remains. The scene on this site's landing page — the one drawn beneath the words “by Level 4, you'll command it” — is loaded below, live, into a builder where every choice that made it is a control: the primitives, the operators between them, the materials, the light, the lens. The promise is kept.

Closing: geometry as arithmetic

Five levels ago you measured the distance to a circle and wrote it as a subtraction. That was the entire secret. Shapes became functions; functions had algebra; the algebra welded and tiled and carved; one Lipschitz promise let rays leap through space; and every question after that — which way, how bright, how shadowed, how far — was the same function, asked again with intent. Worlds as formulas. Geometry as arithmetic. The renderer you can read.

Look again at any image on this site — the hero, the sponge, the thing you just built in the studio. Every pixel of it is length(p) - r wearing increasingly ambitious clothes. You started by measuring a circle.