aeastw

I grew up in Hope, near Castleton, and worked for several years as a tour guide at Speedwell Cavern which is a failed lead mine from the 1700's. This was a fascinating read as I knew lots of the later history, but as the article points out, the earlier history is much less well known.

Yeah I'm in the same boat here. Go has become my go to instead of python. For me the packaging/package management side of python has become messy and really detracts from the whole developer experience.

I'm fairly sure water follows the curvature of the earth...

I really don't understand how this is an issue. The raspbian distro is designed and fundamentally revolves around being a learning environment with as little friction/barrier to entry as possible. So having the repo available makes sense. If there is a need to be in complete control of every aspect of what is installed in the distro then there is always the option of creating your own distro that is completely controlled using something like the Yocto Project.

I don't really understand how this is an issue. The raspberry pi/raspian distro is made primarily for education, so making it easier to install VSCode which is a popular tool (and also one of the recommended tools for developing for the new Raspberry Pi Pico) is a good thing. It's not like VSCode is being forcibly installed on all raspberry pi's, just because the repo is in the source lists doesn't mean you have to install anything from it.