Chris Grossack's Blog

$F_2 \times F_2$ is Incoherent -- A Polite Spectral Sequence Computation

Free Things Are Complicated (Especially the Sphere Spectrum!)

An Explicit Computation in Derived Algebraic Geometry

Explicitly Computing The Action Lie Algebroid for $SL_2(\mathbb{R}) \curvearrowright \mathbb{R}^2$

How to Explicitly Compute Charts for a Levelset Submanifold

A Proof that there's No Constructive Proof of the Intermediate Value Theorem

An Empty Product of Nonempty Sets

Analytic Combinatorics Redux

Analytic Combinatorics -- A Worked Example

Some Doodles I'm Proud of -- The Capping Algorithm for Embedded Graphs

A Cute Application of the Yoneda Lemma