paulajohnson

Tell me again about how we need to keep children off social media....

A formal specification language is a programming language that we don't know how to compile.

If we can use AI to automatically implement a formal spec, then that formal specification language has just become a programming language.

This reads like a case study from "The Innovator's Dilemma" by Clayton Christensen.

TL;DR: big incumbents (e.g. IBM) get out-innovated and replaced by scrappy startups even when the incumbent sees it coming and tries to react. The incumbent's business processes, sales metrics (NPII in this story), internal culture and established customer base make it impossible for an innovative product to succeed within the company.

The incumbent produces an innovative gadget. It may even be good, but its Sales Dept earn their quarterly bonus from the existing product line sold to the existing customers. They haven't got time to go chasing small orders of the new gadget from new customers who they don't have a relationship with, and the existing customers don't see the point of the new gadget. So orders for the gadget stagnate.

Across town is the small scrappy start-up making a similar gadget. It lives on those small orders and has a highly motivated sales person who chases those orders full time. So their orders grow, their product improves from the market feedback, and one day the new gadget is actually better than the incumbent's main product. At that point the incumbent goes out of business.

This has much the same design philosophy as the original Land Rover: tough, reliable, simple and maintainable. It was originally developed as the UK answer to the Jeep, but rapidly became the standard utility vehicle for anyone with an outdoor off road job. Especially farmers. Something like two thirds of all Land Rovers ever made are still in use.

This might well go the same way.

Gentrification doesn't reduce segregation, it just moves the boundaries of the segregated areas.

Poor people mostly rent because they can't afford or can't get a mortgage. When an area gentrifies those people are forced out because the rents rise, and wealthy people move in. If you just look at the income distribution in the area it looks like "the population" became wealthier, but if you look at the individuals you find that the old residents have been forced out, and generally wind up poorer because of this (social networks disrupted, work further away etc).

This is the Paradox of Tolerance. If you tolerate intolerance then intolerance wins, and you don't have tolerance any more.

Intolerance isn't just "causing offence", it is the creation of an environment which is threatening. If ou get enough veiled anonymous threats against your life, health and family then you might well withdraw from public life. And then, what value does "free speech" have for you?

But, you say, you aren't talking about threats, just about "offence". But offensive speech begets threats. If Mr Rabblerouse publicly calls Jenny Good out as a dangerous degenerate, some of his followers will, quite predictably, follow his lead and start to make actual threats. Some might go further and carry out those threats. Even if they do not, Ms Good is going to have a perfectly reasonable fear that they might.

You say that Mr Rabblerouse is merely stating a legitmate opinion, that he has a right to be offensive, and that the Ms Good is equally free to say unpleasant things about him. But that is just deliberately ignoring the power inequality. Ms Good has no mob who will take the hint to hate on Mr Rabblerouse, no power to put him in fear. But he does have the power to do it to her, on a whim, answerable to nobody. And when people see that, and see how easily he can put Ms Good in fear and misery, they will think twice about their own speech.

And this is the point. Hate speech is not merely unpleasant and worthless, it actively suppresses the speech of other people. US jurisprudence makes much of "chilling effects" of government action on speech, and with good reason. But it is not just the government that can chill speech. Mr Rabblerouse can chill the speech of others against himself very effectively. So the only way to ensure freedom of speech, paradoxically, is to ban speech that incites hatred.

I think the parent comment is about the likelihood of recovering enough money to make the exercise worthwhile, rather than the propriety of getting ripped off.

Yet another reason why not to be a sharecropper.

The 10 LOC/day includes the entire project, including analysis, requirements, design, documentation (user and tech), test, management etc, in a large project. Saying (as many do) that an individual programmer has produced hundreds of LOC per day is to miss the point.

You have to start by defining your terms of reference and make sure you are comparing like with like.

If you are ever in Stockholm do go and see the Vasa. The picture does not do it justice. Seriously amazing.

Taking care of the elderly is a labour intensive business. Automation doesn't clean an old person's glasses (real life example), make their bed or cook their meals.

And what happens when your consultant bills you for a big but vaguely described fee?

In Roe vs Wade the Supreme Court found a right to privacy. The fact that this is not in the Bill of Rights is irrelevant, as per the Ninth Amendment.

Makes Kim Yong Un look like a minor nuisance.

The point is that option types let you explicitly state which values are nullable, but null references mean that every value is potentially null even if it doesn't make sense.