I mean programming itself, not theory (e.g. no quicksort algorithm or NEXP not in ACC0).

An example would be John Carmack's work on games in the 1990s.

Also, I want to exclude stuff like operating systems and programming languages since those are clear enough and widely known.