Many 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: https://vitalik.eth.limo/general/2026/05/18/fv.html
- 10 replies
- 9 recasts
- 68 reactions
- 20 replies
- 13 recasts
- 151 reactions
Sent another 64 ETH to the Animal Welfare Fund. I encourage others to think and act more in support of our non-human cousins too! The extreme suffering we're imposing on them in the billions is not something we talk about often, but it continues to be one of the larger blights on humanity. And I'm getting optimistic that this century we can finally end it. Farming practices are improving, synthetic alternatives are improving. Also, in my recent experience, good old low-tech vegetarian and vegan food has improved massively worldwide over the last ten years; I encourage anyone who has tried it long before and given up to take second look; there are far more healthier and tastier options today than the "pasta and salad" you would often get ten years ago.
- 40 replies
- 43 recasts
- 296 reactions