List
Explanation
The Joke
The comic depicts a Jesus-like figure performing miracles before a crowd. In the first panel, he dramatically announces: "BEHOLD! I have sorted this large, unordered list of numbers in linear time!" The crowd is shown a sorted list of numbers. He then declares this a miracle because it is impossible in principle -- it would violate logic itself. The crowd is unimpressed and appears bored.
Frustrated, the figure sighs and then performs a different miracle: "I have created lunch out of nothing!" -- holding up what appears to be a fish. The crowd immediately erupts with enthusiasm: "Wooh! Amazing! Go son of God, go!"
The joke is that the crowd cannot appreciate the truly impossible miracle (sorting in linear time violates known computational lower bounds) but goes wild for the relatively mundane miracle of creating food from nothing. From a computer science perspective, sorting a comparison-based list in better than O(n log n) time is provably impossible -- it violates mathematical logic. Creating matter from nothing merely violates physics, which is apparently less impressive to this crowd.
The Humor
The comedy stems from the absurd inversion of what should be impressive. In the real world, creating matter from nothing would be the more spectacular miracle. But from a mathematical perspective, violating a proven lower bound in computational complexity is arguably more "impossible" because it contradicts logic itself, not just the laws of physics. The crowd, like most people, cannot appreciate abstract mathematical impossibilities but can easily appreciate free food.
This is a classic SMBC setup where nerd knowledge creates the punchline. The humor works on two levels: for general readers, it is funny that a miracle-worker is frustrated by a crowd that only cares about practical benefits. For readers with computer science knowledge, the additional layer is that the comic is technically correct -- an O(n) comparison sort would be a more fundamental violation of reality than matter creation, since it would break mathematics rather than mere physics. The exasperated "ugh" and sigh from the Jesus figure perfectly capture the frustration of anyone who has tried to explain something intellectually exciting to an uninterested audience.
References
- The O(n log n) lower bound for comparison-based sorting is a well-known result in computer science, proved using decision tree arguments.
- The miracle of creating food from nothing references the biblical story of Jesus feeding the multitude (the miracle of the loaves and fishes, found in all four Gospels).
- The comic plays on the hierarchy of mathematical truths vs. physical laws -- mathematical theorems are necessarily true, while physical laws are contingent and could theoretically be different.