user: Hirrolot

739 karma | created 6 years ago

recent submissions

Cc1 (gcc-newbies-guide.readthedocs.io)

3 pts|1 year ago|discuss

Abstract Interpretation: From 0, 1, To ∞ [pdf] (cs.nyu.edu)

6 pts|1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (github.com)

4 pts|1 year ago|discuss

Comefrom (en.wikipedia.org)

3 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Artificial Intelligence Prepares for 2001 (1983) (ojs.aaai.org)

1 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Abstract Interpretation as a Programming Language (2013) (arxiv.org)

68 pts|1 year ago|6 comments

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (github.com)

5 pts|1 year ago|1 comment

A multi-level tensor algebra superoptimizer (github.com)

2 pts|1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

Wadler's Law (wiki.haskell.org)

5 pts|1 year ago|2 comments