TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by Hirrolot
1
Cc1
3 points
by
Hirrolot
8 months ago
no comments
2
Abstract Interpretation: From 0, 1, To ∞ [pdf]
6 points
by
Hirrolot
10 months ago
no comments
3
Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds
4 points
by
Hirrolot
11 months ago
no comments
4
Comefrom
3 points
by
Hirrolot
12 months ago
no comments
5
Artificial Intelligence Prepares for 2001 (1983)
1 points
by
Hirrolot
12 months ago
no comments
6
Abstract Interpretation as a Programming Language (2013)
68 points
by
Hirrolot
about 1 year ago
6 comments
7
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode
5 points
by
Hirrolot
about 1 year ago
1 comment
8
A multi-level tensor algebra superoptimizer
2 points
by
Hirrolot
about 1 year ago
no comments
9
Wadler's Law
5 points
by
hirrolot
about 1 year ago
2 comments
10
Size Optimization Tricks
1 points
by
Hirrolot
about 1 year ago
no comments
11
The syntax of C in Backus-Naur Form
2 points
by
Hirrolot
about 1 year ago
no comments
12
The Principle of Categorical Harmony
1 points
by
Hirrolot
about 1 year ago
no comments
13
Solving SAT via Positive Supercompilation
153 points
by
Hirrolot
over 1 year ago
38 comments
← Previous
Next →