It doesn't even have to be linked to the car tax.

NZ uses "Road User Charges" for diesel - it does not have the tax built in at the pump (petrol does), so all diesel cars have to buy blocks of kilometres as tax. The government get updated when your annual vehicle inspection is done, but between those inspections its up to you to make sure you have enough spare kilometres left for your trips. If you get stopped by police and they check, being too far out is considered to be tax evasion and a criminal offence.

Who are already required to record mileage on UK roads for other reasons, so thats a solved problem.

And in New Zealand you can easily drive miles and miles on private roads, which are not maintained by the government...

The general dearth of atmosphere, is the main thing that would be holding Mars back from having any really substantial weather phenomena, including lightning like we see on Earth. But apparently there is just about enough atmosphere to support... this version of it.

The definition of artificial didn't "slowly morph" into man-made: that's the original definition. Specifically it's the output of an art-maker (Latin artifex, genitive artificis).

A "literal antivirus monitoring system" should literally monitor antiviruses, shouldn't it? Ok, there's an alternative parse where it should monitor literal antiviruses. Either way, CO2 isn't an antivirus.

Air-gapped cloud? A sovereign cloud for an organisation with 32 member states? They've managed two oxymorons in a one-phrase requirement.

Amtrak doesn't currently use them and there is no reason to think they would need to add it.

It's a political question. In Spain you have to pass through an airport-style security checkpoint to access high-speed trains (although it's a pre-9/11-style checkpoint: no 100ml restrictions on liquids; and I've never seen anyone have to open their luggage). There's no guarantee that US politicians wouldn't expand TSA's remit to high-speed rail, so a discussion of pros vs cons should really treat it as a possible advantage of rail which can't be quantified.

Many college students can do everything they need on a phone.

In fact, there are many things that only exist as apps on a phone.
Most of use can still choose iPhone or Android.

Linux has really become the way for servers. Many Linux devs use Mac & homebrew instead of Linux too.

How many Linux only desktop apps are there (I remember ones for all the Unixen with CAD, FPGA, etc)

What is keeping the apps on Windows or Mac? And driving them to iPhone/Android instead of Web?

He left Red Hat for Microsoft in 2022...

You can see a word-by-word translation of the Greek:

And having made a whip of cords all He drove out from the temple the both sheep and the oxen and of the money changers He poured out the coins and the tables He overthrew. And to those the doves selling He said Take these things from here

I've reinserted the articles which that interlinear translation omits. On a grammatical level it's fairly clear that "both the sheep and the oxen" is expanding the "all" whom he drives out with the whip; and on a higher analytic level the fact that he tells the dove sellers to take their merchandise implies that they weren't driven out with the whip: to interpret that as saying that he used the whip on some merchants but not others according to what they were selling is a harder interpretation to defend than that the whip was used to drive the animals.

belted the shit out of greedy money changers grifting in the temple lobby.

This is a popular interpretation of the text, but a close reading doesn't really support it. It seems rather that he used a whip to drive out the animals but didn't use violence against people.

I'm seeing how using computers to teach elementary math isn't working. It needs to be taught with paper and pencil. There needs to be a certain amount of simple rote memorization for the basics like multiplication and division but that doesn't seem to be the point of emphasis.

Then fund education correctly.

To fund education correctly it would probably be around 70% of any given state's annual budget. It's expensive to fund education because to do it right takes a lot of qualified people. Most people don't want to pay so they push to lower the per-capita amount, which leads to education suffering accordingly.

In my experience, college was where instructors of all sorts (TAs, lecturers, professors) graded on a curve the most, and in my own personal case, was the only place I directly experienced grading on a curve. Having listened to my extended family of the prior generation, grading on a curve was already prevalent among colleges back in the sixties, and possibly well before that.

So what you propose in your second bullet point has not really ever been the standard, at least during the lifetime of the vast majority of Americans around today.