This doesn't address the question asked.

Let me be clear; we should move away from Manufacturers SUGGESTED Retail price and go towards Manufacturers Retail Price. Just make it that the price is the price, and then the dealers can become glorified delivery centers/showrooms and service centers.

They'll make tons of gross profit because their cost infrastructure will go down, and OEMs will be happy because they still won't have to deal with customers and can focus on wholesaling cars to their "dealer" network.

The rub is in the finance and insurance products. OEMs all have captive lending arms, and currently dealers make a ton of money ($1,500+ per vehicle retailed) in finance and insurance profit. Navigating that relationship will be interesting as OEMs take on more control of the sales process.

thank you

The ultimate memory safety PL is rejected because it cannot malloc without blowing up?

It has not yet been rejected. The review is vaguely positive. Like any pull request, there has been some feedback, which will now be addressed.

Would a better comparison let the threads build up a few MBs of non-identical stacks?

You define variables and code that changes the variables over time. TLA+ lets you observe variable states and assert constraints. The amount of concurrency is up to you, it works fine with a single process.

Non-determinism might be a better thing to anchor the value to. For example in a deterministic "normal" programming environment, an if/then/else statement will execute only one out of two possible code paths. You have to run the code with a complementary condition to observe the other code path.

In a non-deterministic environment like TLA+ both possible code paths are executed. You can observe state transitions in both possibilities.

In a deterministic context the combinatorics of code paths can get out of hand quickly. Non-deterministically you have one set of assertions for all code paths, or patterns of paths.

The causation in your summary was not established in the video, only claimed with some correlations to other phenomena.

Some non-snarky comments provided some really good counter examples, eg they eat ice cream all afternoon.

Also from my own experience in the south: every morning kids eat a bowl of milk with a shot of espresso over cereal.

Agreed, that was just with regards to the comment about the sponsor in the video.

....why have I never thought to put espresso in my cereal?

It makes it go soggy really fast but it’s good for a laugh.

> It makes it go soggy really fast [...]

Crunchy granola

Espresso cereal should be a thing.

I remember the gate-keeping options questionnaire (SEC mandated?) from RH, comparing to E-Trade:

* RH feels like accepting a TOS or a EULA; * E-Trade makes it that you are reporting net-worth and are willing to risk it.

Can RH be held liable for misrepresenting the regulations? This might have been settled without any loss of life.

The explanation in the article is reassuring and all that, but even still RH was allowing $700k+ margin on a $16k account. Maybe they feel the risk is low for covered-options writing-- and justifiably.

However, last I checked (some time ago) a purely cash account would have required literally $700k+ to execute this trade. Because, you know, stuff happens.

There are a lot of people on the island that were there before the KMT arrived that don't consider it China or themselves Chinese.

America, for one, recognizes Taiwan as an independent country ("province") and has enough weight that they can do that. Other countries, especially those in Europe, are not big enough to be able to do so and still maintain a trade relationship with China, and default to the choice that makes economical sense.

It is highly compressed! but not in a dense way, distilled might be a better term.

He writes my favorite books.