Their progress reports pop up on HN pretty frequently, as they're usually pretty technically dense and interesting.

Here's the discussion of the most recent update: https://news.ycombinator.com/item?id=36019485