Viewing profile — weiserwx

[dead]

A DSL for machine learning programs: https://pypie.dev/ Embedded in Python, written like Python, but with static type safety (e.g. it catches tensor shape mismatches at compile tim…

PyPie is a subset of Python built on a dependent type system to statically validate tensor shapes. We have made the "type surface" just rigorous enough but not too much: it catches…