Hirrolot

Recent Submissions

1. 1. ▲ Cc1 (gcc-newbies-guide.readthedocs.io) 3 points · 1 year ago · 0 comments
2. 2. ▲ Abstract Interpretation: From 0, 1, To ∞ [pdf] (cs.nyu.edu) 6 points · 1 year ago · 0 comments
3. 3. ▲ Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (github.com) 4 points · 1 year ago · 0 comments
4. 4. ▲ Comefrom (en.wikipedia.org) 3 points · 1 year ago · 0 comments
5. 5. ▲ Artificial Intelligence Prepares for 2001 (1983) (ojs.aaai.org) 1 point · 1 year ago · 0 comments
6. 6. ▲ Abstract Interpretation as a Programming Language (2013) (arxiv.org) 68 points · 1 year ago · 6 comments
7. 7. ▲ Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (github.com) 5 points · 1 year ago · 1 comment
8. 8. ▲ A multi-level tensor algebra superoptimizer (github.com) 2 points · 1 year ago · 0 comments
9. 9. ▲ Wadler's Law (wiki.haskell.org) 5 points · 1 year ago · 2 comments
10. 10. ▲ Size Optimization Tricks (justine.lol) 1 point · 1 year ago · 0 comments