The idea
For seventy years humans wrote source and machines ran it. Logos inverts that: you declare intent, and an AI compiler produces the implementation along with the proof that it's correct — refinement types checked by a solver, effects typed, memory-safe by construction.
What's built
Native binaries on macOS, Linux and Windows with no runtime. A public corpus and test suite, cross-platform builds verified for zero divergence, and a self-hosting compiler that reproduces itself byte-for-byte. Apache-2.0.
Where it stands
Shipped and open source. It is the substrate experiment behind everything else here: if AI writes the code, the language should be designed for AI to write.