My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
*Warning: this post is a huge wall of unedited thoughts. * When browsing another thread on this subreddit, I've noticed a comment about Cardano from /u/Theory-Early, who wrote: I dont think it sounds promising at all. 99.99% of all programmers do not give a single fuck about functional programming or formal verification. it's literally a…
Read more