I found this[0].

[0]: https://thejunkland.com/blog/using-llms-to-reverse-javascrip...

Some software might even get more readable by using minification and this tool afterward :-D

At least it would bring some normalization to variable and function names.

I would have expected '≈' as the symbol.

Right, that's normally what I'd use in this situation. But that means something more like "approximately equal to", whereas this notation seems more akin to "equivalence" as in an equivalence class. I don't have a clear memory of what notation we used for that in school, but it wasn't this symbol.

I thought that was “approximately equal to”.

Reminds me of this[0] post on NullProgram about how to apply hot reloading to C.

[0]: https://nullprogram.com/blog/2014/12/23/

I'm reminded of an old project called Entity that sadly disappeared (I may have an old snapshot from before their site went down somewhere), where someone had built a GUI designer where you linked GUI events to code live. One of the supported languages was C, in which case on change the code was passed to GCC and compiled into an .so and swapped into the process the same way as here (it also supported Perl and JS, I think; it was an odd beast... And you could edit the code of the GUI designer from within the GUI designer itself)

Act-R is written in Common Lisp. The repo download is here[0].

[0]: http://act-r.psy.cmu.edu/actr7.x/actr7.x.zip