This article seems to have relevance. The Recurse Center is a YC company that recently began pursuing programming language research. https://www.recurse.com/blo

This article seems to have relevance. The Recurse Center is a YC company that recently began pursuing programming language research. https://www.recurse.com/blog/83-michael-nielsen-joins-the-recurse-center-to-help-build-a-research-lab https://www.recurse.com/blog/83-michael-nielsen-joins-the-re...