I'm confused about this article. I've read it, and it's skeptical of libra (which is fine) but makes handwavy and non concrete arguments about it's soundness. Can anyone tell me why it's so popular, besides just bashing Facebook?
It's bashing both Facebook AND blockchains using handwavy faux-intellectual arguments, and is thus in the exact sweet spot of Hacker News upvotability.
It appears in the case of the Move language it doesn't actually contain a 'linear type system'.
> The claim of the Move language to use of linear types appears to be unsubstantiated by a dive into the compiler as it reveals no such typechecker logic. As far as one can tell the whitepaper cites the canonical literature from Girard and Pierce and does nothing of the sort in the actual implementation.
