why #C compilers like to exploit the undefined behavior of signed overflow in order to generate decent loop code with int counters on LP64 platforms.
Kaz Kylheku’s TXR programming language, which contains a Lisp with delimited continuations and some built-in pattern-matching and backtracking for text munging. Kind of like a modern SNOBOL.
The Martelli and Montanari unification algorithm, which seems to be the one of the various unification #algorithms that everyone uses for #logic. This original #paper #pdf is 25 pages and clearer than most of the attempts at exegesis that I’ve seen.
Rice University has released a bunch of #DSP software as Matlab toolboxes; this one is for doing stuff with #wavelets. It’s under a 3-clause BSD license.
This is the overall collection of Rice University #DSP software.
a #C++ program demonstrating the violation of strict aliasing rules (and thus getting undefined behavior) without using any casts.