Hash is identity
Definitions are named by SHA256 of term and type, not by mutable paths.
content-addressed runtime · gleam · beam
A language lab where every definition leaves a fingerprint.
gleamunison dogfoods a Unison-shaped runtime on the Erlang VM: typed source enters, content hashes fall out, modules hot-load, and the playbook keeps the machine honest.
BEAM is the substrate
Hot loading, process isolation, supervision, and distribution come from OTP.
Dogfood is the proof
Thousands of generated levels keep parser, inference, compiler, storage, and sync honest.
dogfood loop
Generate. Verify. Learn. Repeat.
Each iteration extends the runtime with playbook levels, runs the build and tests, then records what the system learned. It is not demo theatre; it is a pressure rig.
- parser
- elaborate
- infer
- hash
- store
- compile
- load
- eval
gleam run -- level5696Level 5696: OKgleam test53 passed, no failuresbb scripts/run_playbook_tests.cljplaybook conformance certified
why it matters
Mutable names are a convenience. Immutable code is a capability.
The site mirrors the runtime’s central idea: keep the surface quiet, make the graph visible, and let identity be earned by structure instead of branding gloss.