When you compute a drug dose, a patient metric, or a clinical prediction, traditional code gives you a single number with no context. Sounio automatically tracks measurement error, ISO GUM uncertainty, and data provenance through every step of execution.
Featured: Vancomycin dosing that cannot lie about uncertainty.
Sounio is a systems programming language for scientific teams that need to reason not only about values, but about trust, provenance, and uncertainty at every stage of execution.
Featured: Deep-dive on the non-associative 168 Octonion theorem.
LENGUAJE DE SISTEMAS EPISTÉMICOS
Un lenguaje de programación que lleva
lo que no sabe.
No una solución alternativa. Un tipo.
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}
// caller — ε = 0.71, below threshold:
let measured = Knowledge { value: 430.0, ε: 0.71 };
dose_vancomycin(measured);No una heurística. No una advertencia. El verificador de tipos ve ε = 0,71, la firma exige ε ≥ 0,82, y el programa no compila. El contrato está en el tipo.
Lea el ejemplo completo de vancomicina →PUNTO FIJO EPISTÉMICO
El lenguaje volvió su sistema de incertidumbre sobre sí mismo. A lo largo de ocho generaciones de bootstrap, el compilador rastreó su propia confianza en cada expresión. En la generación ocho: 113.931 expresiones. Todas ciertas. Coste de guarda: cero bytes. El binario lo demostró compilándose a sí mismo dos veces con el mismo hash.
md5(gen₂.elf) = md5(gen₃.elf) · 15.636 call sites · 0 guardados · 1,25 MB
Tres disciplinas de tipo en tiempo de compilación que ningún otro lenguaje tiene como primitivas de primer nivel. Cada una aplicada en cada sitio de llamada. Cada una especificada formalmente.
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}effect NonUnitary {
amplitude: Complex<f64>
}
fn tt_amplitude(
p1: FourMomentum, p2: FourMomentum
) -> f64 / NonUnitary {
// …
}algebra Octonion {
basis: [e0..e7]
product: fano_table
reassociate: fano_selective
}
let count = count_nonassoc_triples();
// result: 168130 módulos de stdlib. Ocho dominios que ningún otro lenguaje compilado alcanza con incertidumbre, efectos y álgebra en tiempo de compilación.
FARMACOCINÉTICA
PBPK de 14 compartimentos · dinámica Cayley-Dickson · EDO GUM-exacta
Cada elemento de base sedenion codifica un compartimento anatómico. La transferencia de fármacos entre tejidos es multiplicación Cayley-Dickson — el álgebra es la farmacocinética.
Explore →MODELO ESTÁNDAR
31 módulos · incertidumbres PDG en cada vértice · QED LO ±2% vs datos CERN
Los 18 parámetros del Modelo Estándar llevan sus incertidumbres PDG como Knowledge<f64>. El verificador de tipos impone presupuestos de error en cada amplitud de Feynman.
Explore →PSIQUIATRÍA COMPUTACIONAL
Bateson L0-L3 · cálculo Spencer-Brown · eigenformas Pask · Maturana ejecutable
La cibernética de segundo orden formalizada como programas en ejecución. Dinámicas de doble vínculo, esquismogénesis, autopoiesis — no metáforas. Tipos.
Explore →COMPUTACIÓN CUÁNTICA
Qubits lineales · pares Bell · VQE H₂ · sin copia en tiempo de compilación
Los tipos lineales hacen que la clonación cuántica sea un error de compilación. El teorema de no clonación es una restricción sobre el tipo de Qubit.
Explore →UNIDADES FÍSICAS
44 unidades SI base + derivadas · análisis dimensional en tiempo de compilación
Las unidades físicas son tipos de primer nivel. Los errores dimensionales son errores de compilación. Un modelo PBPK de 100 variables lleva su tipo de unidad completo en cada paso.
Explore →PRIVACIDAD DIFERENCIAL
ε lineal · mecanismo de Laplace · ruido GUM Tipo-B + incertidumbre genómica
El presupuesto de privacidad ε es un tipo lineal — el compilador impide el doble consumo. El ruido se integra en la incertidumbre GUM; ambos se rastrean en el mismo tipo.
Explore →PRUEBAS DE GEOMETRÍA
AlphaGeoZero · confianza Beta por solución · primer probador de geometría con ε
AlphaGeoZero demuestra problemas de geometría de la OIM e informa la confianza por problema como una distribución Beta — el primer probador de geometría que cuantifica su propia incertidumbre.
Explore →RUNTIME EN NAVEGADOR
Target WASM · PBPK de rapamicina del lado del cliente · souc build --backend wasm
Compila a WebAssembly. El modelo PBPK de la disertación corre en la pestaña del navegador — stdlib completa, sin servidor, tipos epistémicos intactos.
Explore →EL COMPILADOR
souc está escrito en Sounio y bootstrapped en tres etapas. Los binarios de Etapa 2 y Etapa 3 son SHA-256 idénticos — el punto fijo es la prueba.
Bootstrap fixed-point
# Stage 0 → 1 (C-compiled seed)
souc-seed lean_single.sio gen1.elf
# Stage 1 → 2
./gen1.elf lean_single.sio gen2.elf
# Stage 2 → 3 (fixed-point check)
./gen2.elf lean_single.sio gen3.elf
sha256sum gen2.elf gen3.elf
# must be identicalEstado honesto de las funcionalidades de farmacología y seguridad del paciente — no promesas de marketing.
Clone el repositorio. Ejecute el compilador self-hosted. Lea las superficies de prueba. The public onboarding path is the checked self-hosted launcher. It type-checks and compiles to host binaries — no Rust/Cargo build step required for the default workflow.
$ git clone https://github.com/sounio-lang/sounio.git