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.
ΓΛΩΣΣΑ ΕΠΙΣΤΗΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ
Μια γλώσσα προγραμματισμού που φέρει
αυτό που δεν ξέρει.
Όχι μια παράκαμψη. Έναν τύπο.
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);Όχι ευρετική. Όχι προειδοποίηση. Ο 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: 168130 ενότητες stdlib. Οκτώ τομείς που καμία άλλη μεταγλωττισμένη γλώσσα δεν φτάνει με αβεβαιότητα, εφέ και άλγεβρα κατά τη μεταγλώττιση.
ΦΑΡΜΑΚΟΚΙΝΗΤΙΚΗ
PBPK 14 διαμερισμάτων · δυναμική Cayley-Dickson · GUM-ακριβής ODE
Κάθε βασικό στοιχείο sedenion κωδικοποιεί ένα ανατομικό διαμέρισμα. Η μεταφορά φαρμάκου μεταξύ ιστών είναι πολλαπλασιασμός Cayley-Dickson — η άλγεβρα είναι η φαρμακοκινητική.
Explore →ΤΥΠΙΚΟ ΠΡΟΤΥΠΟ
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 →ΦΥΣΙΚΕΣ ΜΟΝΑΔΕΣ
44 μονάδες SI βάσης + παράγωγες · διαστατική ανάλυση κατά τη μεταγλώττιση
Οι φυσικές μονάδες είναι τύποι πρώτης τάξης. Διαστατικές αναντιστοιχίες είναι σφάλματα μεταγλώττισης. Ένα μοντέλο PBPK 100 μεταβλητών φέρει τον τύπο μονάδας σε κάθε βήμα.
Explore →ΔΙΑΦΟΡΙΚΗ ΙΔΙΩΤΙΚΟΤΗΤΑ
Γραμμικό ε · μηχανισμός Laplace · θόρυβος GUM Τύπου-Β + γενωμική αβεβαιότητα
Ο προϋπολογισμός ιδιωτικότητας ε είναι γραμμικός τύπος — ο compiler αποτρέπει τη διπλή κατανάλωση. Ο θόρυβος εντάσσεται στην αβεβαιότητα GUM· και τα δύο παρακολουθούνται στον ίδιο τύπο.
Explore →ΑΠΟΔΕΙΞΕΙΣ ΓΕΩΜΕΤΡΙΑΣ
AlphaGeoZero · εμπιστοσύνη Beta ανά λύση · πρώτος αποδείκτης γεωμετρίας με ε
Το AlphaGeoZero αποδεικνύει προβλήματα γεωμετρίας ΔΜΟ και αναφέρει την εμπιστοσύνη ανά πρόβλημα ως κατανομή Beta — ο πρώτος αποδείκτης γεωμετρίας που ποσοτικοποιεί τη δική του αβεβαιότητα.
Explore →RUNTIME ΣΤΟ 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 είναι η απόδειξη.
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Ειλικρινής κατάσταση για λειτουργίες φαρμακολογίας και ασφάλειας ασθενών — όχι υποσχέσεις μάρκετινγκ.
Κάντε 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