vitalik.eth@VitalikButerinDon't make the mistake of respecting grumpy people because they seem to be wise mature people. Grumpiness is fake maturity; it only looks like maturity to the inexperienced. Genuinely wise and mature people can express their wisdom without being grumpy about it.Opens with a "stop doing this"
vitalik.eth@VitalikButerinMany people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: t.coOpens with an observation
vitalik.eth@VitalikButerinThis is why: * Self-sovereign identity, data and money (so you control your account, not a third-party provider) * CROPS AI (so other people cannot do this to *your computer* t.co )Opens with an observation