Vitalik Buterin says that formal verification tech might be in Etherium's future. decrypt.co #

Amazon Alexa can now create on demand AI generated talking heads podcasts on any topic. variety.com #

More limits to free X accounts. engadget.com #

The last six months in LLMs in five minutes. simonwillison.net #