⚠️ WARRNING ⚠️ Martin Odersky's Twitter account got hijacked, handle changed but kept his photo. Please do not engage with the account or its tweets, a bunch of bot replies will get triggered. We are working with Martin to get it back and will confirm once it's done.