University magazines are a terrible place to learn about new research because they are effectively trying to sell the research at their university as great whether it is really great or not. Looking at the arxiv link they linked I was underwhelmed compared to the title. It is not a new lego-like language for "mathematics", it's some definitions in a very particular subfield in mathematics. An accomplishment within that subfield to be sure, but not anything relevant to the wider math community and certainly not Hacker News.