Honestly this is the area I'm most excited about. SRS is just one facet---correct choice of input media, datatypes, and mental models are a big deal here. I'm a math undergrad. And one thing that drives me crazy is how mich rewriting I do. What I want is a semi-tangible expression tree that I can manipulate and "snapshot" (to show my work) into Latex. The Latex rendering was easy, but figuring out what "core tree manipulation ux actions" are is another thing. Similarly--am I the only one tired of typing? I'd kill for a gait analyzer or a haptic glove that let me program while walking through the park. Some of this stuff sounds farfetched, but looking at emacs, or chorded stenotype machines, or paredit, really drives it home that we could be doing so, so much better, with very little new tech required. When I was a kid I had mild synesthesia where I'd tie the words "fourth" and "favorite" with a feeling of "reaching." I still today associate clojure's map with spreading butter, or reduce with "rolling up." Chinese abacus math, developed to the point where thr actual abacus is no longer necessary, is a thing to behold. The human mind seems to make these connections easily and automatically. Why not leverage that? I'd love if text became just the shared human-legible bytecode for our own personal interfaces. (Check out this clip: ▶ this video where some people get fed targeting data from an AI plugged into all the camera feeds---and note especially around the middle of the video how
in “How can we develop transformative tools for thought?” · View on HN