Can someone familiar with this explain how something financially based can have a capitalization flaw? I would expect a smart contract language to have very strict type and variable linking. Humans make many mistakes in coding but most of the time it doesn't cost $55m. A transaction language should be very strict so either the smart contract language is flawed or the author of this article is overstating something for dramatic effect.
EDIT: Found this: https://github.com/slockit/DAO/blob/v1.0/DAO.sol#L666
on a deeper dive: http://hackingdistributed.com/2016/06/18/analysis-of-the-dao...