flazzarino

This doesn't address the question asked.

thank you

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

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.

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.

Trump is on it, he has them working in shifts

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.

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

He writes my favorite books.

This is all hidden tech, you and OP have very valid points, but who is the intended audience of this message?

In the Jobs' days they'd promote the practical value of a product. For example they might say how the new iPod can have 50k songs, not how big the storage is, let alone the storage type. They'd mention a smaller form factor or improved battery life, not about HDD to SSD.

So when they talk about SoCs, cores, GPUs, intel or anything else hidden, are they signaling to customers? Maybe its signaling to investors that apple is innovating and that ought translate to profits; maybe the inner geek in all of us?

The dirty trick with hidden tech's performance figures is that they don't directly translate to customer value. As you mentioned, you're dissuaded from buying because the new stuff will be so much better. Maybe it will but the old apple would tell you that the new macs can process video in final cut 10x faster, or you don't have to buy a separate gaming rig, i.e. you can do more stuff better.

The good part about focusing on what the products can do is that you can't fake it. You can't fake it to [geeks] like me, [non-geeks like] my mom, my kids, investors, etc.

isn't blogspot.com a google owned product?

what's stopping you from ignoring him?

diet teas – AKA laxatives.

headline should read "diet soda + laxatives" beats water for weight loss