I wonder... could we force them to keep metametadata? Y'know, summaries of what fields were copied out of what databases of what companies on what days? That way, we could still have a snowball's chance at proving that individual customers had their privacy impinged. Of course, this is all rhetoric: no, we can't force them to keep anything, and no, we wouldn't have a snowball's chance at proving shit against the fed. Fun idea, though, having a government that behaves responsibly.
If I get tenure, I'll get to put my name to my opinions. If I'm a tenth as cranky and outspoken as Doron Zeilberger, I'll be satisfied.
I wish modern mathematicians believed the math that they prove day after day for undergrads. If they did, this wouldn't be controversial.
1) Verify the proof that the verification algorithm works.
2) Obtain several independent simple, portable implementations of said verification.
3) Run said implementations on proof certificate on a variety of hardware.
Trust the math, and where it comes to the hardware and software, trust but verify. Too long to check without aid of a computer? Sure, I'll buy that. But you'd have to be an idiot to want to check this proof without a computer. Why is this news? (actually, the result in discrepancy theory is wonderful, and I'm very happy to see it here on Slashdot... but massive computer proofs are truly nothing new)
Even assuming an AI that can land on a moving car every time, sensors and planning algorithms are decades away from being able to handle the overhead rat's nest.
So, the drone will almost certainly crash-land in its first few flights, and necessarily have a powerful enough engine to catch up to a car doing 80mph on the freeway. That powerful engine weighs a good 10 pounds at a minimum. Ever see how much damage a 3 gram pebble can do to your windshield? There is no way that this will ever get off the ground.
This idea: bullshit.