How this site is made
Every page here is written in GAIN and rendered by HTMO, part of CATS, our C++ platform. There is no hand-written HTML.
The parts
GAIN
The notation these pages are written in. Canonicalization gives the same logical page the same bytes every time, so a page can be hashed and checked.
HTMO
Assembles the page and layout manifests and renders the HTML, CSS and script your browser receives.
Check it yourself
The provenance file lists the digest of every source manifest and every rendered file, so you can confirm a page matches its source.
landing-provenance.gain →