"Surface Phone". Anodized aluminium. Runs something like Windows 10 S Mobile (pretty much like windows RT, runs on ARM). Has a dock for "full PC experience" (no x86). Costs more than iPhone
It is only possible to prove the correctness of programs that are purely functional. Today's software is not written like that. Besides, it is easy to blame the programmers on not getting it right the first time. That's like blaming the first steam engines on not being as effective as the latest steam turbines.
There is heavy pressure on getting to market fast. Oh boy if I had the time to perfect every line of code I wrote. I would write the best code.
Estonian ID card / mobile identification works pretty well. Any service can do an API call to the national system, which authenticates the user and sends back first+last name and social security number. The ID cards are smart cards. Most people have smart card readers (€10 a piece), or the mobile identification thing (special SIM card with certificates, asks for your PIN number upon authentication). Log in to any state institution website or any supporting 3rd party website. Banks, telecom companies to pay bills etc.. Most buy/sell forums demand ID card identification to avoid fraud.
So i'm thinking the Germans are doing something similar
Well we're using CRISPR to do all this genetic hacking, and updating the CRISPR method all the time as well. You know CRISPR? The method viruses use to insert genes into the DNA of other cells
Slashdot Mirror
You would need to examine the docking parts
"Surface Phone". Anodized aluminium. Runs something like Windows 10 S Mobile (pretty much like windows RT, runs on ARM). Has a dock for "full PC experience" (no x86). Costs more than iPhone
It is only possible to prove the correctness of programs that are purely functional. Today's software is not written like that. Besides, it is easy to blame the programmers on not getting it right the first time. That's like blaming the first steam engines on not being as effective as the latest steam turbines. There is heavy pressure on getting to market fast. Oh boy if I had the time to perfect every line of code I wrote. I would write the best code.
Or they put you in a position where you have no choice.. "Take our $10 million or we'll fight you forever"
Estonian ID card / mobile identification works pretty well. Any service can do an API call to the national system, which authenticates the user and sends back first+last name and social security number. The ID cards are smart cards. Most people have smart card readers (€10 a piece), or the mobile identification thing (special SIM card with certificates, asks for your PIN number upon authentication). Log in to any state institution website or any supporting 3rd party website. Banks, telecom companies to pay bills etc.. Most buy/sell forums demand ID card identification to avoid fraud. So i'm thinking the Germans are doing something similar
Same story on Engadget: "IBM built an atomic hard drive! It's 100,000 times more efficient than the state-of-the-art."
Well we're using CRISPR to do all this genetic hacking, and updating the CRISPR method all the time as well. You know CRISPR? The method viruses use to insert genes into the DNA of other cells