tobylane

I think people are trying to correct the existing picture (ie the current popular history is good, too clean) by adding the bad for a truthful version with positives and negatives. It's one of those "we're arguing, but actually we're both right" situations.

I'm not sure I understand. Are you saying that (if it applies here) people don't like talking about the pre-European origins of flaws in economics? Or is there a better example in another area?

CompCert doesn’t guarantee these two functions will work. Thanks, didn’t know about that project.

That’s not what to take away from the Westminster system. They famously used the term ‘tired and emotional’ to mean drunk but that’s banned now too. Yesterday at prime ministers questions Johnson used terms like Captain Hindsight, which many believe should have been dealt with at the time by the Speaker. One who says these rude words by a very low bar is the focus of attention for a minute as the Speaker tells them off and the obligatory apology happens. If you could implement all that I’d have a look in. Maybe you were thinking of parliamentary privilege? They can say things in debate that are banned outside for being trade or some state secrets, like the existence of the BT tower.

I’m surprised to hear that, because my understanding is that all the major broadcasters have a blanket licence to play all music (from major record labels). They can just stick a top 40 hit in the background of a soap without planning for it. Maybe that doesn’t apply to something as primary as the shows theme song.

Are they allowed to work together, eg they could vote to join some kind of union, maybe it’s just limited to free trade at first but slowly and with popular support gains powers from the sovereign governments?

I don’t think city states will last long. Is there a name for this political opinion? What happens when governing a city state becomes too complex, as you might say it already is for LA or NYC?

That could be analysed. What’s the average length of clip of Trump/WH talking on the various news networks and total per hour on the subject. It’s measuring the quantitative part.

What if I’m enthusiastically against censorship and enthusiastically for deplatforming in cases like Trump? Which makes me strongly dislike the news in the post.

Then it’s a sign that they haven’t open sourced their extension, which is a red flag. Minification may be acceptable though pointless.

I believe there’s a very narrow link between the specific thing you practise in the game and any real life use of that. Nearly every game is gamified too much to be useful in this way. The n-back games may be an exception.

Targeted ads are harder to tune out. I'd rather spend minimal effort on discarding those parts of the screen.

I think the greater harm done is in the information collected for it to be called personalised. Once it's accurately personalised and you're willing to consider buying something, then ads could be more justifiable. That's the path of excessive consumption.

What are you referring to?

Confidence to spend not hoard. Traditionally that’s just private money, but Keynesian and modern monetary theory extend it to public money too. Possibly over simplified.

Not quite. The stockpiles may be huge but the time they will last is still fairly short, something like twice the just-in-time schedule they had before. Not taking into account the extra needs of Christmas. We don’t know how long it’ll take to remake the slower import streams.

Two parts of this I feel need stressing.

> The trade agreement – running to 2,000 pages – ... a week before the end of the Brexit transition period.

2020 was supposed to be the transition period. We've been told by the government for the last few months that we need to prepare, but for what future circumstances would we have worked on before today? There is technically one work hour left before Tuesday.

Three days ago he said it would be inhumane to cancel Christmas. Today he said the data from the last 72 hours forced a change.

Johnson is an oaf, but covid has kept him fairly serious. His waffling bumbling act was dropped.

For Apples previous transition, 32bit to 64bit Intel, there were seamless universal apps made with the lipo tool, or Xcode config. It sounds like the same is still possible with an intel+arm binary.

Microsoft have considered their arm desktops as less serious than the others? If this new arm chip is meant to be an intel challenger that lower status must end. Universal binaries solve that too.

Hold on, that ending was a surprise. Rolling back most of the war on drugs and focusing it just on the sellers of class a drugs (once classification is corrected) is a fair summary of what most of the rest of the first world is heading towards. It’s the balanced option.

I was thinking of this, a year earlier. https://www.legislation.gov.uk/ukpga/2018/12/part/1/enacted

EU directives such as GDPR come into power by being localised and enacted, ie made into UK law. The data protection act 2018 will cover us up until it’s reversed, which is what some of us fear.

Why doesn't poisoning count?

There was a Homeland plot point about hacking a pacemaker, which I believe was based on fears about Cheney's pacemaker (or continious flow device). What we recognise as a hit job is too overt and we've likely missed the covert reality.

Another way it might have passed us by if it was in a western country but not a western victim, eg Israel kills an Arab leader at a convention.

Possibly this from Vicar of Dibley https://www.youtube.com/watch?v=8yXYAK757Oc

I think all three of them have owned electric cars for a while. They’re all futuristic in some way.

They frequently ping home for those vital security updates, see @internetofshit.

AWS’s outage taught us Roombas download the floor plan at the start of every cleaning session.

The main burden of proof would be how was something from likely so far away detected. Peer reviewed submissions in key journals is the usual standard for accepting something we aren't qualified to understand. That doesn't change just because we can draw grey android blobs.

Microsoft's previous attempt was just software. Apple spent 15 years designing their own SOCs, bought several companies in the process, including a fabless fab. Apple has always been in hardware, they are the A in ARM (not that it's an acronym).

Yes, but they must either build+buy it in 10 years or buy+build someone else nearly there and hope to get it done in 5.

GitHub Actions, which is mostly a copy of Pipelines, has Big Sur while Pipelines doesn’t.

Someone points out Circle let’s you ssh in, while afaik GHA and Pipelines don’t. Is this a key difference?

One key point in approaching an IPO is the company becoming significantly more transparent. For those companies and likely every single one there would have been a pre IPO point in time where only hindsight can say it was wise to invest then.

Could this or HTTPS Everywhere warn you when a site is known for encryption stripping? I think this happens on the free cloudflare tier and we can’t determine that.

The Times, and BBC’s Kuenssberg have had recent success over these tidbits longer than Cummings has been with the PM. He was with Gove for a while.