33 posts • joined 4 Jun 2010
Computers and Proofs
I think it was the English mathematician, Keith Devlin (fomerly of Lancaster Uni and now, I think, of Stanford) who pointed out that there is as likely to be a mistake in a 2 million line computer program as there is in a 2 million line (human created) mathermatical proof.
The computer-based proof of the 4 colour map theorem works because it exhaustively demonstrated that all maps with certain features could be coloured using at most four colours, and that the list of those certain features was complete for planar maps.
The assertion of a proof for the Erdos discrepancy problem seems to require somthing different, as clearly not all (or indeed any) infinte random binary sequence can have been fully analysed. Seems like I'm going to have to read the original papers. Although if Erdos couldn't prove it, it is going to be tricky.
(Alonso) Church's thesis was that all computing machnices are essentially the same, (but he did not foresee computing based on quantum superposition as far as I am aware).
The reason it is referred to as "Church's Thesis" is that it seems impossible (in the mathematical logic sense) to prove that all (classical) computers are essentially the same (i.e. have the same theoretical computational power, implementations differing by being bounded by things such as memory, processor speed, efficiency of compilation etc.)
There is therefore a (mathematical) logical difficulty in determining whether there may be a model for a classical computation device which would behve like the D-Wave processor meaning it is in essence a very fast Turing machnie.
All we need to do is paper the walls, ceilings and floors with aluminium foil ... bit of a bummer for TV, radio and cellphone reception though.
A worrying thought
How can we be sure they are even being honest about the job? Maybe they are actually putting a bit of a positive spin on it. The only good thing is that once in the job, if you are able to do it, then you probably have the company by the short and curlies and can demand whatever financial reward they can stand.
I had an offer a few years ago which included the clause that I could be summarily dismissed without compensation were I to be deteained under section 7 of the Mental Health Act. (Note to the company, I still have the peperwork.) As they also wanted me to sign away my rights under the Working Time Directive, I declined their offer.
(I think it was Clyde) The schoolboy off of the Sarah Jane spin off, who is somehow 'entangled' with the Doctor. The Dr. managed to swap their locations in one episode, leaving Clyde distinctly stranded on an alien planet until the Doctor could get around to resucing him.
What about K-9?
K-9 definetely had a personality, and met a whole host of the good Doctor's enemies.
Also, Captain Jack Harkness, desn't he count as an asistant?
Re: it would really be nice to hear
"that the HR drones who introduced it in the first place were summarily fired and tasered off the premises by a group of overweight and sweaty rent-a-cops"
Now then, don't blame it all on HR, they mostly just have to do what senior managment has been told by the most recent team of consultants hired striaght out of doing PPE at Oxford tell them is the next gee whizz idea. HR drones don't make this sort of decision, the finance director does - it is easier to work out your remuneration budget if there is a nice Gaussian distribution of achievement to link to reward.
The problem is that they do not understand statistics, that it is unliely that a company would ever have a normal distribution of achievement and capability reported every quarter not only overall, but for each colleaction of >10 individuals, particularly if you are in any way selective in your hiring and firing processes.
Folmi, I think, reckoned that you shold reward people according to their value to the company, if the man who stoked the boiler made the greatest contribution he should get the most pay. But in feudal organisations (like any large company) there is the belief that each manager must be paid more than his or her staff because managers are MORE IMPORTANT than the people who do the actual work the company provides to its cusotmers.
An article in your rival, the Independent newspaper years aog claimed that the financial institutions actively sought out psychopaths as they were more effective at 'making money' than people who cared about others. When major losses were 'made' they would cry "O P M!" (other people's money). When large profits were 'made' they got big bonuses from their bosses.
But success of psychopaths is nothing new. Herodotus' "Histories", recounts a king who, on discovering that the lieutenant he had ordered to kill his son, Cyrus (I think), had not actually done so, summoned all to a banquet, where the lieutenant had aspecial dish, which he ate, and was later shown that it was made from his own teeneage son.
The good thing now is that all they really can do is fire you after stealing, sorry reducing, your pay. Cooking and serving up your children for you to eat has gone out of fashion.
And for your next trick ...
Can we look forward to the ten worst organisational cultures? (And how the ten worst boss types fit into them?) Psychopathic bosses seemingly on day release from a supposedly secure hospital, who treat every mistake as deliberate sabotage, and resent paying you aything for the privilige of funding their 'Grand Designs' mansion and Jaguar / Porshce habit, create a whole company culture.
And why not, after all they are the ones who started the company with their own initiative, took the risk, and there you are, working for them, who are celarly the sole wealth creators and they don't understand why you don't have the same dedication to the company as them.
The company culture cold be summed up in the following commandment:
"Make sure you have someone else to blame."
Yes, I really have worked for people like that.
Not too close
I think Fred Hoyle wrote a short story about the Earth being too close to a local super-nova. I forget what it was called.
Am I a decider?
How would I know? What is the definition of a decider?
It would be interesting to work out the implications of Godel's theorems on completeness and inconsistency for reasoning about your own reasonsing processes.
But then, I get confused easily.
Let's think aout this
Firstly, the article ignores something very important about houses: PEOPLE LIVE IN THEM. they are not financial toys purely for investment and financial gain. They require such things as maintenance and the dollar value of a house or home can change depending on the location (as the journalist said "when the Taliban move in next door, there goes the neighbourhood).
Secondly, the article completely ignores the idea of the value of a share being in any way linked to the payable dividend. It only mentions the price of the share for sale. (The word "dividend" does not appear in the artcile.)
Thirdly, share trading is protected physically and in other ways by public servants, and publically funded infrastructure. The only legitimate reason for such activity to be untaxed is that it is of such overwhelming benefit to sociatey that we are happy not to proivde taxes to pay for things like social servcices able to protect the vulnerable, weak, poor etc. in our society. I.e. it is on the same ethical level as charities and religious bodies (historically religious organisations performed many charitable acts).
So please, lets think about more than just the share price when discussing this idea of a FTT, it is a lot more compliacted than the author describes.
Re: magnetically drawn to trees
"He's a bear, and he very probably wanted to have a shit in the woods"
Frankly, were I facing the prospect of being dropped from an altitude of 39,000 metres, I doubt I could have waited for the woods before having a sh*t. Ted is clearly made of strong stuff.
Congratulations to all concerned.
Is there any chance that Ted and Felix will meet up for a joint photo-shoot and to share their experiences?
It is the lobbyists and big business they need to worry about
Surely there should be concern that if the politicians get to decide what applications for research grants are funded, the poeple who actually decide will be the lobbyists and their masters, the companies which fund them and make major donations to election funds. The idea that the petrochemical industry, tobacco industry, and pharmaceutical industry should be able to influence or even veto research into the effects of their products is truly frightening.
is to produce a mechanical trigger whic will only fire after the GPS altimeter has failed to either detect launch height or it has detected launch height but the ignition process failed. This implies that the mechanical trigger must react to an event other than GPS altitude reading, which could be either temperature (difficult to get right), r balloon burst).
A free-fall detector would be my sugestion, such as a weight on a spring enclosed in a box or tube. When free-fall is detected the spring should return to its unladen orientation. A problem with this idea, and any other free-fall detector, is turbulence during the ascent causing the mechnaical device to fire. The difficulty with any external cords or strings is the possibility of icing up and friction.
Stands the clock at then to three, and is there honey still for tea?
The Rare Tea Company advises not only using water below boiling point, but also using the third brew from tea leaves as the being the best: http://www.rareteacompany.com/
As for the discussion of sugar, what about honey? Earl Grey, no milk, with a (tea) spoonful of honey is excellent treatment for a cold, with or without whiskey.
Richard Feynmann, when asked at an academic function when he was a research student which he would like in his tea, 'milk or lemon?' replied "yes, please", getting the response "Surely you're joking, Mr Feynmann?", but it seems not only did he get both and drink it, but got the title for his book from that too.
And the new name of the Apple Shop is ...?
Just for those of us who would like a nice drink of cider the next time we are in that part fo the world.
(Smiley face at the prospect of some fermented apple juice.)
I believe I know what has happened.
Heinlein, Doc Smith et al are actually future people who, having been plagiarising GW's 'Space Marines' took a leaf out of the Hitch-Hiker's Guide to the Galaxy, and sent their books back to a time before GW existed so that they could then use "Space Marines" wihtout fear of prosecution. GW is the unwitting victim in this temporal crime.
(The Editor of the HHGTTG notoriously copied details of the Universe from the back of a cerial packet, embellished them and sent the book back in time and successfully sued the ceral company for infringement of compyright.)
OR maybe GW is just a mindless bunch of j***s who will be the first against the wall when the revolution comes.
Sorry it is a Firday afternoon, after all.
There is usually a clause in the software lcence to the effect that the user absilves the supplier of any adverse concequences of the software either not doing what it is suppoesed to, or actually doing harm to the user's system. So if malware is 'bundled in' with any product, I wonder what the actual legal position is.
I've seen something like this before ...
I can't help feeling that the specifc example ofpoor code, is very similar to poor management. As a company starts trying to 'do' things, people find their own ways of doing things that are not clearly written down in agreed policies and procedures (many of which do not quite work or leave gaps).
This eventually results in a Byzantine system of quirky 'fixes' which some people do, and wich are inconsistent with other people's views. As one manager said to me once "If I find that I want to do something and the rules do not allow it, I ... break the rules." My response "I prefer rules that work", surprisingly did not go down particularly well. (I find that where people have to break the rules to get the work done, each person breaks the rules in a different way.) The theory learnt in an MBA seems all well and good, until you start experiencing the problems caused by your own decisions - much better to get a job with one of the 'big four' consultancies and watch your 'vauled clients' sort out the problems you gave them with your'theoretically correct but functionally incomplete and unsound 'advice'.
As for code writing, if I draw the flowchart first and get that to work, the only errors in my code are typographical, if I don't draw the flowchart first, I spend about 5 times longer fixing algorithmic (and typographical) problems.
Merry Christmastide everyone.
What no mention that
He was proud to have met one of the Wright Brothers (first man to fly a powered aircraft), Yuri Gagarin and Neil Armstrong.
I had not realise he accompanied Albert E on the piano
For all his faults (and I heard him in an interview expounding his rather xenophobic views once when after a bref rant he reflected 'actually, that's not very nice is it?' about his own opinion), he was an enthusiast, who communicated his enthusiasm with panache.
He also recorded a little dot by saturn one night, which he did not realise was a then unknown moon, re-discovered by a NASA probe. He did discover a crater on the Moon, due to its remainign wobble it shows slightly more than 50% of its face to us.
Thre cheers for Sir Patrick..
(Apoloigies if this has already been posted.)
The predication that in 2200 everyone will be significantly weathier globally than today must be suspect. Don't forget that it was only a few decades ago that we were told we'd all have so much free time (and be wealthy too) that we would hardly know what to do with it all. Any eceonomic prediction for the next 20 years is highly suspect, and fo rthe next 200 years, clearly pointless.
What we do know is that if we mess up the global environment now, it will cause suffering in the future, and any economc policy about the environment which only considers humanity, and not the rest of the environment, animals, plants, fungi etc. basically ignores ecological consequences is pointless, since we rely on the ecological environment to survive. There is just no possibility that a polar bear in 200 years will be 'wealthier' than a polar bear today. Extinction is, after all, for ever.
Re: Vacuum tank considerations
@VeganVegan > " I don't know if there are any moonshiners in the Spanish hills, but a copper distillation coil (or a segment of a car radiator) stuffed into a dry ice-ethanol slurry in a styrofoam box should work quite well."
The condensation coil will also have to withstand sea level atmospheric pressure and maintain the vacuum, so I doubt a segment of car radiator will be sufficiently robust. The other option would be to enclose the condensation coil within a cylinder made in the same way as the rehab iteself, chilled and atmospherically sealed.
Have you considered testing the pressure in the chamber after just using an igniter wihtout a motor? That should determine the effect of the ignition gasses, and may be cheaper than including either a large additional chamber or a condensing coil.
(Apologies if this suggestion has already been made, not had time to read all of the posts).
Wot no SACD player?
And here I was thinking 'digital transport' meant walking on tip-toe (tulips being optional).
I'll get my coat.
definitely not Apple Hiking gear
You omitted the excellent "iPood!" creatd by Sea to Summit, for those who act like bears in the woods and wish to be tidy afterwards.
Sadly a certain Mr Jobs objected claiming that fanbois might mistake an aluminium trowel with a retractable handle for an iPhone (or possibly the other way round) and it is now called the travel trowel. Though I did manage to acquire one under the original name (offers, anyone?)
Use a spring
The chute may become frozen in a closed position due to the cold, and the tether may become frozen to the rig, meaning that the whole thing would be in free fall for some time after the balloon bursts.
How about suspending the rig from the ballon by a spring which, when the balloon bursts contracts causing two electrical contacts to be brought together igniting the rocket motor? There would still be the issues of stopping premature ignition due to turbulence on the ascent and preventing the contacts and spring icing up of course, but these apply to all solutions.
Too much demarcation
Frequently the thing is designed then the security bods are told about it with the expectation that they will accept it or can just bolt security on afterwards.
It never works, and is much more expensive than getting security involved early on in the deisgn stage. "Sorry chaps, you can't do it that way" is a lot cheaper than "Sorry chaps, you can't do that."
When the rocket motor is activated it will reduce the weight of the balloon payload, causing the balloon to rise. As rockets tend to accelerate very slowly to start with, will the Vulture 2 craft acelerate quickly enough to escape the launch rail at all?
I suggest that instead of a launch rail, Vulture 2 is attached to the payload spar with slow-burning fuse, ignited by the rocket motor (with appropriately fire-proof connections to the craft). This will achieve separation of the components irrespective of relative acceleration.
Otherwise my guess is that the balloon will accelerate as quickly upwards ar Vulture 2 does, so you might as well attach the rocket motor to the payload spar and release Vulture 2 when it has ceased firing. Vulture 2 could then be a glider with better aerodynamics and less weight.
Surely you need to test the blast wall first with a controlled explosion? Stacks of unsecured hollow blocks are rather easy to push over. Which means you need another blast wall to hide behind while you test this one, which itself ought to be tested, ad infinitum ...
F.A.R.T. - Firewall Against Rocket Test.
(Because we all like farting around)
Surely there is also a public records interest in communicatiosn between ministers and their advisors?
In NAZI Germany, according to Chritabel Bielenberg's memoir "The Past is Myself", although in some of the referenda on anti-Jewish legislation the votes tallied by her husband were 99% against, the declared result was 99% in favour. So there is recent experience of subversion of a supposedly democratic vote.
We certainly need a voting system which inculdes both the voter being able to verify their vote, and the opportunity to hold an independent re-count. Although I understand the reluctance of people to accept electronic counting schemes because of their vulnerability to being hacked or even subverted by the manufacturers (see the el Reg archive on electronic voting), the fact is that paper ballots counted by people are often out by as much as 5%, and rarely produce the same tally for any option on a recount.
Another test you might like
My experience of reading paperback books on flights is that the paper tends to warp due to the slightly lower air pressure in the cabin compared to ground level. At 20,000' the low air pressure may be catastrophic to the PARIS craft. The next time you visit Qinetiq could you take it and test its ability to maintain structural integrity at altitude?
I would hate to think of all your detailed and dedicated engineering research effort and the enormous budget potentially going to waste.
- Batten down the hatches, Ubuntu 14.04 LTS due in TWO DAYS
- FOUR DAYS: That's how long it took to crack Galaxy S5 fingerscanner
- Did a date calculation bug just cost hard-up Co-op Bank £110m?
- Feast your PUNY eyes on highest resolution phone display EVER
- Wall St's DROOLING as Twitter GULPS DOWN analytics firm Gnip