The functions are optionally tested using formal verification. I plan to enable this by default soon, as time allows.
These functions that get written can then be composed, and enzymes that run in the cloud actively look for functions to fuse.
Also more people use it, the faster the compiler gets via network scaling laws.
It's very much research at the moment, but kinda works.
Jupyter Notebook style interface with the beginnings of some image and media support.
https://prometheus.entrained.ai
Can try looking at some of the examples or trying something yourself.
Would love some feedback.