Hacker News Reader

Not on the developer side. The cloud side, yes, a bit.

still on the cloud side, cloud workstations and also the cloud shell gui mode are all theia.

I never understood theia TBH