Science
Every number carries its doubt.
Domain workflows where uncertainty is not a footnote but a type — present at every step, propagated by the compiler, enforced at the boundary.
The type system at work
From pharmacometrics to network geometry — each workflow shows how epistemic confidence travels through a real computation and what happens when it runs out.
causal
因果推断
提供第一流因果推理的干预<T>和反事实<T>类型
View workflow climate
气候科学
允许不确定性在转化为政策剧场之前停止程序。
View workflow genomics
基因组学 & 生物信息学
DNA序列操作与分析
View workflow graphics
Graphics and Rendering
透過原生執行 Sounio 範例產生的終端機科學顯示及光柵圖像。
View workflow gpu
Kretikos GPU Compiler
GPU compiler lane with checked thread builtins, serial CPU fallback, in-tree PTX/CUBIN templates, and artifact bundles.
View workflow neuroimaging
腦部影像
保留不確定性的診斷管道，而非掩飾弱或模糊的信號。
View workflow pharma
藥物動力學
使用GUM不確定性傳播進行臨床劑量設計
View workflow quantum
量子计算
透过线性类型建模量子态
View workflow science
科学计算
数据分析与不确定性追踪
View workflow