$875 million would pay the salaries of 11,666 air traffic controllers for a decade at that wage.

You’re off by a factor of 10 here. It’s either a year of wages for 11666 controllers or 10 years of wages for 1166 controllers.

Do you really need signing if you’re using HTTPS though?

You can still get it if you use DisplayPort though, no?

https://doc.rust-lang.org/nightly/rustc/platform-support.html

Tier 1 targets can be thought of as “guaranteed to work”. The Rust project builds official binary releases for each tier 1 target, and automated testing ensures that each tier 1 target builds and passes tests after each change.

https://doc.rust-lang.org/nightly/rustc/target-tier-policy.html#tier-1-target-policy

The target must build and pass tests reliably in CI, for all components that Rust’s CI considers mandatory.

Github is removing support for CI on that target, and since that’s a requirement for Tier 1 support the target has to be downgraded.

Looks like the delay in 2011 was so big the data became available after the 2017 one

An “exponential drop” would be a drop that follow an exponential curve, but this doesn’t. What you mean is a “drop in the exponent”, which however doesn’t sound as nice.

and not an exponential speed-up (O(2^n) to O(n): exponential to linear)

Note that you can also have an exponential speed-up when going from O(n) (or O(n^2) or other polynomial complexities) to O(log n). Of course that didn’t happen in this case.

Just because it is technically cross platform doesn’t make something efficient.

If you want performance you’ll surely won’t go with cross platform. The more general something is the less efficient it is.

Linus got it right, it’s just that other userspace fundamental utilities didn’t.

If Italy really and truly doesn’t want a DNS server that is doing this to be accessible in Italy, go after Italian network service providers

They’re already doing that for blocking IPs, and ended up blocking Google Drive and some Cloudflare CDN IPs.

Where I live there are a lot of “temporary” 30km/h speed limits that were never removed by the road workers after the work was completed.

Just an arm and leave it with the battery, problem solved.

A slightly better metric to train it on would be chances of survival/years of life saved thanks to the transplant. However those also suffer from human bias due to the past decisions that influenced who got a transpant and thus what data we were able to gather.

And then Discord arrived

The comparison with Discord makes non sense, the feature seems to be just a normal group chat, like the ones in Telegram/Whatsapp/iMessage. Discord’s killer feature is the ability to have multiple channels within a server, which allows more organization.

Even in english this isn’t true, for example dots can appear inside a sentence for multiple reasons (a decimal number, an abbreviation, a quotation, three dots, etc, etc), which would make you split it into more than one piece.

I hate all the cruft in my home directory, but I also hate when stuff suddently stop working after an update, or when all the documentation online talks about something that doesn’t work on my system or is not there anymore. Developers are the ones that will have to deal with people with these issues, so I can see why they are reluctant to implement the naive solutions that some ask for.

Not sure if Discord is the best example here, as it didn’t support the screen capture portal for a very long time.

I don’t get sports fanatics…

Most people just want to watch a match of their home town/favourite team maybe once a week. This is very moderate, what’s so bad about that? However in order to do that they either have to either spend an absurd amount of money to get access to all matches, or spend a bit less money to play lottery and hope the match they wanted to watch gets selected.

The only options you have are:

• Dazn Standard (45€/month, 35€/month if you pay for 12 months) to get access to all the SerieA matches (and a whole bunch of other sports nobody cares about)

• Dazn Goal Pass (20€/month, 14€/month if you pay for 12 months) to get access to 3 SerieA matches per week which you don’t get to choose (and a bunch of other sports nobody cares about)

• Sky (16€/month for the first 18 months, then whatever Sky wants after that) to get access to 3 SerieA matches per week which you don’t get to choose (and a bunch of other stuff nobody cares about)

Most people care only about some specific matches, so your only option is Dazn.

Dazn is also a very crappy service, it often has connectivity problems and also has ads. Fun fact, if you get a connection issue while watching a Dazn ad, it will restart.

So, as usual, monopoly, high costs and crappy services drive piracy.