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

help-circle










  • 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.


  • That doesn’t follow. What I think you mean is that by defining the constraints so rigorously, you’ve basically solved the problem yourself. But that’s exactly the point. The LLM isn’t the problem solver, it’s the execution engine that does the wiring-up and the ticking of boxes. The easy part, arguably, sure. But still considerable effort that can be saved, and that effort may be better spent on the problem-solving + constraint-defining stage.

    Mandatory disclaimer that this is not a pro-AI post. I also don’t agree that this setup works, anyway. It’s a classic Bob Martinism, the idea that writing good enough specifications makes the implementation irrelevant; it’s the type of idea that is allergic to reality









  • 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.