rchain

2 feeds in the directory cover this.

Subscribe:.rss .atom .json .md .m3u .pls

RChain Coop Official Subreddit

RChain https://rchain.coop is a fundamentally new blockchain platform rooted in a formal model of concurrent and decentralized computation, Reflective Higher Order (rho) calculus. It adds intelligent reflection to process (pi) calculus making it powerful. The RChain Cooperative https://discord.gg/NWkQnfH is leveraging that model through correct-by-construction software development to produce a concurrent, compositional, and infinitely scalable blockchain. Visit https://github.com/rchain/rchain/

Blogtagged by the author25 posts

MadMode

Dan Connolly's tinkering notebook

Blog4 mentions25 posts

Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics