Thanks for the question! I've heard of MPS but I don't know much about it. I need to watch the demos/screencasts! I'm very much interested in "tools for thou

Thanks for the question! I've heard of MPS but I don't know much about it. I need to watch the demos/screencasts! I'm very much interested in "tools for thought," which could include deduction assistants, but also other tools to augment human intellect. Barliman is the first program I've worked on with this tools-for-though mindset, which I've found very stimulating. I've been influenced by Englebart, Vannevar Bush, Licklider, Alan Kay, Alan Borning, Brett Victor, Alex Warth, Michael Nielsen, among others. I can point you to lots of resources on this topic, if you are interested. Michael Ballantyne and I started a mailing list/set of Google Hangouts called "As We May Thunk" to explore some of these ideas. You might find some of the hangouts interesting: http://webyrd.net/thunk.html http://webyrd.net/thunk.html https://groups.google.com/forum/#!forum/as-we-may-thunk https://groups.google.com/forum/#!forum/as-we-may-thunk I'm not sure I fully understand your question though. It sounds like you may have a specific tool or feature in mind. Can you elaborate a little more? I'm always up for email or a hangout if this isn't the best venue.