Racism in concurrent programming
Just realized that we have been so, so, so racist all along! One problem in concurrent programming is the so called "race conditions", and major efforts are spent on formalisms that prove the absence of race conditions. For example, white male so called scientist Leslie Lamport invented TLA+ as a "logic" that proves the "safety" (a white concept) of running a program. This is pure racism, to pretend that race conditions don't exist or even when admitting that they may exist, to "prove" (with white male logic) that they do not occur when the code is running. How unwoke! We must immediately liberate concurrent programming from white male oppression.