2Abstract Interpretation: From 0, 1, To ∞ [pdf] (opens in new tab)(cs.nyu.edu)PDF6Hirrolot1y ago0Save
3Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (opens in new tab)(github.com)GitHub4Hirrolot1y ago0Save
5Artificial Intelligence Prepares for 2001 (1983) (opens in new tab)(ojs.aaai.org)1Hirrolot2y ago0Save
6Abstract Interpretation as a Programming Language (2013) (opens in new tab)(arxiv.org)arXiv68Hirrolot2y ago6Save
7Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (opens in new tab)(github.com)GitHub5Hirrolot2y ago1Save
8A multi-level tensor algebra superoptimizer (opens in new tab)(github.com)GitHub2Hirrolot2y ago0Save
13Solving SAT via Positive Supercompilation (opens in new tab)(hirrolot.github.io)153Hirrolot2y ago38Save
14Alan Kay – Programming and Scaling [video] (opens in new tab)(youtube.com)Video4Hirrolot2y ago0Save
