I am if not more so. However, INFJ programmers are excessively rare. I don't get the afraid to make decisions wafting that I usually see from INTP programmers from him. So either INTJ or INFJ. And there are not enough non-programming entries to make a decision either way.
However, he thinks from the perspective of the group (Fe) far more then any INTJ programmer I know. So I think it is likely that you should not worry too much about what type he is. Give it at least one try.
Also for your further stalking pleasure:
http://live.gnome.org/Tracker/WhatIsTracker and
http://live.gnome.org/Tracker/ for a description of the software he works on.
Let us know how the date goes now that we are all curious.