Would this require using the WASIX libc? I didn’t spend much time on it, but when I attempted to use it the build started failing in mysterious ways - happy to open an issue on the relevant repo with a reproduction / notes on what I think our some bugs.
very cool on wasmer; does it support python + local ai / gpu use cases, ffmpeg, etc. have some customer use cases & really don’t want to go docker etc? helpful if can be included in electron & browser extensions or other supercontainers
Uh, Joe, you have random variable X. What is its value?
Sam, just a minute. Let me draw a sample. Got one: X = 7.
But, Joe 7 is not very surprising or interesting. Is there anything else?
Sam, sure, one more minute. Got one!
Joe, well, then, WHAT is it????
Sam, sorry, it has 2^12345 digits and will take a while to print it out; this morning I have a coffee shop meeting with Susan; and I don't want to miss Susan, cute, pretty, sweet, smart, darling, adorable, precious ..., and single!
Exercise: Show that there is a random variable Y with the same distribution as X and such that X and Y are independent random variables. I.e., knowledge of X tells us nothing about Y.
The intuitive concept of random is closer to unpredictable given even everything else, that is, what probability theory defines as independent.
There are more details in Royden, Rudin, Breiman, and Neveu. To preview, there is a non-empty set Omega with a collection F of subsets that form a sigma algebra and a measure P on F. Then random variable X is a measurable function from Omega to the set of all prime numbers. So, for some point w in Omega and function X, X(w) is a prime number. Can think of w as a trial.
Uh, this morning I'm working on some Rexx code, so here I can't reproduce or compete with the references by Royden, Rudin, Breiman, and Neveu.
Different logical systems use different methods of handling negation. No single system is suitable for all purposes. I'm no expert, but maybe search for information about intuitionistic and paraconsistent logic and how they handle negation.
