HN Explorer

ayberkt

↗ HN profile [ 65.0 ms ] full profile
Karma
922
Created
December 21, 2012 (13y ago)
Submissions
0
  1. Carcinisation (en.wikipedia.org)
    7 points 1
  2. Social Distancing Simulator (social-distancing-simulator.andrej.com)
    2 points 0
  3. ACM signs letter opposing free distribution of peer-reviewed journal articles (newsroom.publishers.org)
    2 points 3
  4. “Math is just a corner of computer science” (youtube.com)
    1 points 0
  5. The man who would teach machines to think (theatlantic.com)
    2 points 0
  6. Constructive mathematics and computer programming (1979) [pdf] (cs.tufts.edu)
    5 points 0
  7. Gerald Sussman's Foreword to the Little Schemer (ccs.neu.edu)
    2 points 0
  8. Physical explanation of Dijkstra's algorithm (2011) [video] (youtube.com)
    51 points 2
  9. An optimizing compiler for a purely functional web app language (youtube.com)
    1 points 0
  10. What is a stateless user interface? (blog.ezyang.com)
    94 points 29
  11. SMT based verification in Haskell (leventerkok.github.io)
    2 points 0
  12. It's All About Morphisms (bartoszmilewski.com)
    1 points 0
  13. Cons conflict resolved at last (jwz.org)
    2 points 0
  14. Sokal affair (en.wikipedia.org)
    2 points 0
  15. No Silver Bullet (1986) [pdf] (worrydream.com)
    55 points 34
  16. No Silver Bullet (1995) [pdf] (worrydream.com)
    2 points 0
  17. Cyclomatic complexity (en.wikipedia.org)
    3 points 0
  18. Sokal affair (en.wikipedia.org)
    1 points 0
  19. Unix Pipes as IO Monads (2001) (okmij.org)
    46 points 1
  20. How I develop with Nix (ocharles.org.uk)
    144 points 57
  21. J-Bob – The proof assistant from “The Little Prover” (github.com)
    59 points 4
  22. Tying the knot (wiki.haskell.org)
    17 points 0
  23. The Little Prover (amazon.com)
    1 points 0
  24. Aether as a Reddit alternative (getaether.net)
    2 points 0
  25. Haskell's currying explained in Python (ayberkt.me)
    3 points 0