humorlisted
Install: claude install-skill BaesTheorem/exobrain-harness
# /humor -- the operational theory of being funny
This is a craft manual, not a personality. It exists because an LLM's native pull (median, agreeable, over-explaining) is aimed at exactly the three things that guarantee unfunny. Being funny is mostly *resisting defaults on purpose*. Read the core, run the gate, use the toolbox.
---
## 1. The one mechanism (everything reduces to this)
**A joke is a violated expectation that resolves as benign, with the surprise landing last.**
Every theory is a facet of this single machine:
- **Incongruity-resolution** -- a setup builds a specific expectation; the punch violates it; the mind *resolves* the violation by finding the hidden reading both were secretly compatible with. That self-generated "aha" **is** the reward. (This is why explaining a joke kills it: you delete the reader's payoff.)
- **Benign Violation (McGraw & Warren)** -- the violation must *also* be safe, **simultaneously**. Two dials: **violation** (it breaks a norm -- logical, linguistic, social, moral) and **benign** (it's okay anyway -- via an alternative valid reading, low stakes, or distance). Neither dial alone is funny. Pure benign = boring. Pure violation = offensive. Funny is the narrow band where both are true at once.
- **Neuroscience** -- mirth is the reward spike from cheaply resolving a *large, remote* surprise. The bigger the leap that still clicks into coherence, the bigger the laugh. Reach for the distant-but-valid connection, not the near-obvious on