re: Which trend or advancement is being overlooked by most developers? VIEW POST

FULL DISCUSSION
 

SAT/SMT solvers are magic. I'm certain future software systems will have more solvers and theorem provers. For a good example I recommend reading a paper by Nuno P. Lopes and John Regehr: Future Directions for Optimizing Compilers.

code of conduct - report abuse