they should turn it into a platform for electronic payments between people, a Facebook electronic currency. you prepay an amount to Facebook, then you can transfer money between facebook accounts using NFC or barcode scanning.
Singularity (or better, sing#) formally describes the communication between subsystems. At the code level there are still "black boxes" of code that are not specified or verified.
only if you want to prove it automatically. this proof is constructed by hand, with some automatical steps in between, and then *verified* automatically. to manage the complexity of the proof, the proof is done in a more abstract formal specification language , then refined two times (haskel, C) . the correctness of the refinements are formally proven by the Isabelle system.
you dont have to "get around Godel's Incompleteness Theorem". (from wikipedia:): "Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory". it says "a statement" not "every statement". So, you can make formal theories where a lot of statements are provable, including a large class of computer programs.
If you are not a professional mathematician, I doubt they will even read your proof. For the milennium problems this is even a policy, it is a way to filter out most of the garbage.
the company secretly brought 1,800 marketing and sales people to San Francisco Sure, if you want to keep a secret, invite 1,800 marketing and sales people!
If you like steampunk and Da Vinci, you shoud read
Pasquale's angel. The book also features Machiavelli (as a tabloid journalist with a drinking problem) and Raphael.
some time ago I visited a belgian archeological site that was probably 2500 years old. The guide told us that no telephone cables where found during the dig-up. why? Because the old belgians had MOBILE that's why!!
if you replace the brain it would not be the same mouse anymore, except if you can transfer the brain pattern which make up the mouse's unique behaviour (identity?). Would you go for a "brain pattern transplant" where your brain structure is rebuild in another brain? It would be a perfect mimic of you, but it wouldn't be you.
Slashdot Mirror
is someone who assembles smartphones in a sweatshop a tech worker? How about someone who works in a cobalt mine?
they should turn it into a platform for electronic payments between people, a Facebook electronic currency. you prepay an amount to Facebook, then you can transfer money between facebook accounts using NFC or barcode scanning.
Singularity (or better, sing#) formally describes the communication between subsystems. At the code level there are still "black boxes" of code that are not specified or verified.
only if you want to prove it automatically. this proof is constructed by hand, with some automatical steps in between, and then *verified* automatically. to manage the complexity of the proof, the proof is done in a more abstract formal specification language , then refined two times (haskel, C) . the correctness of the refinements are formally proven by the Isabelle system.
you dont have to "get around Godel's Incompleteness Theorem". (from wikipedia:): "Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory". it says "a statement" not "every statement". So, you can make formal theories where a lot of statements are provable, including a large class of computer programs.
not white on a blue, I have a panic attack every time I see this combination because I always think I got a BSOD.
Dave Clarke is my GOD!
those poor bastards in Guantanamo sure are
If you are not a professional mathematician, I doubt they will even read your proof. For the milennium problems this is even a policy, it is a way to filter out most of the garbage.
JPod is great. Every programmer should read it.
Genius! Everyone knows pirates are afraid of water!
wasn't halloween last week?
Link pimping day!! My dailies are sinfest and suburbantribe
I'll bet Al Gore will claim it's his sun!
the company secretly brought 1,800 marketing and sales people to San Francisco
Sure, if you want to keep a secret, invite 1,800 marketing and sales people!
I notice you wink a lot. Is there something in your eye?
If you like steampunk and Da Vinci, you shoud read Pasquale's angel. The book also features Machiavelli (as a tabloid journalist with a drinking problem) and Raphael.
like in "gimme the money". They went IPO, remember?
Massive Multiplayer Real Live Role playing Game!!
You could bring Leisure Suit Larry to the streets. Imagine walking around in London and getting "item" notes that can trigger access to "door" notes.
what I read first was: "SCO Promises Open Source Solaris"
Totally agree. Pascal is *the* language to learn programming.
But why do they need the grad student? Oh, I get it, there were no monkeys available.
only if there's a restaurant, it really is at the end of the universe.
some time ago I visited a belgian archeological site that was probably 2500 years old. The guide told us that no telephone cables where found during the dig-up. why? Because the old belgians had MOBILE that's why!!
if you replace the brain it would not be the same mouse anymore, except if you can transfer the brain pattern which make up the mouse's unique behaviour (identity?). Would you go for a "brain pattern transplant" where your brain structure is rebuild in another brain? It would be a perfect mimic of you, but it wouldn't be you.