I believe this functionality is provided by SyncTeX. I'm sure it can be used in other editors, but it can be accessed from the right click menu in TeXstudio.
After reading your comment I found a report on the relative safety of public transport and individual cars [1]. It concludes that in the USA there are up to 60x fewer fatalities per billion passenger miles on public transport (20x for commuter rail, 30x for urban rail, 60x for bus). It also claims that crime rates on public transport are decreasing despite increasing passenger numbers and are lower than for individual cars (crimes include road rage, car theft etc). The results of crimes to individual drivers are apparently also more costly (e.g. a stolen car rather than a stolen phone).
Obviously I've only seen one report, but it may be that the perception of cars as being safer is incorrect.
That's probably true that its safer to be in a bus than in a car. But I can point out two things that this study did not take into account, that does not provide a complete picture.
1) The people that die running to get the bus. Or people getting run over after exiting.
2) The increased chance of getting transmittable diseases like the Flu, or now COVID.
I take your point, but for reference at 65MbPs you could transfer 10Gb in under 3 minutes. I would imagine that's more than sufficient for the majority of people.
Is this really an issue for the use case being described? Environment management is obviously a significant consideration for software developers who need to keep track of versions etc, but it sounds as if these users primarily want to use the fundamental numpy functions.
They could install one of the scientific python stacks (e.g. anaconda) or just install packages globally with pip.
Anaconda switched its software license recently to require large companies to purchase a license, so now people must wade through the purchasing department before installation & use.
You've portrayed amp as a positive change and basing search ranking on page load times as a negative change, while clearly some websites would be "downranked" with either system.
One could just as well portray "downranking slow pages" as "boosting fast pages". With the latter system developers would be encouraged to reduce filesizes and JS bloat on their existing pages. As a mobile, and desktop user, I would appreciate that.
This depends on the circumstances. If your personal photos are unaccessible then maybe it doesn't matter, but if it's your documentation for a mission critical bit of infrastructure then a few hours could be very significant. Somebody in that situation probably wouldn't agree with your assertion that "availability != reliability". If I can't access it when I need it then I wouldn't consider it reliable.
Usually a reference indicates that an author believes something to be true, but won't explicitly state their reasons. It isn't just a statement of where information comes from, but a justification for trusting that information. If the reference is from a reputable source, then it indicates that this belief is justified. If an author believes something to be true because they read it on wikipedia, then that belief probably isn't justified, because the reliability of wikipedia content is mixed.
Good quality information on wikipedia often refers back to published sources, and at the very least an author should check that source and refer to it, rather than wikipedia itself.
To me, the primary benefit of CDs over tapes was the ability to skip between songs easily and not having to rewind, it wasnt about quality (for me). The operation of a digital radio and an FM radio are very similar, especially once you've set up your favourite stations.
Still waiting for radio that adds enough buffer to allow skipping ahead or rewinding. Somehow mainstream commercial radios(cars, portable, etc.) have avoided adopting the audio equivalent of the DVR. After becoming accustomed to watching TV with a DVR there's a knee-jerk reaction when listening to the radio and the impulse to rewind hits.
It may be that they don't think anyone would use that feature, so it would be extra expenditure for nothing. If you want more control and the guarantee of no adverts, you can pay for a music streaming subscription.
