Theo is probably autistic.

I work with a lot of great engineers with similar behavior. Their arguments are not personal, although they seem to be. They are just very passionate and care deeply about certain things (in this case operating systems security).

If you can get past the aggressive/offensive language they use and develop a relationship with them, they can be reasonable and helpful. That's been my experience.