Y Hacker News new | ask | show | jobs

user: Hirrolot created: 2020-01-17 karma: 739 submissions: Cc1 3 points | 0 comments Abstract Interpretation: From 0, 1, To ∞ [pdf] 6 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds 4 points | 0 comments Comefrom 3 points | 0 comments 0 points | 0 comments Artificial Intelligence Prepares for 2001 (1983) 1 points | 0 comments 0 points | 0 comments Abstract Interpretation as a Programming Language (2013) 68 points | 6 comments Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode 5 points | 1 comments A multi-level tensor algebra superoptimizer 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Wadler's Law 5 points | 2 comments 0 points | 0 comments 0 points | 0 comments Size Optimization Tricks 1 points | 0 comments The syntax of C in Backus-Naur Form 2 points | 0 comments The Principle of Categorical Harmony 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Solving SAT via Positive Supercompilation 153 points | 38 comments