Parallel-first programming language. Syntax creates a categorical dataflow/execution graph -> the program, and the graph is what gets optimized: dataflow-first, not the control-flow IRs everyone else optimizes on -> optimizations beyond traditional compilers. Same code -> run everywhere: CPU, GPU, FPGA, ASIC -> all in one.