Today the team discusses the benefits of the decarbonization economy, the Libra/Facebook hearings in Congress, blockchain’s ability to combat corruption in government and finance, and the AGM meeting.
Today the team discusses the benefits of the decarbonization economy, the Libra/Facebook hearings in Congress, blockchain’s ability to combat corruption in government and finance, and the AGM meeting.
Beginning with a set of interactive rewrite rules, Greg Meredith discusses his work with Mike Stay to derive a proof theory that exhibits a Curry-Howard style correspondence.
Beginning with a set of interactive rewrite rules, Greg Meredith discusses his work with Mike Stay to derive a proof theory that exhibits a Curry-Howard style correspondence.
Board of Directors nominees discuss their plans for the future of RChain.
0 min
About RCast
From the publisher's feed
RChain is a complete, concurrent blockchain platform designed for maximum efficiency at minimal computational and environmental costs by utilizing proof of stake. Beyond our platform, our investment…
partners fund organizations that are working within our core mission statement to create a better world by enabling social coordination in robust, secure, and scalable ways. Each week you'll hear from the founders of RChain's portfolio companies, co-op members, staff, and other figures in the RChain ecosystem, about the most pressing issues in blockchain today.