HN Explorer

johnbender

↗ HN profile [ 81.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Deep Learning’s Climate Change Problem (forbes.com)
    1 points 0
  2. Human-Level Intelligence or Animal-Like Abilities? (arxiv.org)
    2 points 0
  3. What is a Type System for? (michaelrbernste.in)
    11 points 0
  4. Computer Science Theory in Practice (cstheory.stackexchange.com)
    1 points 0
  5. A Better SQL, Part 1 (johnbender.us)
    2 points 0
  6. Why I'm Getting a PhD (johnbender.us)
    137 points 124
  7. Web Based Haskell IDE/App Server from FP Complete (fpcomplete.com)
    51 points 18
  8. Automation Obsessed (mitchellh.com)
    3 points 0
  9. Reasoning About the Heap in Rust (johnbender.us)
    64 points 6
  10. Introducing Categories (jeremykun.com)
    2 points 0
  11. Categories – What’s the Point? (jeremykun.com)
    89 points 27
  12. Methods of Proof - Induction (jeremykun.com)
    4 points 0
  13. Logic Programming is overrated, at least for logic puzzles (2013) (programming-puzzler.blogspot.com)
    2 points 0
  14. Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (pragprog.com)
    2 points 0
  15. System F in CoffeeScript (johnbender.us)
    5 points 0
  16. Math Envy and CoffeeScript's Foibles, Part 2 (johnbender.us)
    57 points 1
  17. Don't Let Math Pull the Wool Over Your Eyes (online.wsj.com)
    3 points 1
  18. Shuffles, Bayes' Theorem and Continuations (blog.sigfpe.com)
    1 points 0
  19. How We Vagrant (blog.lusis.org)
    6 points 0
  20. An Overview of Gödel's Incompleteness Theorem (math.stackexchange.com)
    1 points 0
  21. The JavaScript SDK – Truly Asynchronous Loading (m.facebook.com)
    5 points 0
  22. US Govt. plant USB sticks in security study, 60% of subjects take the bait (thenextweb.com)
    1 points 0
  23. Web Programming in Haskell (pragprog.com)
    4 points 0
  24. Math Envy and CoffeeScript's Foibles (johnbender.us)
    69 points 30
  25. Splitting jQuery in Two, A Proposal (johnbender.us)
    1 points 0