When Developers Work Late, Should the Manager Stay?
No need to add to the anxiety. Give them a comp day (of their choice) and back off. If you've been doing your job correctly they'll want to stay and they'll know that you will make it up to them. Hey, this is part of the world we live in. Keep the faith and you won't have a problem.
Geek Travel To London From the US — Tips?
Bletchley Park, which has gotten plenty of Slashdot coverage over the years, is a must. It's just an hour north on the train and a short walk from the train station. Go to Euston Station for the ride north.
The Faraday Museum http://www.londondrum.com/cityguide/faraday-museum.php is worth the trip.
Greenwich Observatory and the National Maritime Museum are musts, as well. http://www.nmm.ac.uk/
You may want to read Dava Sobel's book about John Harrison before you go, if you haven't already. See the real H* clocks. http://en.wikipedia.org/wiki/John_Harrison
Take the laptop.
NASA May Outsource
"Best of breed", no doubt.
Private industry has done so well in the US: telcos, airlines, utilities, "contractors" in Iraq, not to mention the entire financial sector. Deregulation and privatization in the US has shown that private industry has difficulty regulating itself or indeed acting in a responsible manner. Oversight with accountability is absolutely essential to success.
Hate to be so negative but I don't see anything good in this whatsoever. There are some things that are too important to be left to private industry. Building is one thing, running a program is quite another.
I'm about as free-market and capitalist as you can get, but there is a time and a place for government regulation.
Behind the First Secure Quantum Crypto Network
Maginot Line, folks. Point-to-point encryption is one (important) element of a business network, but it's not sufficient to secure the business network. As such, its implementation would need to be assessed with respect to the total network security budget.
Protecting the Apollo Landing Sites From Later Landings
We've already visited one former Surveyor site: Apollo 12 astronaut Pete Conrad visited the Surveyor 3 spacecraft in November of 1969 -- check out the stereo picture:
Configuring a Windows PC For a Senior Citizen?
will be tough but I speak from experience with a couple of nonagenerians (grandmother and great aunt) and a couple of septagenerians (aunts both) -- they will do things in Windows... things that will be difficult for you to figure out on the telephone. You need to be able to get to their desktop if you're going to have a chance at all (e.g. some flavor of VNC). The most important thing I learned during the many hours I've spent over the years supporting family members: mouse usage basically becomes a random variable with seniors as their motor control declines. So a) they have no idea where and what they clicked and b) they will frequently do things that produce inexplicable results. An example: a family member called one day to describe a gray screen covering about 90% of the display. Turned out that my grandmother had (somehow) unlocked the toolbar in Windows and dragged it all the way to the top of the screen, rendering the machine useless. Try figuring that out on the telephone. I've never found a tool that would allow me to freeze the desktop and menu items so that they didn't get scrambled... just plan on periodically having a UI puzzle on your hands. Having remote desktop access will help but the only problem there is that you may not be trusted to take remote control, i.e. privacy is an issue. Sigh. Seniors really need only a couple of apps: web, email, and Solitare. Windows is overkill and will be the pebble in your shoe.
Should Wikipedia Allow Mathematical Proofs?
First, of course proofs are fair game for Wikipedia -- a proof is like the source code for a statement that is purported to be true.
I've seen a few nibbles around the edge with some of the answers but I think this topic leads to more fundamental questions, like "what things require proving" and "when is a thing proved", the latter of which sometims boils down to "to whose satisfaction must a thing be shown before it is accepted as proven"? The answer to these questions has driven a lot of the development of mathematics itself (as well as philosophy and the natural sciences), as things that were once accepted as axiomatic, after critical examination, have themselves been shown to be consequences of more fundamental axioms (or assumptions).