bins
Explanation
The Joke
Four professionals -- an engineer, a physicist, a computer scientist, and a mathematician -- are each asked to consider moving to a new place. Each reacts with a characteristically exaggerated version of their discipline's worldview. The engineer has a practical but overconfident system to "grade and assign" neighborhoods. The physicist declares that after 50 years he can look at any amount of stuff and instantly determine if it will fit in a moving box, showing a deeply empirical mindset. The computer scientist wants to use machine learning to optimize bin-packing for the move. The mathematician tackles it abstractly, concerned with whether a problem can be solved in principle -- he references NP-hardness and then pivots to proving that you could use a neutron star to crush objects into boxes, rendering the problem trivially solvable (but practically absurd).
The comic is a riff on the classic "an engineer, a physicist, and a mathematician" joke format, here expanded to include a computer scientist. Each character embodies a stereotype about how their discipline approaches problems: engineers are practical but blunt, physicists rely on experience and intuition, computer scientists want to throw algorithms at everything, and mathematicians care about theoretical elegance to the point of complete impracticality.
The Humor
The escalating absurdity drives the humor. Each successive professional's approach to the mundane problem of moving becomes more abstracted from reality, culminating in the mathematician's proposal involving neutron-star-density compression -- a "solution" that is technically correct but would obliterate your possessions. The punchline plays on the classic joke about mathematicians proving existence without constructing a practical solution. The computer scientist's bin-packing reference is also an in-joke: bin packing is a well-known NP-hard optimization problem in computer science, connecting the mundane act of packing boxes to deep computational complexity theory.
References
The "bin packing problem" is a classic problem in combinatorial optimization where items of different sizes must be packed into a finite number of bins of fixed capacity, minimizing the number of bins used. It is indeed NP-hard, meaning no known efficient algorithm can solve it optimally in all cases.