As he also mentioned he was involved in early React, so maybe Facebook? They are known to use it for spam filtering, amongst other things.