differentiable rendering of implicit surfaces
finding constructible completions of quilting patterns as they're being sketched
a low-level language (and exocompiler) designed to help performance engineers write, optimize, and target high-performance computing kernels onto new hardware accelerators