Andrei's list of barriers to D adoption

[Timon Gehr via Digitalmars-d]

On 08.06.2016 00:47, Walter Bright wrote:
> On 6/7/2016 3:23 PM, Timon Gehr wrote:
>> Obviously they proved the virtual machine itself memory safe,
>
> As I recall, the proof was broken, not the implementation.

Which time?

> People do
> make mistakes and overlook cases with proofs. There's nothing magical
> about them.
>

Obviously, but there are reliable systems that check proofs automatically.