| user: | hirrolot |
| created: | January 17, 2020 |
| karma: | 739 |
| 1. | Cc1(gcc-newbies-guide.readthedocs.io) |
| 2. | Abstract Interpretation: From 0, 1, To ∞ [pdf](cs.nyu.edu) |
| 3. | |
| 4. | Comefrom(en.wikipedia.org) |
| 5. | Artificial Intelligence Prepares for 2001 (1983)(ojs.aaai.org) |
| 6. | |
| 7. | |
| 8. | A multi-level tensor algebra superoptimizer(github.com) |
| 9. | Wadler's Law(wiki.haskell.org) |
| 10. | Size Optimization Tricks(justine.lol) |
| 11. | The syntax of C in Backus-Naur Form(cs.wmich.edu) |
| 12. | The Principle of Categorical Harmony(ebrary.net) |
| 13. | Solving SAT via Positive Supercompilation(hirrolot.github.io) |