HN Explorer

Hirrolot

↗ HN profile [ 286 ms ] full profile
Karma
719
Created
January 17, 2020 (6y ago)
Submissions
0
  1. Cc1 (gcc-newbies-guide.readthedocs.io)
    3 points 1
  2. Abstract Interpretation: From 0, 1, To ∞ [pdf] (cs.nyu.edu)
    6 points 0
  3. Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (github.com)
    4 points 0
  4. Comefrom (en.wikipedia.org)
    3 points 0
  5. Artificial Intelligence Prepares for 2001 (1983) (ojs.aaai.org)
    1 points 0
  6. Abstract Interpretation as a Programming Language (2013) (arxiv.org)
    68 points 7
  7. Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (github.com)
    5 points 1
  8. A multi-level tensor algebra superoptimizer (github.com)
    2 points 0
  9. Size Optimization Tricks (justine.lol)
    1 points 0
  10. The syntax of C in Backus-Naur Form (cs.wmich.edu)
    2 points 0
  11. The Principle of Categorical Harmony (ebrary.net)
    1 points 0
  12. Solving SAT via Positive Supercompilation (hirrolot.github.io)
    153 points 40
  13. Alan Kay – Programming and Scaling [video] (youtube.com)
    4 points 0
  14. Dynamic Typing with Dependent Types (citeseerx.ist.psu.edu)
    2 points 0
  15. How to implement dependent types in 80 lines of code (gist.github.com)
    3 points 0
  16. x86 Opcode and Instruction Reference (ref.x86asm.net)
    3 points 0
  17. Barebones Lambda Cube in OCaml (gist.github.com)
    3 points 0
  18. Checking Dependent Types with Normalization by Evaluation: A Tutorial (davidchristiansen.dk)
    4 points 0
  19. “Lambda Calculus” by Carl Burch, Hendrix College, September 2012 (cburch.com)
    2 points 0
  20. Some Internet Architectural Guidelines and Philosophy (2002) (datatracker.ietf.org)
    1 points 0
  21. 1 points 0
  22. Makeabetter.computer – Microgrants for projects that make computers better (makeabetter.computer)
    179 points 89
  23. Go Type System Overview (go101.org)
    1 points 0
  24. 1 points 0
  25. 1 points 0