HN Explorer

Raphael_Amiard

↗ HN profile [ 57.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. I can’t believe that I can prove that it can sort (blog.adacore.com)
    270 points 123
  2. Nvidia Using Ada and SPARK (blog.adacore.com)
    6 points 0
  3. Make with Ada: Redux (nocko.se)
    97 points 27
  4. Make with Ada: From bits to music (blog.adacore.com)
    2 points 0
  5. Sublime-Typescript - A TypeScript plugin for Sublime Text (github.com)
    1 points 0
  6. The Global Village Construction Set - Open Source Ecology (vimeo.com)
    1 points 0
  7. Z3 : An LLVM backed runtime for OCaml (raph-amiard.github.com)
    61 points 19
  8. ClojureScript/Lua 0.1 alpha released (raph-amiard.github.com)
    3 points 0
  9. A clean look at Coffeescript - part 1 (raphamiard.posterous.com)
    4 points 0
  10. TwentySomething: How my generation works (rebekahmonson.com)
    70 points 65
  11. Clojure: Immutability at the Language Level (developer.com)
    39 points 8
  12. New light on the pirate bay story ? (reddit.com)
    3 points 1