I would like someone to verify my computation of $\operatorname{Ext}^n$.
Problem: Let $p$ be a prime, $k$ a field of characteristic $p$, $G = \langle x \mid x^p = 1 \rangle$, $B = kG$, $S = k(1 + x + \dotsb + x^{p - 1})$. What's $\operatorname{Ext}_B^n(S, S)$?
My answer: Take a projective resolution $P_\bullet$ as follows. $$B \twoheadrightarrow S,\ b \to b(1 + x + \dotsb + x^{p - 1}),$$ $$N \colon B \to B,\ b \mapsto b(1 + x + \dotsb + x^{p - 1}),$$ $$T \colon B \to B,\ b \mapsto b(1 - x),$$ $$P_\bullet \colon \dotsb \stackrel{T}{\to} B \stackrel{N}{\to} B\stackrel{T}{\to} B \stackrel{N}{\to} B\stackrel{T}{\to} B \to 0.$$
Then the induced cochain complex of $k$-vector space is $$ \operatorname{Hom}_B(P_\bullet, S) \colon 0 \to \operatorname{Hom}_B(B, S) \stackrel{\operatorname{Hom}_B(T, S)}{\to} \operatorname{Hom}_B(B, S) \stackrel{\operatorname{Hom}_B(N, S)}{\to}\operatorname{Hom}_B(B, S) \stackrel{\operatorname{Hom}_B(T, S)}{\to} \dotsb. $$ As $(1 + x + \dotsb + x^{p - 1})^2 = p(1 + x + \dotsb + x^{p - 1}) = 0$, $$ \ker\operatorname{Hom}_B(N, S) = \operatorname{Hom}_B(B, S), \qquad \operatorname{im}\operatorname{Hom}_B(N, S) = 0.$$ And as $(1 + x + \dotsb + x^{p - 1})(1 - x) = 1 - x^p = 0$, $$ \ker\operatorname{Hom}_B(T, S) = \operatorname{Hom}_B(B, S), \qquad \operatorname{im}\operatorname{Hom}_B(T, S) = 0.$$
Therefore, $$\operatorname{Ext}_B^0(S, S) = H^0(\operatorname{Hom}_B(P_\bullet, S)) = \ker\operatorname{Hom}_B(T, S)/\operatorname{im}\operatorname{Hom}(0, S) \cong \operatorname{Hom}_B(B, S),$$ $$\operatorname{Ext}_B^{2n + 1}(S, S) = H^{2n + 1}(\operatorname{Hom}_B(P_\bullet, S)) = \ker\operatorname{Hom}_B(N, S)/\operatorname{im}\operatorname{Hom}_B(T, S) \cong \operatorname{Hom}_B(B, S),$$ $$\operatorname{Ext}_B^{2n}(S, S) = H^{2n}(\operatorname{Hom}_B(P_\bullet, S)) = \ker\operatorname{Hom}_B(T, S)/\operatorname{im}\operatorname{Hom}_B(N, S) \cong \operatorname{Hom}_B(B, S).$$
Since $\operatorname{Hom}_B(B, S) \to S,\ f \mapsto f(1)$ gives an isomorphism and $B$ acts $S$ trivially, $\operatorname{Hom}_B(B, S) \cong S \cong k_B$.
In summary, $\operatorname{Ext}_B^{n}(S, S)\cong k_B$ for all $n \geq 0$.
Added: Is there any trick like "casting out nines" to check this kind of computation subsequently? Or is there some interpretation of this outcomes? I cannot see this intuitively. So I cannot check/confirm the result by myself other than recalculation.