This is specifically finance language for budgeting and one of the better ways to speak about this given the public disclosure of this information is substantial for their publicly traded stock.
That metric would give you a number of bytes which can be used for pages not backed by files, but it won't give you actual memory usage statistics:
It won't count executable pages and memory-mapped file use as "used" memory, so your system might display gigabytes "free" when it's starving, executables getting paused when code pages are paged-in from disk.
It's just less useful than what's displayed now. "Everyone is doing it wrong" is usually a signal that you're missing something.
I generally agree. But FWIW it does feel fairly idiomatic in terms of code written with Effect/API design in the Effect ecosystem. (Disclaimer: my Effect usage so far has been mostly casual, this
observation is based on following the project and ecosystem pretty closely.)
It's a formalism use to analyze security properties, it's not how it is used in practice.
The practical goal is to hide a secret key inside a program, so e.g. implement an algorithm which might involve decryption and signing a message without giving external parties ability to decrypt messages.
The connection between indistinguishable obfuscation formalism and "can't extract secret key" property is not obvious. Here's a quote from a paper which Vitalik linked:
> it is not immediately clear how useful indistinguishability obfuscators would be. Perhaps the strongest philosophical justification for indistinguishability obfuscators comes from the work of Goldwasser and Rothblum, who showed
that (efficiently computable) indistinguishability obfuscators achieve the notion of Best-Possible Obfuscation : Informally, a best-possible obfuscator guarantees that its output hides as much about the input circuit as any circuit of a certain size
> A computer genetic algorithm run for a billion generations doesn't lead to anything anywhere near the the complexity of a human.
What?... Our computers can't simulate anything similar to a real world. You're comparing apples to galaxies.
> meaningful loss of fitness
What makes you think we don't have "loss of fitness" already?
150 years ago child mortality was around 30% in the developed world, now it's less than 1%. A lot of kids with weak health survive now. I'm one of them - I got pneumonia when I was ~2 y.o. and probably would have died without antibiotics. Then I had something which required antibiotic treatment pretty much every year. My wife also had a pneumonia in early childhood. And so did my daughter...
Why do we need to talk about some mysterious problem in 10 generations when modern medicine removes a lot of fitness pressure by itself?
It's a very common misconception that "survival of the fittest" means something related to physical fitness or stamina. It does not, in fact it's almost tautological. It means only "survival of those most likely to survive."
Natural selection is still fully in operation, but the things being selected for may have changed. Whatever they are now, they are still being selected for. Those most likely to reproduce are those whose who reproduce the most, and whatever those characteristics are, they will be the ones that become more prevalent.
It's also very important to remember that this operates over hundreds of millennia. Human beings changing substantially will not occur within a period of time less than that. You'd need to look back into deep prehistory to find changes to humans attributable to natural selection. Changes to modern humans are all explicable through changes to nutrition and lifestyle, not through evolution.
Well, modern medicine + economy + social pressure resulted in RADICAL change in fitness function for human population. It's very, very different.
So it's quite likely that modern population is not fit according to old criteria.
> It's also very important to remember that this operates over hundreds of millennia.
That's not true at all. People can make new breeds of dogs and cats in just a few generations. You can literally SEE how a change of fitness function affects the phenotype.
> You'd need to look back into deep prehistory to find changes to humans attributable to natural selection.
There are many studies which describe genetic changes within latest 10,000 years or less. E.g. paper "1,000 ancient genomes uncover 10,000 years of natural selection in Europe": "We identified 25 genetic loci with rapid changes
21 in frequency during these periods". You can find many similar papers if you do a search
One of studies identified changes in loci associated with Y. pestis immunity during the Black Death (i.e. something like a century). Black Death mortality is similar in scale to early childhood mortality 150 years ago.
I suppose that must depend on one's definition of "substantially". Human's haven't changed "substantially", and neither do new breeds of dogs and cats.
Besides which, why does it matter that Humans may or may not be fit according to old criteria? Whatever they might have been.
People in the past could survive and procreate without modern medicine (basically without any medicine at all as doctors could do very little 200 years ago) with ~50% success rate. I'd suspect this rate is already lower now, and it might matter in multiple ways
“survival of the fittest” was actually coined by a political economist, Herbert Spencer, to explain how lassiez-faire economics produces better companies. Darwin didn’t extrapolate to that in his theories and the quote is often applied to explain how evolution works, but that may not be the case. We can say that evolution results in change but that there are no guarantees that those changes result in fitness of the organism. We can only say that sometimes they obviously do and in other cases we can make up “just-so” stories to explain stuff in terms of fitness.
You don't need to be superstitious here: disk activity, including writes in particular, can be measured. E.g. `iostat` or `vmstat` on Linux.
reply