Compressing time series

The other day it struck me as odd that I didn’t know of a data format for time series. We collect a lot of time stamped data and most of the time it just get dumped in a .csv file, whenever we want to share it. What do the pros do?