TCombinator

Birds

Symbol	Bird	Combinator
S	Starling	`S`
B	Bluebird	`S(KS)K`
E	Eagle	`B(BBB)`
T	Tanimbar	`T`
J	Jay	`B(BC)(W(BC(B(BBB))))`

\[\begin{aligned} T (J S B E) &\xrightarrow{\beta} T (S B (S E B)) \\ &\xrightarrow{\alpha} (\lambda x. 1) (S B (S E B)) \\ &\xrightarrow{T} 1 \end{aligned} \tag{1}\]

Tanimbar is the TCombinator

Recent work

Attention in 3 lines 2026
Review: Scalable Best-of-N Selection for Large Language Models via Self-Certainty 2026
Nim with OpenCV: 1 2024