Chris Grossack's Blog grossack.site

Is a Random Perfect Group Nontrivial?

grossack.site·8w

Talk – Factorization Homology and Quantum Character Stacks

grossack.site·12w

An Overly Explicit Computation with Character Stacks

grossack.site·12w

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

grossack.site·37w

Free Things Are Complicated (Especially the Sphere Spectrum!)

grossack.site·43w

An Explicit Computation in Derived Algebraic Geoemtry

grossack.site·47w

How to Explicitly Compute Charts for a Levelset Submanifold

grossack.site·47w

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

grossack.site·47w

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

grossack.site·49w

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

grossack.site·49w·Hacker News

An Empty Product of Nonempty Sets

grossack.site·50w

Analytic Combinatorics Redux

grossack.site·53w

Analytic Combinatorics – A Worked Example

grossack.site·58w·Hacker News, r/programming

Some Doodles I'm Proud Of – The Capping Algorithm for Embedded Graphs

grossack.site·59w·Hacker News

A Cute Application of the Yoneda Lemma

grossack.site·61w

Where Do Those Undergraduate Divisibility Problems Come From?

grossack.site·69w·Hacker News

$\mathsf{B}\text{Diff}(\Sigma)$ Classifies $\Sigma$-bundles

grossack.site·73w

Finiteness in Sheaf Topoi

grossack.site·91w

Life in Johnstone's Topological Topos 2 -- Topological Algebras

grossack.site·98w

Life in Johnstone's Topological Topos 3 -- Bonus Axioms

grossack.site·98w

Log in to enable infinite scrolling