They fund much more than this, and almost all of it is cool. Check out In-Q-Tel Labs, they have some cool projects.

disclaimer: I work with In-Q-Tel investments almost daily, but am not affiliated.

That's a pretty interesting portfolio.

Do you see any interesting trends? In terms of one layer deeper than the general trends such as AI, space, etc.