One part that resonated with me the most was near the start when Oppenheimer and associates were complaining about the lack of impact of their theoretical research, despite the urgency of current affairs -- unfortunately in my case, not sure if type theory or proofs will ever be impactful beyond influencing the lives of white collar workers... 😞