Ask HN: Good projectors for showing code?

Hi,

I'm in the position of being able to select projectors for our new Computer Science/IT building at the two-year college where I teach, but even after reading many guides, I don't know what to look for.

Our current projectors are XGA (1024 x 768) and are only usable at native resolution. And because the instructor's screen is mirrored, the screen is horribly scaled too.

The natural thing is to request 4k projectors for the classrooms, but the ones that are "true" 4k seem to be closer to $10,000, which is out of the budget and likely they will be overkill.

Will a 2k projector suffice? what are some good brands? any suggestions?