You could observe future random numbers by taking combat actions, and then reset to the start of the fight and play a line which consumes fewer random numbers in order to manipulate your card rewards. Maybe you could…
Well, once you've derived unary exp and ln you can get subtraction, which then gets you unary negation and you have addition.
It doesn't mean anything. The point is that the language of lean, and its proof derivation system, are able to express (and prove) statements that do not correspond to any meaningful mathematics.
I feel obliged to mention that this does feature prominently in Kim Stanley Robinson's Red Mars trilogy. The single most important piece of infrastructure on Mars is a space elevator, but not everyone on the planet is…
https://www.osha.gov/hexavalent-chromium
It sure would be great if they just owned the supplier outright and could align incentives that way.
Not only does Southwest exclusively fly Boeing aircraft, they exclusively fly 737s, which enables their unusual routing style. Essentially every pilot and crew at Southwest can fly any aircraft the company has for them.…
Not just any two couples, one couple was her ex-husband's parents...
I should admit I'm being very generous to Peters here - I came to the conclusion that this is what he means only because the math of ergodicity (https://en.wikipedia.org/wiki/Ergodic_theory#Ergodic_theorem...) talks a…
The expected value of this distribution goes up with every iteration, there is no such Kelly point. You could try this with heads: double your money tails: lose all your money in which case the expected value is always…
I believe the entire point of the ergodicity question here is "If you apply this process n times, with n approaching infinity, obviously the result may depend on what point in the n-times iterated distribution you…
The "average" of the distribution goes up as you increase the number of rounds, but the probability that you get an average or above value when you sample that distribution once goes to zero as the number of rounds…
If you repeat this game n times (as n goes to infinity), you will have Θ(n) pairs of (heads, tails) and O(sqrt(n)) unpaired wins or losses, except for a vanishingly small fraction of the time when the results fall…
Hey what do you know, I found the lawsuit: "That same week, Bitwarden tasked Mr. Scharf with interviewing a potential employee whose “preferred pronouns” were in contradiction to Mr. Scharf’s religious beliefs. Mr.…
Have you ever shared interview notes with anyone? I type mine up... and 'TC' is just as useful in my shorthand as he/she would be. I agree with you that if these were his personal notes from which he then composed his…
> Additionally, Scharf received a reprimand for not using preferred pronouns in notes related to an interview he conducted with a job applicant whose preferred pronouns did not align with their biological gender. Scharf…
Board members have personal liability for payroll in California.
They certainly can let the old RSUs expire worthless, but holding up the "social contract" (as opposed to the strict legal contract) with their employees (and former employees!) while also not drawing the ire of the IRS…
I don't know why you believe later employees get options. It is true that at public companies, employees often are compensated with options, but at "startup"s where the FMV of a new employee grant would be prohibitively…
If you do an 83b election on RSUs, you'd recognize the entire present value of the RSU grant as income in that year, and pay taxes on it. I believe you're then limited to claiming capital losses on that if you leave…
On the contrary, I am not making the claim that "it isn't theft because no such property has been deprived". I think whether it is theft is a nuanced question, and it can only be answered if we are clear on what we…
https://www.merriam-webster.com/dictionary/theft: "the felonious taking and removing of personal property with intent to deprive the rightful owner of it" Has the rightful owner been deprived of their property? What,…
Cool, I'll tell my commander that when they bring me the smallpox jab
The teardrop side is probably either very pointy (in which case the entire shape fails to be convex), or the teardrop is too heavy and the stable points are instead around the waist of the teardrop, with the tip hanging…
I think Trevor Milton could tell you exactly what to do in such circumstances.
You could observe future random numbers by taking combat actions, and then reset to the start of the fight and play a line which consumes fewer random numbers in order to manipulate your card rewards. Maybe you could…
Well, once you've derived unary exp and ln you can get subtraction, which then gets you unary negation and you have addition.
It doesn't mean anything. The point is that the language of lean, and its proof derivation system, are able to express (and prove) statements that do not correspond to any meaningful mathematics.
I feel obliged to mention that this does feature prominently in Kim Stanley Robinson's Red Mars trilogy. The single most important piece of infrastructure on Mars is a space elevator, but not everyone on the planet is…
https://www.osha.gov/hexavalent-chromium
It sure would be great if they just owned the supplier outright and could align incentives that way.
Not only does Southwest exclusively fly Boeing aircraft, they exclusively fly 737s, which enables their unusual routing style. Essentially every pilot and crew at Southwest can fly any aircraft the company has for them.…
Not just any two couples, one couple was her ex-husband's parents...
I should admit I'm being very generous to Peters here - I came to the conclusion that this is what he means only because the math of ergodicity (https://en.wikipedia.org/wiki/Ergodic_theory#Ergodic_theorem...) talks a…
The expected value of this distribution goes up with every iteration, there is no such Kelly point. You could try this with heads: double your money tails: lose all your money in which case the expected value is always…
I believe the entire point of the ergodicity question here is "If you apply this process n times, with n approaching infinity, obviously the result may depend on what point in the n-times iterated distribution you…
The "average" of the distribution goes up as you increase the number of rounds, but the probability that you get an average or above value when you sample that distribution once goes to zero as the number of rounds…
If you repeat this game n times (as n goes to infinity), you will have Θ(n) pairs of (heads, tails) and O(sqrt(n)) unpaired wins or losses, except for a vanishingly small fraction of the time when the results fall…
Hey what do you know, I found the lawsuit: "That same week, Bitwarden tasked Mr. Scharf with interviewing a potential employee whose “preferred pronouns” were in contradiction to Mr. Scharf’s religious beliefs. Mr.…
Have you ever shared interview notes with anyone? I type mine up... and 'TC' is just as useful in my shorthand as he/she would be. I agree with you that if these were his personal notes from which he then composed his…
> Additionally, Scharf received a reprimand for not using preferred pronouns in notes related to an interview he conducted with a job applicant whose preferred pronouns did not align with their biological gender. Scharf…
Board members have personal liability for payroll in California.
They certainly can let the old RSUs expire worthless, but holding up the "social contract" (as opposed to the strict legal contract) with their employees (and former employees!) while also not drawing the ire of the IRS…
I don't know why you believe later employees get options. It is true that at public companies, employees often are compensated with options, but at "startup"s where the FMV of a new employee grant would be prohibitively…
If you do an 83b election on RSUs, you'd recognize the entire present value of the RSU grant as income in that year, and pay taxes on it. I believe you're then limited to claiming capital losses on that if you leave…
On the contrary, I am not making the claim that "it isn't theft because no such property has been deprived". I think whether it is theft is a nuanced question, and it can only be answered if we are clear on what we…
https://www.merriam-webster.com/dictionary/theft: "the felonious taking and removing of personal property with intent to deprive the rightful owner of it" Has the rightful owner been deprived of their property? What,…
Cool, I'll tell my commander that when they bring me the smallpox jab
The teardrop side is probably either very pointy (in which case the entire shape fails to be convex), or the teardrop is too heavy and the stable points are instead around the waist of the teardrop, with the tip hanging…
I think Trevor Milton could tell you exactly what to do in such circumstances.