165 karma · joined September 27, 2013
http://journals.plos.org/plosone/article/asset?id=10.1371/jo...
Stop thinking about outer space when we are in the middle of an anthropogenic mass extinction here on planet Earth.
Also, Haskell's ecosystem and tooling is still crappy, probably because writing complex programs in Haskell needlessly difficult (due to laziness and immutability).
And the "type-safety" guarantees are a red herring. They are not that useful in practice.
Economics is not even remotely similar to physics in any respect.
I'm pretty sure that climatologists are acutely aware of the nature of the climate.
> But have we definitely teased out our effect on the temperatures from what the earth is doing on its own anyway? I'm still skeptical. Who knows, maybe there's a pattern in the earth's cosmic orbit that accounts for 99% of the warming. Or maybe it's only 1% and we're the 99% cause and Al Gore was right. But until I see this definitive proof, I have to stay skeptical.
According to the IPCC AR 5 (which I'm sure a well-informed skeptic such as yourself have perused), there is a 95-100% probability that greenhouse gas emissions resulting from human activity are responsible for at least half of the warming observed from 1950-2010. Are you not satisfied with this certainty level?
(This is why I love C. No other practical language can claim to be able to implement a full-fledged GC as a library.)
I hope your reductionist explanation is not accurate because it would imply that we are already so highly conditioned to machines and to AI that this match is thought to be no different from a match between two humans.