• 0 Posts
  • 523 Comments
Joined 3 years ago
cake
Cake day: June 12th, 2023

help-circle

  • You’d put the things that aren’t up to personal preference in there, like an AI disclosure / contribution policy or what changes should look like to be reviewable. You usually don’t need to tell humans “don’t change things for the sake of changing them” because we don’t like to do more work than we have to, but agents do.

    You can also include a compact “table of contents,” describing what lives where in the project. It saves at most a little bit of exploration though so I don’t know if it’s really worth the maintenance












  • Gotta add context for readers.

    Of all the numbers to call boring you picked the Grothendieck prime.

    2 is unambiguously prime. The best motivation for the definition of primality I know is the fundamental theorem of arithmetic: every integer greater than 1 can be uniquely decomposed into a product of primes. That’s what primes are, and the uniqueness constraint is why 1 is not prime.






  • Yeah, I’m using them as an example of an underwhelming product that nevertheless has a market at its price, which millions of people regularly purchase knowing how shit it is because the price is tolerable for a guilty pleasure.

    Measuring the time in percentages here doesn’t make sense. A 1 hour difference on a 3 hour game can easily be chalked up to variance (even the estimate of 3-4 hours has a 1 hour range) but 10 hours off a 30 hour game is enormous. If we also made it $50 instead of $5 and argued for time per dollar as a value metric, sure, those would be equally misleading, but time per dollar is less important as the total cost decreases. Nobody would say a 2 cent movie ticket is half as worthwhile as a 1 cent ticket. They’re both approximately as valuable as the experience itself because the cost is negligible.