Hacker News Reader

Are they still given a Debian workstation besides that? Didn't know they are dogfooding ChromeOS that seriously.

Nopes, everyone uses cloud VMs by default. These VMs were very powerful too.

Is gLinux[1] still a thing?

Yes; that’s what’s used on the VMs, workstations, and Linux laptops.