“New” is not what I look for. “Ideas that make a qualitative difference over past techniques” are what I’d like to see.
Years ago, I’m fairly sure I was aware of pretty much everything regarding computing that was going on in the world. Today, I’m definitely not aware of everything, so it’s reasonably likely that if there was something really great being done somewhere that I wouldn’t know about it.
I would be most interested in learning about “qualitatively more expressive” programming that is more in line with top-level engineering practices of the CAD<->SIM->FAB systems found in serious engineering of large complex systems in the physical worlds of civil, electrical, automotive, aeronautical, biological, etc. engineering.
In the CAD<->SIM part I’d like to see the designs understandable at the level of visualizable semantic requirements and specifications that can be automatically simulated (on supercomputers if necessary) in real-time, and then safely optimized in various ways for many targets.
Isolating semantics in the CAD<->SIM part implies that what is represented here is a felicitous combination of “compact and understandable”.
The FAB-part pragmatics are very interesting in their own right, and besides efficiencies, should be able to deal with enormous scaling and various kinds of latencies and errors, etc.
The above would be the minimal visions and goals that I think systems designers within computing and software engineering should be aiming for.
I’m not aware of something like this being worked on at present, but these days this could be just because I haven’t come across it.
text writing format directives inline like this bold like this