#ruchy is not only provable code via mathematical proofs and runtime i.e. BigO, but also #cryptographically provable, i.e. secure by design. Why build a new language if you don't make is >10X. Some of this is working here: github.com/paiml/rosett... Take a course from us: paiml.com

0 likes 0 replies