Google Summer of Code 2023, Cloud Workstations, and more dev news