Spherical Cow

(lib.rs)

134 points | by Natfan 40 days ago

7 comments

  • pinkmuffinere 40 days ago
    > The reason this library was initially written was to optimise the layout of inflatable space habitats which may one day be constructed on the Moon and Mars.

    Wow, they even deliver on the “in a vacuum” bit

    • gradientsrneat 38 days ago
      Mars does have an atmosphere. It's much less dense than Earth's, but its enough to have weather. Pretty good joke though.
  • borborigmus 40 days ago
    The concept of a spherical cow was also part of Chris Morris’ comedy oeuvre. Possibly in the Brasseye episode “Animals”.
  • bruce511 40 days ago
    >> "I have the solution, but it works only in the case of spherical cows in a vacuum".

    I get the joke, but that's not really what modeling means. There's no "only" determination here.

    So sure, the researchers devised a model, in which the cows were spherical and in a vacuum. That produced a solution, but there's nothing to show that solution would work less in an air environment with regular cows [1].

    I bring this up only because elsewhere here is a discussion of computer fundamentals (and their lack in juniors / self taught folk, and AI output). The quote above is logically flawed (likely on purpose to create the joke) but understanding that it is a logical joke may not be obvious to everyone.

    [1] to show that they would have to build a model with air and meat to show the solution fails, at which point the original model would be discarded.

    • Etheryte 39 days ago
      This trail of thought is not logically sound. The whole argument is built on the notion of what modeling is and isn't, but the original quote doesn't make the assumptions you imply. Sure, they might have a model that assumes cows are spherical and etc, but it might also very well be that they have hard constraints that make it work only for spherical cows and nothing else. There isn't enough information in the quote to make the argument you're trying to make.
    • littlestymaar 39 days ago
      > [1] to show that they would have to build a model with air and meat to show the solution fails, at which point the original model would be discarded

      You only have to show that it fails for square (or any non-spherical shape) cow in vacuum or for spherical cow in air.

  • dwattttt 40 days ago
    Did not over-promise
    • jesse__ 40 days ago
      I came for spherical cows. I left with spherical cows
      • gchamonlive 40 days ago
        In a world full of deception, the spherical cow is a cup of fresh milk.
        • squigz 40 days ago
          Is the milk spherical too?
          • vardump 39 days ago
            Yes, if it's floating in space in a pressurized spaceship.
            • bell-cot 39 days ago
              Cylindrical straw not included. Limited time offer. Warranty may be void if spaceship uses any reaction wheel or propulsion system. Other exclusions and limitations apply, see ...
  • oh_nice_marmot 39 days ago
    Why not call it SpheriCOW?
    • bell-cot 39 days ago
      An improvement - but to get gov't funding, it has to be a straight-acronym name.

      Maybe "Space Performance [something ... something] Optimization for Weightlessness"?

      • NBJack 39 days ago
        Space Packing Heuristic for Efficient Rearrangement of Enumerated Cattle Optimized for Weightlessness
    • NoiseBert69 39 days ago
      This will confuse all Copy-On-Write FS developers.

      Moooow!

  • mos87 39 days ago
    An ideal allegory for Rewrite Everything in Rust Syndrome^WDrive
  • ycombinatrix 39 days ago
    Could this be made no_std/no_alloc?