Forwarded from Programming Deadlock
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
Forwarded from Programming Deadlock
paramorphism-synthesis.pdf
370.6 KB
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
https://dl.acm.org/doi/pdf/10.1145/3656381
Suicide Linux (2009)
https://qntm.org/suicide
https://qntm.org/suicide
qntm.org
Suicide Linux
You know how sometimes if you mistype a filename in Bash, it corrects your spelling and runs the command anyway?* Such as when changing directory, or opening a file.
I have an idea: Suicide Linux. Any time - any time - you type any remotely incorrect command…
I have an idea: Suicide Linux. Any time - any time - you type any remotely incorrect command…