Reliability gate
σταθερό100%
251/251 pass · FAIL=0
FOR CLINICIANS & RESEARCHERS • BIOMATERIALS & PHARMACOLOGY
Your Calculations Hide Uncertainty.
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.
Built for clinical safety & high-consequence scientific software.
BETA TOOLCHAIN • SELF-HOSTED EPISTEMIC PL
Compute at the boundary between certainty and consequence.
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.
Built for teams shipping high-consequence scientific software.
ΓΛΩΣΣΑ ΕΠΙΣΤΗΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ
Μια γλώσσα προγραμματισμού που φέρει
αυτό που δεν ξέρει.
Όχι μια παράκαμψη. Έναν τύπο.
Παλμός ζωντανής γλώσσας
Ό,τι αλλάζει πρέπει να γίνεται προσανατολισμός.
Το Sounio κινείται γρήγορα. Αυτός ο παλμός κρατά τη δημόσια επιφάνεια δεμένη με ελεγμένα artifacts, υγεία gates, γνωστά όρια και καθαρό μονοπάτι επαλήθευσης.
Διαβάστε το επιχειρησιακό πλάνο Δημιουργήθηκε: 2026-07-05
Τρέχοντα σήματα
πηγή: artifactStatus.tsChecked artifact
οριοθετημένο1.0.0-beta.5
bin/souc
Self-hosted source
σε κίνηση172
105,058 lines
Translations
τοπικοποιημένο100%
docs 222/222 · showcases 54/54 · tutorials 36/36
Διαδρομή επαλήθευσης
self-hosted native ELF/Mach-O
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.
Χρειάζεται προσοχή
- Epistemic ODE solver (general RHS) Exponential decay works; general RHS needed for full PBPK epistemic integration
- Ontology federation Local ontology work exists; 15M-term federated query not implemented
- GPU CLI entry point PTX/GPU codegen exists in-tree; no complete default CLI path (gpu/lib.sio stub)
+3 γνωστά κενά παραμένουν υπό παρακολούθηση
ΑΣΦΑΛΕΙΑ ΑΣΘΕΝΩΝ ΚΑΤΑ ΤΗ ΜΕΤΑΓΛΩΤΤΙΣΗ
Η πύλη ενεργοποιείται πριν τρέξει οποιοσδήποτε κώδικας.
vancomycin_dosing.sio
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); E: epistemic confidence too low ε = 0.71 < where auc.ε >= 0.82 — compile rejected
Όχι ευρετική. Όχι προειδοποίηση. Ο type-checker βλέπει ε = 0,71, η υπογραφή απαιτεί ε ≥ 0,82, και το πρόγραμμα δεν μεταγλωττίζεται. Το συμβόλαιο βρίσκεται στον τύπο.
Διαβάστε το παράδειγμα βανκομυκίνης →ΕΠΙΣΤΗΜΙΚΟ ΣΤΑΘΕΡΟ ΣΗΜΕΙΟ
Η γλώσσα στρεψε το σύστημά της αβεβαιότητας πάνω στον εαυτό της. Σε οκτώ γενιές bootstrap, ο compiler παρακολούθησε τη δική του εμπιστοσύνη σε κάθε έκφραση. Στην γενιά οκτώ: 113.931 εκφράσεις. Όλες βέβαιες. Κόστος φύλαξης: μηδέν bytes. Το δυαδικό το απέδειξε μεταγλωττίζοντας τον εαυτό του δύο φορές στο ίδιο hash.
md5(gen₂.elf) = md5(gen₃.elf) · 15.636 call sites · 0 φυλαγμένα · 1,25 MB
Επιστημικό. Εφέ. Άλγεβρα.
Τρεις πειθαρχίες τύπου κατά τη μεταγλώττιση που καμία άλλη γλώσσα δεν έχει ως πρωτογενείς πρωτόγονες. Κάθε μία εφαρμόζεται σε κάθε σημείο κλήσης. Κάθε μία ορίζεται τυπικά.
ΠΥΛΗ ΕΜΠΙΣΤΟΣΥΝΗΣ
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: 168Το σύστημα τύπων ταξιδεύει.
130 ενότητες stdlib. Οκτώ τομείς που καμία άλλη μεταγλωττισμένη γλώσσα δεν φτάνει με αβεβαιότητα, εφέ και άλγεβρα κατά τη μεταγλώττιση.
ΦΑΡΜΑΚΟΚΙΝΗΤΙΚΗ
16 διαμερίσματα. Ένα sedenion.
PBPK 14 διαμερισμάτων · δυναμική Cayley-Dickson · GUM-ακριβής ODE
Κάθε βασικό στοιχείο sedenion κωδικοποιεί ένα ανατομικό διαμέρισμα. Η μεταφορά φαρμάκου μεταξύ ιστών είναι πολλαπλασιασμός Cayley-Dickson — η άλγεβρα είναι η φαρμακοκινητική.
Explore →ΤΥΠΙΚΟ ΠΡΟΤΥΠΟ
18 σταθερές. Κάθε σ. Εφαρμοσμένο.
31 ενότητες · αβεβαιότητες PDG σε κάθε κορυφή · QED LO ±2% vs δεδομένα CERN
Οι 18 παράμετροι του Τυπικού Προτύπου φέρουν τις αβεβαιότητές τους PDG ως Knowledge<f64>. Ο ελεγκτής τύπων επιβάλλει προϋπολογισμούς σφάλματος μέσω κάθε πλάτους Feynman.
Explore →ΥΠΟΛΟΓΙΣΤΙΚΗ ΨΥΧΙΑΤΡΙΚΗ
Δυναμική διπλού δεσμού. Σε κώδικα.
Bateson L0-L3 · λογισμός Spencer-Brown · eigenμορφές Pask · εκτελέσιμος Maturana
Η κυβερνητική δεύτερης τάξης τυποποιημένη ως εκτελούμενα προγράμματα. Δυναμική διπλού δεσμού, σχισμογένεση, αυτοποίηση — όχι μεταφορές. Τύποι.
Explore →ΚΒΑΝΤΙΚΗ ΥΠΟΛΟΓΙΣΤΙΚΗ
Χωρίς κλωνοποίηση. Στο σύστημα τύπων.
Γραμμικά qubits · ζεύγη Bell · VQE H₂ · χωρίς αντιγραφή κατά τη μεταγλώττιση
Οι γραμμικοί τύποι κάνουν την κβαντική κλωνοποίηση σφάλμα μεταγλώττισης. Το θεώρημα μη-κλωνοποίησης είναι περιορισμός στον τύπο Qubit.
Explore →ΦΥΣΙΚΕΣ ΜΟΝΑΔΕΣ
mg/kg είναι τύπος. mg/L + L/h δεν μεταγλωττίζεται.
44 μονάδες SI βάσης + παράγωγες · διαστατική ανάλυση κατά τη μεταγλώττιση
Οι φυσικές μονάδες είναι τύποι πρώτης τάξης. Διαστατικές αναντιστοιχίες είναι σφάλματα μεταγλώττισης. Ένα μοντέλο PBPK 100 μεταβλητών φέρει τον τύπο μονάδας σε κάθε βήμα.
Explore →ΔΙΑΦΟΡΙΚΗ ΙΔΙΩΤΙΚΟΤΗΤΑ
Προϋπολογισμός ιδιωτικότητας. Δεν μπορεί να δαπανηθεί δύο φορές.
Γραμμικό ε · μηχανισμός Laplace · θόρυβος GUM Τύπου-Β + γενωμική αβεβαιότητα
Ο προϋπολογισμός ιδιωτικότητας ε είναι γραμμικός τύπος — ο compiler αποτρέπει τη διπλή κατανάλωση. Ο θόρυβος εντάσσεται στην αβεβαιότητα GUM· και τα δύο παρακολουθούνται στον ίδιο τύπο.
Explore →ΑΠΟΔΕΙΞΕΙΣ ΓΕΩΜΕΤΡΙΑΣ
Θεωρήματα ΔΜΟ. Ειλικρινής εμπιστοσύνη.
AlphaGeoZero · εμπιστοσύνη Beta ανά λύση · πρώτος αποδείκτης γεωμετρίας με ε
Το AlphaGeoZero αποδεικνύει προβλήματα γεωμετρίας ΔΜΟ και αναφέρει την εμπιστοσύνη ανά πρόβλημα ως κατανομή Beta — ο πρώτος αποδείκτης γεωμετρίας που ποσοτικοποιεί τη δική του αβεβαιότητα.
Explore →RUNTIME ΣΤΟ BROWSER
Τρέχει στον browser. Χωρίς εγκατάσταση.
Target WASM · PBPK ραπαμυκίνης client-side · souc build --backend wasm
Μεταγλώττιση σε WebAssembly. Το μοντέλο PBPK της διατριβής τρέχει στην καρτέλα του browser — πλήρης stdlib, μηδέν server, επιστημικοί τύποι ανέπαφοι.
Explore →Ο COMPILER
Μεταγλωττίζει τον εαυτό του.
Το souc είναι γραμμένο σε Sounio και bootstrapped σε τρία στάδια. Τα binaries Σταδίου 2 και Σταδίου 3 είναι SHA-256 πανομοιότυπα — το fixed point είναι η απόδειξη.
3 στάδια bootstrap — C → souc₁ → souc₂ ≡ souc₃
4 φάσεις compiler — parse / check / HLIR / emit
5 backends — x86_64 · ARM64 · PTX/GPU · WASM · Cranelift JIT
1000+ κανόνες e-graph στο βήμα βελτιστοποίησης
LSP language server — συμπληρώσεις, διαγνωστικά, goto definition για VS Code, Neovim, JetBrains
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 identicalΕιλικρινής κατάσταση για λειτουργίες φαρμακολογίας και ασφάλειας ασθενών — όχι υποσχέσεις μάρκετινγκ.
Λειτουργεί
- Vancomycin ε gate — compile-fail fixtures reject under-confident dosing (ASHP ε ≥ 0.82)
- ISO GUM propagation — Knowledge<T> uncertainty through arithmetic in stdlib epistemic lane
- PBPK dissertation demo — browser-side rapamycin & semaglutide compartment simulation
Σκαλωσιά
- Provenance metadata — prov strings on Knowledge<T>; full audit chain still expanding
- Clinical Lean obligations — partial formal verification; not a regulatory submission
Λείπει
- EHR / FHIR integration — no live hospital connector in public artifacts
- Multi-site clinical validation — single-author research codebase, not a trial platform
Κάντε clone το repo. Τρέξτε τον self-hosted compiler. Διαβάστε τις επιφάνειες απόδειξης. 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