alt Hacker NewsThat's a really interesting project! Being able to assert more, statically, about what our software is doing seems like a real growing need
That's a really interesting project! Being able to assert more, statically, about what our software is doing seems like a real growing need
Thank you, I really appreciate that. I'm really trying to make it easy to assert what code can do, then enforce it at compile time and optionally via the build tool at runtime via OS sandboxing integration. Supply chain attacks are also an area I'm exploring by having deps declare caps and then the build can scan and inspect binaries.
It's been a real education. I talked to one of the people behind Caja and learned a lot.