HN Explorer

rntz

↗ HN profile [ 281 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Evaluation order and nontermination in query languages (rntz.net)
    1 points 0
  2. Deconstructing Datalog (rntz.net)
    18 points 0
  3. Who invented vector clocks? (decomposition.al)
    125 points 39
  4. Ink Traps and Pals (tosche.net)
    3 points 1
  5. Covid vaccine passes phase 1 human trial (thelancet.com)
    47 points 23
  6. What is soundness in static analysis? (2017) (pl-enthusiast.net)
    34 points 3
  7. Computing, Climate Change and All Our Relationships (video with Transcript) (deconstructconf.com)
    2 points 0
  8. Are artifacts objects or processes? (rntz.net)
    1 points 0
  9. Why I am not a fan of Cabal or Stack (rntz.net)
    3 points 0
  10. Sequent Calculus as a Compiler Intermediate Language [pdf] (microsoft.com)
    3 points 0
  11. What is soundness in static analysis? (2017) (pl-enthusiast.net)
    1 points 0
  12. Semilattices and their tensor products (rntz.net)
    2 points 0
  13. None, One, Many – What's the Difference, Anyhow? [pdf] (drops.dagstuhl.de)
    6 points 0
  14. Treatment of Migrants Evokes Memories of Europe's Darkest Hour (mobile.nytimes.com)
    2 points 1
  15. Haptic Turk: A Motion Platform Based on People (2014) [pdf] (xman.tw)
    5 points 0
  16. Ken Thompson's Trusting Trust as a tiny self-hosting lisp compiler (github.com)
    4 points 0
  17. Option and Null in Dynamic Languages (rntz.net)
    37 points 88
  18. Computer program that learns to play classic NES games (youtube.com)
    2 points 0
  19. Abolishing truancy and unintended consequences (jseliger.com)
    3 points 0
  20. Reason as memetic immune disorder (lesswrong.com)
    33 points 13