About
Sounio is building software that communicates the quality of its own knowledge.
A statically typed, effect-annotated, self-hosted programming language with first-class epistemic types — for computation that must account for what it doesn’t know.
DESIGN PRINCIPLE
A language for science should never erase provenance
or confidence signals just because a result reached a scalar.
CONTRIBUTORS
Dionisio Chiuratto Agourakis
Contributor