SabrinaJewson

6 ms·

1. 31.▲
   by SabrinaJewson 1y ago

   Relevant to this is Skolem’s paradox ( https://en.wikipedia.org/wiki/Skolem%27s_paradox ), which states that any uncountable set can be modelled by a countable set. In that light, the statement that the reals have greate
2. 32.▲
   by SabrinaJewson 1y ago

   > The Cartesian product of nonempty sets is nonempty. > > This is obvious!, you might say — obviously we can just pick one element from each set and be done with it. But the statement that we can pick an element from each set is th
3. 33.▲
   Is Music Getting Better or Worse over Time? (2020)(adrian.wilkinscaruana.com)

   1 points by SabrinaJewson 2y ago|0 comments
4. 34.▲
   by SabrinaJewson 2y ago

   AtomicWaker is much less bad, because it will only spin in the case that another thread has spuriously called `wake` – i.e. called `wake` despite that fact that the future it’s waking is in fact unable to progress. In the common case, the w
5. 35.▲
   by SabrinaJewson 4y ago

   Absolutely! The right kind of error type really depends on use-case — I targeted this kind of use case because I see people get it wrong most often, but it’s definitely not a one-size-fits-all solution.