Discussed (a bit) at the time:

The Post Correspondence Programming Language - https://news.ycombinator.com/item?id=10797424 - Dec 2015 (4 comments)