debrief
3 feeds in the directory cover this.
Home on Matjaž Drolc
Recent content in Home on Matjaž Drolc
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/
It's not about code
Machine-readable: JSON · all topics