Constructor Theory of Information

Probably better to add this as a comment to https://news.ycombinator.com/item?id=7802986 so there aren't two threads.