Science

Applied scientific systems with explicit confidence semantics.

Explore domain workflows where uncertainty is not hidden metadata but an executable part of the program.

Domain Gallery

From pharmacometrics to climate ensembles, each path shows how trust is encoded.

Intervention<T> and Counterfactual<T> types for first-class causal reasoning

Ensemble reasoning where uncertainty is allowed to halt the program before it turns into policy theater.

DNA sequence operators and analysis

A bounded GPU surface with PTX emission, attested lanes, and public commands a reviewer can inspect.

Terminal-native scientific visuals plus real raster renders generated by the checked JIT artifact.

Diagnostic pipelines that preserve uncertainty instead of bluffing past weak or ambiguous signal.

PK/PD modeling with GUM uncertainty propagation for clinical dosing

Quantum state modeling via Linear Types

Data analysis and uncertainty tracking