George Boole's work on Boolean logic is a basic foundational part of Computer Science, Bertrand Russell's work was influential on data types, Ludwig Wittgenstein invented truth tables, Logical Positivists were obsessed with classifying everything in the world as either true or false, Charles Sanders Pierce noticed that logical operations could be performed by electronically switching currents. Object-oriented programming has been compared by many to Plato's study of forms, although I have no idea if its inventors were actually influenced by it. It simply struck me as odd to see so many philosophers involved in foundational work in something that is not typically associated with Philosophy.
I myself see Computer Science and programming as a positively philosophical endeavor. Programmers create a purely abstract, synthetic implementation to solve a real world problem in an environment that scales through abstraction levels ranging from electronic logic gates, binary representations of numbers and data, more highly abstracted data types, and finally weaving through a complex and dynamic interaction of countless variables in some electronic playground we have created out of our own collective imaginations that then has to eventually produce output that somehow winds up being useful in the real world.
If that's not philosophy at work, then I believe I must be misunderstanding what philosophy is all about.