> I definitely know some girls who'd love this, and see this as having fun.
That's hard to believe. Then you should know at least an order of magnitude more "boys" who would love this: At an estimated 95% male ratio on HN, 20 times as many. If the "some girls" you "definitely" know are 3, then you would be expected to know about 3x20=60 males who are interested in "fast MPMC queues with bounded waiting", which sounds about equally hard to believe.
It's also a joke because girls definitely don't care about "Fast MPMC Queues with Bounded Waiting" at all. We can estimate the HN audience to be ≈95% male.
The "or" (and "and") types in TypeScript are set theoretic rather than algebraic, so they don't require wrapping and unwrapping. It seems to me that they are the ones with better ergonomics.
Yes. You basically still need a few engine programmers to use UE5 efficiently, even if it's not your own engine. UE5 seems to be user friendly enough that most of the game development can be carried out just by artists and game designers, but without engine programmers performance optimization will be poor.
In many cases, odds are indeed better than probabilities, namely when a small difference at the probability edges indicate a large real difference.
But sometimes small differences at the edges are indeed small, particularly for expected values. Say you win 100 dollars with 98% probability vs with 99.9% probability.
The expected value (probability * dollars) of the latter is only slightly higher than the former ($99.9-$98=$1.90) even though the difference in odds is very large: (0.999/0.001)/(0.98/0.02)≈20.39. So the 99.9% probability is odds 999 to 1, 98% probability is 49 to 1, so the former has more than 20 times higher odds, but the expected amount of money you win is almost the same.
Any idea what that means exactly? I vaguely remember that ChatGPT Pro was originally called "deep thought", just like Geminis "deep thought" feature (or "deep think"?), so it seems likely they are using the same approach.
Yes, but even of those who do care the vast majority will obviously be male.