|
With modern programming languages and proof technology, developers can make use of formal methods at various levels, ranging from enforcement of safe language features to proof of compliance with formally specified requirements. "Proof denies faith, and without faith, I am nothing"
|
|
|
|
|
First you have to prove to me that the proof "technologies" work.
Second, you have to prove to me that your proof is correct. Given that (last time I checked) proofs only really work with functional programming languages, and you have to use CoQ to write the proofs, and it's so arcane...
tl;dr - who tests the testers?
Latest Article - Contextual Data Explorer
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
Marc Clifton wrote: tl;dr - who tests the testers?
The developer. Final proof on paper with a pencil, validated by a coworker.
..and it's no reason to delay the deadline ofcourse 
Bastard Programmer from Hell 
If you can't read my code, try converting it here[^]
"If you just follow the bacon Eddy, wherever it leads you, then you won't have to think about politics." -- Some Bell.
|
|
|
|
|
Except "proving" software works ultimately fails because it assumes that the conditions of the proof are constrained. Further, even if it operates properly within the constraints, it doesn't establish that the design is valid or usable.
Unfortunately, far too much automated testing essentially takes this approach and fails to test paths which may cause failure. For example, if the specification states that the user shall enter upper case letters, what happens when they don't? Or what if they enter Cyrillic upper-case letters?
|
|
|
|
|
Google is working on blockchain-related technology to support its cloud business and head off competition from emerging startups that use the heavily-hyped technology to operate online in new ways, according to people familiar with the situation. "If all the other kids jumped off a bridge, would you do it too?"
|
|
|
|
|
Google is working on....everything!!!
Latest Article - Contextual Data Explorer
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
If you're bucking for a new job that requires cloud security skills, here are the five technical certifications most likely to get you noticed, along with a bunch more money. "No one knows the lonely one whose head's in the clouds "
|
|
|
|
|
For one brief shining moment, Yahoo was the king of all it surveyed. To some (small) value of glory
|
|
|
|
|
I predict Facebook is next. Not because of the recent data gossip, but because trendy things tend to rise fast and fall even faster; especially with young people.
The article says that that Alibaba is a 160 billion dollar company; in fact it is currently a 500 billion dollar company. And Yahoo owned 16% of it before the merger with AOL, leaving the 1 billion dollar Alibaba investment worth 75 billion to current shareholders. One of few things they did well.
|
|
|
|
|
Do developers have an adequate understanding of the ethical considerations of their work? "Grub first, then ethics"
|
|
|
|
|
Team Foundation Version Control (TFVC) users looking for a lightweight version control experience integrated into Windows File Explorer will be happy to see the latest release of the TFVC Windows Shell Extension. For those missing TortoiseSVN
|
|
|
|
|
These different styles have different design preferences. Tools on the engineering side tend to be more careful in their design, which often makes them somewhat less “innovative.” Tools on the wizarding side tends to emphasize terseness. I just don't look good in one of those pointy hats with stars on them
|
|
|
|
|
It's betting that more ads next to music videos will get you to subscribe. Frustrating people until they pay you to go away? My new business model!
Send cheque or money order to...
|
|
|
|
|
Backdoor allows attacker to recover private keys stored on Ledger hardware wallets. Mental note: get 15-year old to test software in future
|
|
|
|
|
At least it wasn't a 14 year old, that would have been embarrassing. I can't even find the hidden doors in Mario games, my hats off to this 15 year old.
|
|
|
|
|
Twitter and Square CEO Jack Dorsey apparently has big visions for bitcoin, commenting in a recent interview with The Times that he believes that the cryptocurrency will become the world’s single currency within 10 years. Demonstrating that Twitter wasn't his only bad idea
|
|
|
|
|
|
Yeah, that's going to be an interesting hurdle for them to try to fix.
People ruin everything, don't they? 
TTFN - Kent
|
|
|
|
|
Kent Sharkey wrote: People ruin everything, don't they?
In a former life when I was in IT my motto was "The network would be perfect if not for the users."
|
|
|
|
|
|
I wouldn't worry about the blockchain size. When it gets too big to be truly distributed then we'll just have a few nodes instead managed by bigger firms. If it gets bigger still then each country will have a single node to manage the transactions. When it's centralised like that and in a single place it's easier to manage. When it gets bigger still Google will probably just look after the whole thing, and you'll just need to hope that anything you want to buy on-line aligns with their left-wing liberal politics or else the transaction will be denied due to unacceptable user policies.
Yep, it's the future.
|
|
|
|
|
Dorsey is a smart guy, which makes his assertion baffling. He did say that BitCoin would need modifications for his vision to be realized, but then it wouldn't be BitCoin.
|
|
|
|
|
Apparently selfies are popular.
With the common meme of selfie hating I guess that both selfies and selfie haters are common.
I don't care either way, but what tickle my curiosity the most is selfie haters.
Why the hate? Whey even care?
Please, enlighten me! 
[EDIT] Oh sh*t, did I really post that in "insider news"?! My bad, very sorry! 
I would have sworn I posted that in the Lounge!
modified 21-Mar-18 19:19pm.
|
|
|
|
|
Not sure this makes for Insider news, but I'm a selfie-hater when said selfie interrupts what I'm doing. Case in point, went to a concert a few weeks ago, the people directly in front for me were taking selfies one after the other, the flash was freaking blinding. After a while I took to flipping the bird during said selfies as I was in most of the pictures. Within three or four pictures they gave up, resulting in a round of applause from the folks behind me. If you are not bothering me however, take as many as you want.
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
