At Pyte, we don't use HE, but rather a related but much more practical primitive (Secure Multi-Party Computation, SMPC). However, this survey post meant to be merely educational, since HE is a very fascinating paradigm (but I agree, in the present form it is impractical and will be for the foreseeable future).