Hi all. I'm a mathematician and computer languages enthusiast, interested in topics going from formal proofs, user interfaces for editing technical documents, manageable and open source software engineering, high-quality computer typography. I'm part of a group of people developing the free scientific editing platform TeXmacs (www.texmacs.org, https://twitter.com/gnu_texmacs) which is a complete solution for scientific document preparation and reproducible science including interactive sessions with external software. I'm here to look for possible collaborations/interactions with other projects which look forward into the evolution of our way to use computers to express, develop and publish ideas.

Wow, what a cool idea. Thank you for sharing, and welcome to the group!

It's been a long time since I last heard of TeXmacs. I thought it had withered away. I'll have to take another look at it! In fact, TeXmacs could be relevant for my own project in this space: digital scientific notations. See https://github.com/khinsen/leibniz and https://github.com/khinsen/leibniz-pharo/ for my first attempt at something tangible.