C++ IDEs have also gotten much better, as well. In Visual Studio these days, you can hover over an identifier, and it'll tell you its actual type, regardless of how many levels of auto there are between it and the actual named type. And it works reliably on anything that is valid C++, no matter the complexity.

Please show me the gun that's being used.

This delusional refusal to acknowledge that anything but outright violence could ever be coercive is the acid that's quickly dissolving whatever credibility capitalism still has left and exposing the grinning skull of feudalism beneath the mask of prosperity. I wonder what economic system will replace it, once people finally get tired of having structural flaws treated as unchangeable laws of nature or blamed on their victim's personal weaknesses?

The current climate is just like that which preceded the collapse of the Soviet Union: the prevailing myths are so much out of sync with reality people are running out of willing suspension of disbelief and losing their faith. No one believes anymore that hard work will be repaid with anything but layoffs, or that business success comes with a superior product rather than gaming the system, or that the rules are the same for everyone. The system has already lost its beating heart of credible mythology that can organize behaviour, it's just a matter of time before the necrosis of anarchy spreads everywhere.

I have to disagree. If you do business with the government, you lose some of the privacy that you would have in a private transaction. Secrecy in government is just too tempting to abuse.

Did I miss the part where the human race had a miraculous breakthrough in fusion technology?

Does it matter? Fusion is still nuclear power, so even if we had a working reactor right now we couldn't use it.

You do realize that settlements are basically private contracts right?

There is no such thing as a "private contract". A contract, by nature, is an agreement that the state will enforce. State actions are not private. If two people make an agreement and will never disclose that agreement to anyone else under any circumstances, then a court will never see it, and it is in no meaningful way a contract.

Of course that only goes double when one of the parties is a government agency. Nothing a government agency does is private.

In fact, B had it as early as 1969, and it was 100% correct even on arbitrarily complex programs!

(It always inferred type "machine word", which was the only one that the language had.)

If you really can't live without it, there's always libgc.

Polymorphic lambdas (which were added in C++14, in fact) don't require dynamic typing. They only require the ability to use template parameters for lambda arguments. In case of polymorphic lambdas, this is implicit (i.e. basically you can elide the type of the function parameter, and it will become a template parameter on the operator() for the type generated for that lambda).

Thing is, in most cases the human doesn't particularly care about the types involved. Provided that variables are named descriptively, I can look at a piece of code and figure out what it does, without having to determine whether "files" is a vector, a list or a deque, and whether the elements are raw, shared or unique pointers.

Every lambda is of its own unique type. Even if you have two lambdas with the same capture-list and parameters, they're still of different types.

It's a crying shame that C and C++ still haven't added safe arithmetic as part of the standard library (or in case of C, maybe even as part of the language, for the lack of operator overloading). Back when I first saw "checked" in C#, I wondered what this was supposed to be about, but I have since learned the wisdom of having it in the language.

This is not entirely true - they have added a bunch of C11 features in VS 2013.

VC++2013 added a bunch more stuff from C99, aside from the library. On the language side, it's mixing declarations with code (C89 mode was strict and would bark at any variable not at the beginning of the function), _Bool, compound literals, and designated initializers.

The main things still missing are "restrict", _Complex and VLAs. However, the official target is now C11 rather than C99, and C11 made VLAs an optional feature of the language, because of lackluster support and use.

To avoid arguments. If the cops say 11 km/h over an artificially 10 km/h low limit then you weren't speeding just a little, if they said 1 km/h over the limit people go all "waaaaaaa it was only 1 km/h" and "waaaaaaaa your equipment must be off I went 1km/h under". "I wasn't speeding that much" holds a lot less sway than "I wasn't speeding".

Actually feminism is about equality for men and women.

Okay. So naturally feminists are working hard to set up those shelters for men who suffer from domestic abuse which you confirmed are currently missing?

The thing is, you can claim you are about equality, and even believe so from the bottom of your heart, but if you only ever adress inequalities that go one way, you aren't. You're a lobbyist promoting special interests, perhaps fair-mindledly, but a lobbyist still.