Hirrolot

Cc1

3 points by Hirrolot 9 months ago | 0 comments

Abstract Interpretation: From 0, 1, To ∞ [pdf]

6 points by Hirrolot 11 months ago | 0 comments

Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds

4 points by Hirrolot 1 year ago | 0 comments

Comefrom

3 points by Hirrolot 1 year ago | 0 comments

Artificial Intelligence Prepares for 2001 (1983)

1 point by Hirrolot 1 year ago | 0 comments

Abstract Interpretation as a Programming Language (2013)

68 points by Hirrolot 1 year ago | 6 comments

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode

5 points by Hirrolot 1 year ago | 1 comment

A multi-level tensor algebra superoptimizer

2 points by Hirrolot 1 year ago | 0 comments

Wadler's Law

5 points by hirrolot 1 year ago | 2 comments

Size Optimization Tricks

1 point by Hirrolot 1 year ago | 0 comments

The syntax of C in Backus-Naur Form

2 points by Hirrolot 1 year ago | 0 comments

The Principle of Categorical Harmony

1 point by Hirrolot 1 year ago | 0 comments

Solving SAT via Positive Supercompilation

153 points by Hirrolot 1 year ago | 38 comments