Hi there! I was subscribed to a newsletter digest for a while so it's time to participate. I work on a new extremely composable visual programming language embedded in a font (so that you can use it in Visual Studio Code, for example) implemented as a Haskell eDSL. Here you may find more info: https://muratkasimov.art/Ya. I think that future of programming is in hands of linear algebra and category theory.