A brief analysis and discussion on formalist vs intuitionist programming factions in the crypto community.
The title is a little intimidating, but the article itself is very enlightening. I also would like to give 
Hive account@dana-edwards credit for putting lots of effort into answering my novice questions. Check it out. It is one of the top articles out there, but has recieved near to no up-votes.
EDIT: He has written an article more specific to Tauchain. It's worth reading: A discussion and description of how Tauchain works by a non-expert
