Chomsky hierarchy is an important concept in programming languages and could be considered as originating from linguistics
Philosophy (which is counted in humanities) has had massive contributions to Logic and formal methods in computer science.
There's even more examples of humanities contribution in HCI and AI safety.