bmh_ca's comments

Note Google Spanner.

For further reading on this, look to articles about how the Phillips Curve (the theoretical link between inflation and underemployment) is broken (if it ever worked).

e.g. http://www.cbc.ca/news/business/inflation-canada-outlook-1.4...

There is definitely a value for this.

A useful integration for some would be using the hardware security/key modules in Amazon, Google, Microsoft, etc.

Not exactly on point, but I found this to be an excellent read & comfort:

https://macdaddy.io/apfs-backup-software-developers-perspect...

Aside: In your opinion what are good issue trackers and code review tools?

I didn't see knockout.js - might be worth adding (speaking as a maintainer )

Justin – I reached out a couple times but had not heard back.

I'm an international lawyer and savvy developer (currently maintaining knockout.js) and have had a lean/quiet startup for several years now in the legal-augmentation tech space.

We're in the process of partnering with the world's largest law firms.

Feel free to drop me a line - brianmhunt at gmail.com

> There is only one infinity.

Fractions are countable. Real numbers are not.

In other words, fractions, integers, positive integers all belong to the set of countable infinities, meaning there is an isomorphic function that bidirectionally maps each positive integer (the count) to every item in the target, countable infinity.

There is no isomorphism between real numbers and any countable set. If you create one before you are 40, you will get a Field Medal.

The isomorphism and the distinction between sets that have them and sets that do not has proven useful.

You could think of infinity as one concept, but it is usefully divided into countable and uncountable versions.

I second this. I meander back and forth between Sublime and Atom, for exactly this reason - Sublime is faster, but Atom has done some key things better (e.g. package management).

App Engine / US Central + East working fine.

I summarized the information I have read on this topic in an answer on Skeptics.SO:

https://skeptics.stackexchange.com/a/31144/1792

To quote a much more authoritative Europhysics article that subsequently came out (and which I since put at the head of my answer):

> ... The NIST reports, which attempted to support that unlikely conclusion [that a steel frame building collapsed from a fire], fail to persuade a growing number of architects, engineers, and scientists. Instead, the evidence points overwhelmingly to the conclusion that all three buildings were destroyed by controlled demolition. ...

> It's disingenuous to use "pollution" ambiguously to push a narrative.

That's something that should be taken up with the dozens of reputable newspapers from whom I have drawn that information (e.g. the Guardian, quoted above).

> The shipping industry ... isn't _that_ significant when it comes to climate change. In terms of sulphur based pollutants it's pretty horrifying, though.

Thanks, that certainly clarifies.

I take it you believe the Guardian is wrong / misleading / imprecise here? (as are a dozen or so more recent articles)

- https://www.theguardian.com/environment/2009/apr/09/shipping...

> One giant container ship can emit almost the same amount of cancer and asthma-causing chemicals as 50m cars, study finds

> Confidential data from maritime industry insiders based on engine size and the quality of fuel typically used by ships and cars shows that just 15 of the world's biggest ships may now emit as much pollution as all the world's 760m cars.

The top seven or so shipping ships produce more air pollution than all the worlds cars combined ...

So one could say yes to your question, depending on what you call "major".

Some regard those as symptomatic of other problems or strongly correlate with other issues e.g. lack of restraint, cultural entitlement, issues with inhibition, poor math skills, societal definition and acceptance of "infidelity", addictions.

Infidelity and money issues are reasons for divorce in the same way that clouds are the reason it rains.

I feel a more valuable explanation would go deeper - into the underlying system that creates the result. In the case of rain, we call it the weather cycle.

Rapid expansion of credit strongly correlates with insolvency.

There's an excellent paper by Gudrun Johnson back when she worked at the IMF that captures it in the sovereign insolvency context.

> I doubt that.

Let me clarify: Nobody appeared to be interested in funding a graduate student to prove P != NP.

> This implies P not equal NP

I did some graduate level research on P =? NP, specifically in the SAT space <https://en.wikipedia.org/wiki/Satisfiability>.

In particular, I helped design MARMOSET (Marmoset Automated Reasoner Mostly Only Solves Easy Theorems), a competitive SAT problem solver. <http://www.cs.unb.ca/research-groups/argroup/marmoset/> . (It's a cool name... I didn't come up with it :))

The conclusion I drew was:

1. P != NP because you can convert in polynomial time every SAT problem down to Horn clauses, which are P to solve, plus non-Horn clauses that cannot be converted i.e. have intractable intrinsic NP complexity whose reduction to the polynomial space requires "clairvoyance" of the quantum computation variety.

2. Nobody's really interested in a proof that P != NP.

That said, I only spent a couple years at it, and my memory may be faulty and I might change my mind if I revisited the issue. Part of me has always felt that the Horn clause reduction is a first step to isolating problems for a next step, but again — it's been a long time.

You may be right, and GM's revenue remains massive so it's a fraction of revenue.

The only area of concern is the growth presumptions in the pension fund. They are often around 7.5%, whereas real growth was 0.5%, putting a potential damper on the profit line (but I do not know that relative magnitude of that).