user: Hirrolot
739 karma | created 6 years ago
recent submissions
Abstract Interpretation: From 0, 1, To ∞ [pdf]
(cs.nyu.edu)
6 pts|1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
4 pts|1 year ago|discuss
1 year ago|discuss
Artificial Intelligence Prepares for 2001 (1983)
(ojs.aaai.org)
1 pts|1 year ago|discuss
1 year ago|discuss
68 pts|1 year ago|6 comments
5 pts|1 year ago|1 comment
A multi-level tensor algebra superoptimizer
(github.com)
2 pts|1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
Wadler's Law
(wiki.haskell.org)
5 pts|1 year ago|2 comments