This would be true if we were reading a paper on formal logic and all people communicated exclusively through lean.
Why would he chose to include that section in this correspondence? Just as a non-sequiturs? Your analysis implies he had absolutely no rhetorical goal in including that section. Humans tend to have rhetorical goals when they write or speak so we must ask “what was Linus’ goal” in that section.
Given the context, the fact that the email thread is in regards to letting LLM’s make commit messages, and Linus being famously willing to insult the intelligence of others it would be foolish not to assume that “insult their intellect” was not a rhetorical goal.
This would be true if we were reading a paper on formal logic and all people communicated exclusively through lean.
Why would he chose to include that section in this correspondence? Just as a non-sequiturs? Your analysis implies he had absolutely no rhetorical goal in including that section. Humans tend to have rhetorical goals when they write or speak so we must ask “what was Linus’ goal” in that section.
Given the context, the fact that the email thread is in regards to letting LLM’s make commit messages, and Linus being famously willing to insult the intelligence of others it would be foolish not to assume that “insult their intellect” was not a rhetorical goal.