The Oct Programming Language for scientific programming
Type-level SI units catch physics errors at compile time before runtime.

Nine-year language where every variable is a probability distribution, not a value.
Data scientists, researchers, developers working with uncertainty modeling
Stan · PyMC · Church
Type-level SI units catch physics errors at compile time before runtime.
Non-deterministic compilation via LLM — every natural language programming attempt has failed for decades.
Spec-as-code is clever, but multi-target compilation claims need proof at v0.1.
Custom language with JIT and Go interop, but no clear advantage over existing options.
Prefix notation language that cuts LLM token usage by 70% compared to Python or C.
Korean keywords for programming when English dominates every other language.