Ouroboros is the first provably secure proof-of-stake protocol, and the first blockchain protocol to be based on peer-reviewed research. (cardano.org)

Learn You a Haskell for Great Good! (learnyouahaskell.com)