Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Hirrolot

739 karmajoined January 17, 2020On HN

Recent submissions

Cc1 gcc-newbies-guide.readthedocs.io
3Hirrolot1ydiscuss
Abstract Interpretation: From 0, 1, To ∞ [pdf]cs.nyu.edu
6Hirrolot2ydiscuss
Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds github.com/lava-xyz
4Hirrolot2ydiscuss
Comefrom en.wikipedia.org
3Hirrolot2ydiscuss
Artificial Intelligence Prepares for 2001 (1983)ojs.aaai.org
1Hirrolot2ydiscuss
Abstract Interpretation as a Programming Language (2013)arxiv.org
68Hirrolot2y6 comments
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode github.com/lifting-bits
5Hirrolot2y1 comment
A multi-level tensor algebra superoptimizer github.com/mirage-project
2Hirrolot2ydiscuss
Wadler's Law wiki.haskell.org
5hirrolot2y2 comments
Size Optimization Tricks justine.lol
1Hirrolot2ydiscuss
The syntax of C in Backus-Naur Form cs.wmich.edu
2Hirrolot2ydiscuss
The Principle of Categorical Harmony ebrary.net
1Hirrolot2ydiscuss
Solving SAT via Positive Supercompilation hirrolot.github.io
153Hirrolot2y38 comments
Alan Kay – Programming and Scaling [video]youtube.com
4Hirrolot2ydiscuss
Dynamic Typing with Dependent Types citeseerx.ist.psu.edu
2Hirrolot2ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.