It is not possible to fully enumerate in human language all of the edge cases of a real world phenomena.

· Bits and Bobs 2/24/25
  • It is not possible to fully enumerate in human language all of the edge cases of a real world phenomena.
    • You get the logarithmic return for exponential cost curve.
    • This curve collapses under its own weight.
      • Each incremental thing to extend it costs more than it creates value.
      • It's underwater.
    • If you can reduce it to a level of precision where everyone on earth would agree[xu], then you can simply ask an LLM and not have to go into deeper formalization.
      • LLMs allow a cut off of a reasonably high floor of "good enough[xv]," making many more scenarios viable.

More on this topic

From other episodes