HN Explorer

gtani

↗ HN profile [ 73.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. New Microsoft CEO boosts ex-Clinton aide in staff shakeup (seattletimes.com)
    1 points 0
  2. Real World Ocaml (realworldocaml.org)

    github login required, but worth it

    31 points 14
  3. What I Wish I Knew When Learning Haskell (dev.stephendiehl.com)
    306 points 103
  4. Steer clear of Facebook’s Home for Android (seattletimes.com)
    62 points 34
  5. PC sales plunge, Microsoft and Windows 8 blamed (blogs.seattletimes.com)
    46 points 55
  6. As Math Grows More Complex, Will Computers Reign? (wired.com)
    32 points 41
  7. Concatenative languages reading list (joy, forth (gist.github.com)
    2 points 0
  8. C++ Grandmaster Certification: develop a compiler, stdlib, toolchain (cppgm.org)
    3 points -1
  9. Introduction to Haskell IO: tutorial on type system and inference, GHCi, (haskellforall.com)
    4 points 0
  10. Advice for New Graduates; Developing Software, tools, frameworks, languages etc (xenonique.co.uk)
    1 points 0
  11. Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems (cs.bham.ac.uk)
    1 points 0
  12. Physics, Topology, Logic, Computation: A Rosetta Stone (2009) [pdf] (math.ucr.edu)
    2 points 0
  13. Functional programming Books Review/Reading List (alexott.net)
    6 points 0
  14. Oregon programming languages summer school: Logic, Compilation, Verification (cs.uoregon.edu)
    2 points 0
  15. Are functional languages inherently slow? (flyingfrogblog.blogspot.co.uk)
    34 points 51
  16. K framework: An Executable Formal Semantics of C with Applications (lambda-the-ultimate.org)
    1 points 0
  17. Lambda Calculus, detailed history (D Scott)[PDF, 30pgs] (turing100.acm.org)
    7 points 0
  18. ICFP 2012 papers(ACM Internat.Conference on Functional Programming(PDF drafts) (github.com)
    2 points 0
  19. Mapping How Programming Languages Influenced Each Other According to Wikipedia (blog.ouseful.info)
    42 points 15
  20. Why Do Some Programming Languages Live and Others Die? (wired.com)
    32 points 26
  21. Haskell: Three Flavors of MVar (neilmitchell.blogspot.com)
    2 points 0
  22. Most Important GHC (Haskell) extensions to learn/use? (permalink.gmane.org)
    1 points 0
  23. Liquid Types, static verification: deduction, model checking, type systems (research.microsoft.com)
    79 points 14
  24. Emerging languages: Tour of horizon (dozens of languages/libs [pdf, 51 slide] (slideshare.net)
    2 points 0
  25. Building New Systems for Scientists : collaboration tools, open publishing (thefundable.blogspot.com)
    1 points 0