Yep! They're from here: https://twitter.com/lucidrains/status/1232699234354204672