Comment by xigoi

6 months ago

After decades of research, we have finally come up with a way to make programs break in unpredictable ways on every compilation.

One could easily implement an Emacs (SLIME) plugin to "macroexpand" the (pseudo) expresion to real (concrete) Lisp code, and even to try again until the implementation satisfies you.

Then it becomes a concrete Lisp implementation and thus not unpredictable anymore.

... and yet, the author will probably get an email soon with $500m VC offer for a revolutionary way of coding.