Listen

Description

When did the term "concrete head" start getting thrown around in Lean circles? Do people still use this label today? Is it helpful? Should we agree that the term is disrespectful and counter productive?