|
No dessert true, but at least he won't be lonely.
"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
|
|
|
|
|
Kent Sharkey wrote: Someone's going to bed without dessert tonight.
I was under the impression that in prison, time, rather dessert, was served.
Freedom is the freedom to say that two plus two make four. If that is granted, all else follows.
-- 6079 Smith W.
|
|
|
|
|
"I was protesting!" The hacker screams.
"Oh," say the authorities. "Why didn't you say so earlier. You can go."
|
|
|
|
|
Read Steve Jobs’ emails about why you can’t buy digital books in Amazon’s apps
In another conversation from April 2010, former Facebook employee Joe Hewitt, who built the first versions of the Facebook iOS app, complained about changes to the iOS 4.0 developer agreement to Apple developer relations lead Ron Okamoto and with the press. Okamoto shared an update on the situation with Jobs, Schiller, and former software head Scott Forstall.
Jobs replied: "I’d suggest we just cut Joe off from now on."
Caveat Emptor.
"Progress doesn't come from early risers – progress is made by lazy men looking for easier ways to do things." Lazarus Long
|
|
|
|
|
Summarized; "We are a monopoly, dammit, start acting like one!"
|
|
|
|
|
Competition for tech jobs is up and workers could lose bargaining power. What if we wore masks?
|
|
|
|
|
Kent Sharkey wrote: What if we wore masks? Your hand doesn't count as a face mask
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
|
Parno and a team of researchers recently published a new coding language and tool for high-performance concurrent programs that ensures that programs are provably-correct—that is, that the code is mathematically proven to compute correctly. As opposed to just computing as written
|
|
|
|
|
Right. That's been around for over 20 years.
"Coq is an interactive theorem prover first released in 1989... It allows for the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. ...When viewed as a programming language, Coq implements a dependently typed functional programming language;..."
Coq - Wikipedia[^]
|
|
|
|
|
A slow burn to perfection then?
TTFN - Kent
|
|
|
|
|
Parno... Coq...
Are they trying to make you break the KSS rules in the insider news?
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
private void main() {
Debug.Print(generateWinningLotteryNumbers());
}
private string generateWinningLotteryNumbers() {
return "1,2,3,4,5,6";
}
Now, go do your stuff, compiler!
|
|
|
|
|
Cornell Tech researchers identified a problem that holds the key to whether all encryption can be broken—as well as a surprising connection to a mathematical concept that aims to define and measure randomness. Roll D20 for security (and initiative)
|
|
|
|
|
Under the premise that there is nothing 100% random in the digital world... then we are screwed about security
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
Not due until March 2021, next Java upgrade kicks off with support for C++ 14 language features in JDK source code and HotSpot VM "And I do anything for my sweet sixteen"
|
|
|
|
|
|
Funny that the big leap forward is to use C++ features that have been around for, does advanced math, six years!
|
|
|
|
|
A Microsoft engineer is proposing the Trampoline File Descriptor "TRAMPFD" as a new kernel API for securely dealing with trampoline code on systems. ...aaaaand I need a new irony meter again
|
|
|
|
|
Kent Sharkey wrote: ...aaaaand I need a new irony meter again Not only that... I need a new vocabulary as well as I don't recognise many of the new bullsh1t bingo fuzzwords
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
what in the world is a Microsoft engineer doing fiddling with linux....
Caveat Emptor.
"Progress doesn't come from early risers – progress is made by lazy men looking for easier ways to do things." Lazarus Long
|
|
|
|
|
New landing page is for Windows developers using Node.js, React, Java, Kotlin, Python, Xamarin, and Android Studio. Who are you, and what did you do with my Microsoft?
|
|
|
|
|
And one wannabe mixed OS to rule them all or at least try it and bind them to the darkness...
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
"
Microsoft will only be accepting developer-related performance issues on Windows
"
I see no evidence that they are going to fix any of the many actual bugs.
|
|
|
|
|
The .NET Productivity team (a.k.a. Roslyn) is constantly thinking of new ways to make .NET developers more productive. "Every day, in every way, I'm getting better and better"
|
|
|
|