diroussel

ARM isn’t _the_ reason. It is a reason.

If we were to go back in time to before apple introduced it’s own SoC and before it had acquired chip design start ups, even before than ARM was on the table as that is what the iPhone ran.

RISC-V wasn’t a thing back then. So the alternatives were MIPS, Power or maybe a home grown instruction set.

So we just have to go with what the reality is now. The apple silicon has been well optimised for performance per watt. And it runs on an ARM instruction set that apple itself helped in the design of.

Haha. The banks ought to know better, but in fact due to software being hard to prove correct, we still get major disasters like the TSB migration failure. It caused real world problems like peoples house purchase deals falling through and money getting lost:

https://www.theguardian.com/business/2018/jun/06/timeline-of...

The thing, is there is seemingly no appetite to try to prove correctness of even single machines systems. Let alone distributed systems. I wonder if ever there will be a time where this kind of proof is cheap enough to be acceptable to business.

Ah makes sense. Remember /s next time.

Don’t get me started on Cmd-Tab will full screen and Spaces!!

There can be a lot of value in value in a code base such as this. Just copy an existing open source lib, add a small speed up, push for fast adoption across common OS build tools, now you can sell committer rights for a high price to anyone wanting to launch a supply chain attack. Could be very profitable.

This is of course unlikely to be ai’s motivation. I just wanted to present a count point to the argument that such modules have low value.

It’s not a problem of mental models. It’s that the UI is not good.

The Cmd-Tab to switch between apps is good because it’s Least Recently Used (LRU) ordered, and the there is a visual to show what you are choosing.

Once you’ve done Cmd-Tab to choose an app then you need to do Cmd-` to choose the document. But this is usually not LRU and not visual.

In Firefox I can configure LRU and visual tab switching, but not windows switching. And Finder or IntelliJ I can cycle through windows but not in LRU order.

I have a good mental model of my apps, windows, documents and tabs, but my mental model is LRU based, not cycle based.

Micronaut is worth a look

AWS have worked with Leslie Lamport of proving properties about S3.

See: Use of Formal Methods at Amazon Web Services

https://lamport.azurewebsites.net/tla/formal-methods-amazon....

Cloudflare uses any cast, and they deal with it by making every external node able to handle every public IP that they have. If packets in a TCP stream end up going to different nodes, then they deal with that in their infrastructure.

The key difference is that there are no options when you parse json. You just parse it and get some lists and maps back.

In XML you have to decide if you want DTD or schema enabled (which could provide default values, and could be a security risk) and where abs how you resolve the DTDs from etc. Do you resolve references? And many option options.

So JSON benefits not just from a simpler structure, but also from less optionality.

And how many years did HTML exist before JavaScript was invented?

A seagull manager, like a seagull, flies in, shits all over things then flies out.

It's also a very strange characterisation of left and right wing. In the UK centralisation is thought to be right wing, and consensus is considered left wing.

Yet cryptography is far more widely used.

Use https://starship.rs/ abs get the same prompt in all your shells. Also it’s written in rust, so it’s faster than a load of bash scripts.

But why have a paper certificate, which you could loose, when you could get digital consensus on a block chain that you own a url to the certificate!?

/s

Try gitlab. You can run it yourself. Great up time.

And best of all it’s much easier to run and upgrade than Jenkins.

Jenkins and it’s plugins can get quite brittle and is quite an art to automate the installation and config of all those plugins.

I think there are missing concepts and features in gitlab. And the advertised features don’t really match reality. But it’s still way better than Jenkins, as you can work around any issues and it’s clear how it works. It’s just a yaml file.

Yes gitlab so so much nicer to run on than Jenkins.

Sure there is something missing for more elaborate build pipelines, but not enough missing to block you.

The best think about gitlab vs Jenkins is that there are no plugins. So it’s very clean what is gitlab and what is your config of it.

Whereas Jenkins has so many plugins and config for the plugins that it’s hard to say where Jenkins ends and your build pipelines begin.

You need to turn off syntax highlighting before opening a really large file in vim. Otherwise the syntax parsing takes an age.

:syntax off

Did you consider wrk2?

https://github.com/giltene/wrk2

Maybe you duplicated some of these fixes?

Doesn’t a monad or for comprehension use implicits to find the right CanBuildFrom?

Are you suggesting to use scala without using for comprehensions? Or do you mean you don’t need to write your own?

It’s been a long time since I wrote scala, so may be getting it wrong.

Any sources for that. I did a quick web search but didn’t find any conclusions to the saga.

I do this on my MacBookPro. I keep my headphones plugged in. I have the system sound go via the Mac speakers. And I have zoom set to use the headphones.

It’s easy to switch between built in speakers, wired headphones and AirPods. All with unplugging anything.

The device is too thin for a AC plug. So I guess it was this or USB-C

The Ethernet port is included. It’s just on the power adapter rather than the back of the screen.

If you have an ansible playbook that creates a certain resource, and you delete that code. Next time you run it, it won’t delete the resource because there is no state management.

You have to add code to as only to be sure to remove the non-longer needed resource. But how long does that code need to stay there.

Ansible is supposed to engender a decorative approach, but it’s very easy to slip into procedural code. Whereas terraform is much more declarative.

I use asdf and it’s great. You keep your versions in .tool-versions abs when you switch for branches you automatically get the right versions of node, java, terraform etc on your path.

It seems that terraform CDK has been introduced to compete directly with pulumi.

I think both are a great idea as the DSL has given me so many headaches over the years.

We also found tf 0.12 to be quite slow. But this was fixed in 0.13 and how it feels lightning fast compared to before.

Basically you create the desired state DAG in procedural code, rather than the TF DSL. Blithe diffing and applying are the same.