Any thoughts on the thickness of the shells of mussels in response to the presence of crabs?
Re:The Well of Uncomfortable Truths
on
Coders At Work
·
· Score: 1
And your statements about reliability? In what sense can a logic circuit be "guaranteed" free of defects? Did Intel know about this method of quality assurance back when they were designing the Pentium? It seems to me that simple logic circuits can be guaranteed free of defects because the human mind can readily model the whole system and intuitively decide it is correct. When the system is complex, that is no longer true.
There is some progress being made towards "guaranteeing" the correctness of circuits, such as:
So, there is no such thing as a standard that exactly describes in every way every scenario and how to handle it because any theory capable of expressing arithmetic cannot be both consistent and complete? Or, because any recursively enumerable theory which includes basic arithmetic truths and certain truths about provability includes a statement about its own consistency if and only if it is inconsistent?
Perhaps, but isn't multimode fibre used over short distances, such as less than a few kilometres? Surely using fibre to connect devices which are all in the same room wouldn't use singlemode fibre anyway?
The connectors for multimode fibre are cheap and easy to connect to the fibre - I've managed to do a few myself, which are still in use.
Microsoft does not need to get nervous. When Windows 2000 reaches End-of-Life status and there are no more security updates for it, the company that you work for will probably feel compelled to upgrade to another operating system that is still supported.
Well, according to the kidspotter website it's also used to track your visitors' locations. However, it isn't too difficult to work out that your visitors would be in the themepark anyway.
Take it to an Epson Express service centre, if the printer is under warranty, then they'll repair it for free. If they can't repair it within a reasonable time, they'll give you a replacement.
Didn't Sun try running solaris on a toaster as an example of its Jini technology. They plugged the toaster into a network with a fridge and then all the Jini enabled devices saw the toaster on the network. I can't remember why they thought this was useful though.
Slashdot Mirror
Any thoughts on the thickness of the shells of mussels in response to the presence of crabs?
And your statements about reliability? In what sense can a logic circuit be "guaranteed" free of defects? Did Intel know about this method of quality assurance back when they were designing the Pentium? It seems to me that simple logic circuits can be guaranteed free of defects because the human mind can readily model the whole system and intuitively decide it is correct. When the system is complex, that is no longer true.
There is some progress being made towards "guaranteeing" the correctness of circuits, such as:
this. Centaur Technologies (VIA) uses theorem proving tools to guarantee the correctness of parts of the VIA Nano processor. I'm sure with a little digging more references to this sort of thing can be found.
Intel appears to be actively working in the area of formal verification also, e.g. this - although this doesn't directly deal with low level circuits.
So, it is possible to guarantee some correctness, although I suspect it rests on the correctness of the theorem prover you're using also.
Probably not for as long as Windows...
It's true that I didn't even get an idea of why it is true because of Godel Incompleteness. Can you explain a little more please?
So, there is no such thing as a standard that exactly describes in every way every scenario and how to handle it because any theory capable of expressing arithmetic cannot be both consistent and complete? Or, because any recursively enumerable theory which includes basic arithmetic truths and certain truths about provability includes a statement about its own consistency if and only if it is inconsistent?
Excuse me for being thick, but could someone explain this joke?
> So, is a baker PieFi? A politician LieFi? Someone, please, stop the madness. :-P
You're nearly there - try Pi-Fi and Li-Fi instead, just to make sure it is completely unclear what the meaning may be.
Perhaps, but isn't multimode fibre used over short distances, such as less than a few kilometres? Surely using fibre to connect devices which are all in the same room wouldn't use singlemode fibre anyway?
The connectors for multimode fibre are cheap and easy to connect to the fibre - I've managed to do a few myself, which are still in use.
Make sure you pick the right woman too... Or this might happen!
Quite possibly because it can store any type of media on it, as opposed to only being able to store just one type?
Have you met my wife?
;-)
On numerous occasions
Are you talking about Boston, UK, or Boston, US?
Microsoft does not need to get nervous. When Windows 2000 reaches End-of-Life status and there are no more security updates for it, the company that you work for will probably feel compelled to upgrade to another operating system that is still supported.
I don't think pressing the tab key actually yields a can of tab though... haven't tried it in a while but I'm pretty sure that's the way it is still.
Well, according to the kidspotter website it's also used to track your visitors' locations. However, it isn't too difficult to work out that your visitors would be in the themepark anyway.
Quick, put Don's tinfoil hat on!
unless his name has a silent "p" as well. then you have 32 combinations.
Microsoft usually does fix problems within 3 or 4 years, doesn't it?
"The only reason why the US didn't begins with 'W'."
Dubya?
Take it to an Epson Express service centre, if the printer is under warranty, then they'll repair it for free. If they can't repair it within a reasonable time, they'll give you a replacement.
In telemarketing, the caller is the employee, so firing the caller would make more sense than firing the called party.
Today is the day I realised that I'm a dork :-(
If you really wanted to make Google look inferior, you should have searched for "candle trucks" instead of just plain "trucks" :-)
Didn't Sun try running solaris on a toaster as an example of its Jini technology. They plugged the toaster into a network with a fridge and then all the Jini enabled devices saw the toaster on the network. I can't remember why they thought this was useful though.
I wonder if fortune 1000 companies will now be taking Solaris in knowing that they don't have to pay up, ever?
Wouldnt just connecting +5V and ground do some motherboard damage?