- Cc1
by Hirrolot on 9/12/24, 10:53 PM, with comments
- Abstract Interpretation: From 0, 1, To ∞ [pdf]
by Hirrolot on 7/15/24, 7:15 PM, with comments
- Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds
by Hirrolot on 7/5/24, 3:24 PM, with comments
- Comefrom
by Hirrolot on 6/9/24, 5:55 PM, with comments
- Artificial Intelligence Prepares for 2001 (1983)
by Hirrolot on 5/28/24, 2:26 PM, with comments
- Abstract Interpretation as a Programming Language (2013)
by Hirrolot on 5/15/24, 8:52 AM, with comments
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode
by Hirrolot on 5/14/24, 11:39 PM, with comments
- A multi-level tensor algebra superoptimizer
by Hirrolot on 5/14/24, 2:09 AM, with comments
- Wadler's Law
by hirrolot on 4/22/24, 10:09 PM, with comments
- Size Optimization Tricks
by Hirrolot on 3/30/24, 2:02 PM, with comments
- The syntax of C in Backus-Naur Form
by Hirrolot on 3/5/24, 10:24 AM, with comments
- The Principle of Categorical Harmony
by Hirrolot on 3/5/24, 9:43 AM, with comments
- Solving SAT via Positive Supercompilation
by Hirrolot on 2/1/24, 5:01 PM, with comments
- Alan Kay – Programming and Scaling [video]
by Hirrolot on 11/1/23, 3:40 PM, with comments
- Dynamic Typing with Dependent Types
by Hirrolot on 10/31/23, 2:43 PM, with comments