See Also
Building the Haskell cardano-node on Linux
tl;dr; Jump straight to the build instructions The Details Looking forward to the Haskell mainnet, the next step in the Cardano project, I’ve begun exploring the cardano-node Haskell implementation. I find that exploring source code is much easier if you actually watch the program run for a while. So, the first thing a developer has […]
Opinion: Decentralized blockchains can only survive having a valuable token, like Bitcoin, attached to them [Feb 2018]
We’ve heard this time and again, especially from folks in the financial sector: “blockchain is here to stay, Bitcoin not so much”. Is this really so? We disagree, and in this article we discuss the origins of Bitcoin and how the problem it solved only makes sense when there’s a reward for participants to join […]
What is “formal verification” of cryptocurrency software?
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important for cryptocurrencies? In this article we take a quick and superficial look at formal verification and why it may be desirable in the future […]
Opinion: Our 2018 cryptocurrency portfolio: Events to look forward to and pitfalls to avoid [Feb 2018]
Few events have the power to make a cryptocurrency multiply 10X. Being widely adopted, becoming the standard in its niche, developing an innovative or very unique feature, having a great community around it – all these have the power to increase a crypto’s value many times over. But what are some possible catalysts for cryptocurrency […]