Viewing profile — bzax

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 manipulat…

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 meaningf…

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 elevat…

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…

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/Ergo…

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 w…

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 …

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 go…

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 …

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 M…

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 …

> 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 ali…

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!) wh…

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 ne…

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 …

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 a…

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 b…

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 wais…