DAIOS Logo

the world's first distributed & collaborative
AGI platform


DAIOS - Request task solutions.

Structured and unstructured computation...
in one programming language

Mindscript is an experimental programming language that offers a dual system of formal and informal types.

Types constrain the values that an expression can take. However, formal types impose constraints that can be deduced (via computation), while informal types impose inductive constraints which guide the black-box evaluation of an expression (much like our own thought processes are shaped by our observations).

Download MindScript from the Github repo.

We are commited to AGI...

and want to ensure the safe deployment of AI technologies.

We are creating a novel computing platform designed to redefine how AI is integrated across the web. Our goal is to not only enhance AI capabilities but also ensure these advancements are accessible, safe, and beneficial for all.

We are still operating in stealth mode. Meanwhile, try out MindScript, our programming language based on oracle machines.

DAIOS - Request task solutions.