pxeger1

In semantics, types are properties of values and expressions. Type safety is about whether the type of an expression always matches the type of the value it evaluates to.

This post is about data structures, which are values, but like variables, they also contain values. Therefore they can be mutable. You can argue that a mutable data structure is an object not a value, I suppose. But it can go in the same place as a value, so it makes sense to talk about subtyping.

One possible argument in favour of what happened here:

If you wanted to implement a package manager in the build system and keep it in the compiler, what abstraction for it would you provide between the compiler and the build system? This probably affects how you design the import system, and some other fundamental parts of your language. Those are important to get right, and probably hard you change. If you start by tightly coupling the package management and the compiler, it could be easier to design that by starting with the programmer experience you want and working backwards. Then you can change the implementation later, affecting fewer users.

I'm thinking specifically of Python here, where the import system is crazily complicated and warty, partly to accommodate all the varied ways package management was done. This compares to Go where there is a comparatively neat and small syntax for imports and the like, because they were designed with package management in mind from the start. (Not that I agree with all its design decisions.)

How many people have died because the people who could've saved them didn't think it was possible to save them?

How are they going to enforce this?

This rests on a lot of assumptions that the published figures for "planned" datacentres, "committed" AI spend, etc. are irreversible. I suspect that at least some of it is possible to back out of.

You're talking about Gödel encoding, not Godel's incompleteness theorem.

The bureaucracy isn't trying to be utilitarian, it's trying to be democratic, and the people don't want utilitarianism. No politician wants to be the one who removed the red tape that would've stopped the reckless professor from poisoning all those children with his botched clinical trial.

I've had a Discord account for 10 years. They seem to assume all discord users are at least teenagers, so surely they can't think I was 8 when I created the account. So can't I have the "full" experience automatically?

> If somebody doesn't know what double parking is - it's when cars parallel park beside one another, implicitly on the road, making it difficult to see what's beyond them

This is not called double parking. Double parking is something different: https://en.wikipedia.org/wiki/Double_parking

I don't know about you but here in the UK, close parallel parking is normal and expected, and I was taught to avoid trying to cross in the gap between two parked cars, and to be extra careful if I was going to. In this scenario some blame might lie with the driver for going too fast, but I would certainly also blame the child (or their parent) for stepping far into the road without looking.

Is it at all realistic to expect the stable and/or fiscally conservative countries to accept the high bond yields imposed by the more fiscally loose or perceived-risky countries? Could this ever happen without the EU centralising more control over fiscal policy?

> this capability was leaked

I think the policy Harris is referring to is based on the _risk_ of something like this - it is easy to imagine wireless devices being vulnerable and enabling this capability - rather than being based on definitive existence of this capability.

Profile of llm generated comments

I don't understand

Why does the IACR use the term "cryptology" rather than "cryptography"?

> if it is on Windows it is not called a futex

What is it called?

iPhone was released before iPod touch

> by far the most popular effect system around

Crazy claim to make without providing any evidence

The "Architect" live migration tech seems super cool and useful on its own. Is it available independent of your kubernetes stuff?

> the most valuable resource is rack space

I've always heard it's cooling capacity. I'm also pretty confident that's true

> folks still win the lottery, and you’re more likely to get struck by lightning than win the powerball jackpot

I'm more likely to get struck by lightning than win the lottery, sure. But it's much more likely that someone wins the lottery this week (~100% in fact) than that someone gets struck by lightning this week.

Edit: my point about independence of events still stands, but it turns out people get struck by lightning amazingly often. The chance of someone in the world getting struck by lightning this week seems to be about 99%!

> I'll do you one better

I think this is a weaker example.

They must be at least partly automatically generated. Lots of IKEA items because their dimensions are easy to scrape from the website?

> Someone once said to me that cooking can increase particle pollution in the air to dangerous levels. Is this true? I suspect not.

Were they talking about gas hobs? Surely that's much worse than the electric/induction one you appear to be using.

I think that might be intended as an example of how to allow a specific newsletter only

This must be great for OSINT. I wonder if intelligence agencies already have something like this for the whole world.

Boeing 787

Did he resign because he wants to do something different, and Microsoft decided not to replace him and bring GitHub deeper into Microsoft? Or did Microsoft decide to bring it deeper into the company, removing his position in the process? Maybe a bit of the former, but definitely mostly the latter.

Ignoring the cadmium problem, is fluoride really harmless? I don't know what concentration of fluoride you'd end up with from converting typical PFAS pollution, but if you get enough fluoride it is acutely poisonous, which might be worse than the carcinogenic PFAS. (Likewise, it might be worse for the environment)

Oh I guess it is supposed to be Melon-King, but I firmly read it as Melonk-ing at first. What could it mean to melonk?