We will report on new arithmetic results pertaining to orders in some particular quaternion algebras, and show how to use those results to solve Diophantine problems on the representation of integers by some quaternary quadratic forms. Some open problems will be described along the way.