2 ms·
There have certainly been attempts. The Bret Victor school of thought, and LunaLang, for example. It doesn't seem that there's a massive shortage of ideas - whi
by Smaug123 6y ago
There have certainly been attempts. The Bret Victor school of thought, and LunaLang, for example. It doesn't seem that there's a massive shortage of ideas - which points more towards a generalised industrial lack of effort as the main culprit.
I guess Microsoft and the Lean theorem prover/programming language probably counts? I could see that becoming as big a thing as Mathematica.
- corysama 6y agoVPRI's STEPS was a great research project in this direction https://alarmingdevelopment.org/?p=229 https://alarmingdevelopment.org/?p=229 https://www.hackernewspapers.com/2017/1146-steps-toward-the-reinvention-of-programming-final-report-2012/ https://www.hackernewspapers.com/2017/1146-steps-toward-the-... But, then they published their final report.. did other stuff for a while... announced they brought together a great team with a long-term funding... and they've been doing... something? Nine years now and I haven't heard of any more progress on this front.
- zepto 6y agoIronically that group is oddly cynical about the importance of the UI/Visual representation.
- infinite8s 6y agoI remember reading Alan say (perhaps on Quora, where he seems to be quite active) that he got tired of fighting to fund VPRI every year.