nuncanada

7 ms·

31.
by nuncanada 13y ago
OpenSSL's code uses particularly bad MACRO's ifdefs that defeat static analyzer's capabilities to analyze the code...
32.
by nuncanada 13y ago
Yes, Depently Typed languages can. They are full blown theorem provers...
33.
by nuncanada 14y ago
Not at all, that study was not well conducted, it compared people just learning to program with people that already had experience, in a time when programming was much different from what it is today... Just go read the damn paper...
34.
by nuncanada 15y ago
Ohh modern economy... It's fun when Nobel prizes go for those that insist in doing what is clearly not working... And just some weeks ago, a notorious Japanese economist says in a interview they figured out how to deal with the stagnation..
35.
by nuncanada 15y ago
Actually there are many experiments showing it does... Yes, physics hasn't yet solved how that can work with Relativity, but if you are a scientist you should follow what experiments say, not what you believe.
36.
by nuncanada 16y ago
Just not possible... That's not fun. Let me just clarify a little bit. Traveling to the past is not possible. "Traveling" to the future is already known how to. At least some fiction make a coherent history for how time travel works, like P
37.
by nuncanada 17y ago
My spouse, being a scientist, watched one of his presentations and was astounded by the lack of real examples that would support Everett's world changing (in Linguistics) thesis. If he has made so much effort to try to convince others, why