I want to build a screen-less computing system that has a high-degree of affordances for people with different abilities. I want to be able to write software sp

I want to build a screen-less computing system that has a high-degree of affordances for people with different abilities. I want to be able to write software specifications in maths on an e-ink tablet, or a white-board, and have them interpreted and sent to an interactive theorem prover that displays the result back to me (or dictates it). A system akin to https://screenl.es https://screenl.es or https://dynamicland.org/ https://dynamicland.org/ that can be assembled from existing parts as much as possible and extended to the needs of the user. But the focus is to move away from keyboards and glowing screens and this fixed notion of computing that we've been stuck in since the 90s. Nice to see projects like this. It makes me wonder if there are others out there with bigger budgets. As much as I enjoy hacking my reMarkable on the odd weekend there's a lot of work to do to get good gesture recognition capable of recognizing maths as well as hand-writing that is fast and can run on low-power devices. Plus the software stack to run the computing system on needs a lot of work to adapt to a screen-less paradigm. If I could dedicate myself to it full time I'd probably get much further than I can right now which has been... several years and mostly just have some hacky stuff running on my old RM1 and some email scripts. Just one of those projects that probably won't see the light of day because it's not capitalist enough.