Elsewhere in this comment section, someone mentioned a HFT firm that extensively used noweb and K.