Author here. Fair warning: it's a vision piece, not a launch. We have a working prototype, but what's described in the post is where we're headed, not something you can play with today. We want to share what we're working on early to get feedback, collaborators, and use cases. Encouragement also welcome :)

A few of us will be around for the next few hours to answer questions. Don't hold back.

P.S. We're looking for collaborators. This stuff is hard and straddles many areas. Language semantics & formal verification is the area we'd most love help with. Reach out if you're interested.