I would probably give a nod of acknowledgement. But I feel the opposite about keeping them in, that may have to do with the fact that I'm autistic and i don't always want to talk to people. From my perspective the best thing would just be to do your things seperately, and if you have something to discuss just tap his shoulder or something.