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

The word "object" predates OOP. I think the original meaning roughly equates to what we call a value today.

In OOP languages the objects contain the subroutines (methods) hence orienting the programming towards the objects.

Do the more pedantically inclined have a better definition?

what is your memory footprint?

i liked it, thanks

i'd like to see somebody think non-functionally with haskell

Could this be a paid leak?

technical countermeasure to a human behavior issue?

but will it blend?

There exists a non-intuitive asymmetry in the nature of systems like multi-core. Do four 10mph car crashes do the same damage as one 40mph crash? If it can be properly coordinated. If you can coordinate it, how much does the coordination cost? At worst you only have the power of one 10mph crash, often at best too.

Programming for multi-core can a hard problem but the problem doesn't always lie in our abilities, many times it's computationally impossible.

To play games and video is a must right? We want the most from our battery right? A fact of the situation is that high power activities are many times mutually exclusive from low power activities right? So what is awful, inelegant or stupid about the design? The asymmetry? There is asymmetry of the interaction? Should you cary around a dumb-phone, a gameboy, and a video player? Maybe more elegant, but it sure is more awful.

P.S. Don't talk about FP son ;)

mistake or not, i don't believe i assumed any words from the RDB (or any other) domain are the absolute definition.

i do assume that people often learn and understand things based on existing conceptual prototypes. that was my problem trying to understand cassandra.