HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Raphael_Amiard
2,255 karma · joined March 30, 2009
submissions
comments
I can’t believe that I can prove that it can sort
blog.adacore.com
·
270 pts
·
Raphael_Amiard
·
113
Nvidia Using Ada and SPARK
blog.adacore.com
·
6 pts
·
Raphael_Amiard
·
0
Make with Ada: Redux
nocko.se
·
97 pts
·
Raphael_Amiard
·
27
Make with Ada: From bits to music
blog.adacore.com
·
2 pts
·
Raphael_Amiard
·
0
Sublime-Typescript - A TypeScript plugin for Sublime Text
github.com
·
1 pts
·
Raphael_Amiard
·
0
The Global Village Construction Set - Open Source Ecology
vimeo.com
·
1 pts
·
Raphael_Amiard
·
0
Z3 : An LLVM backed runtime for OCaml
raph-amiard.github.com
·
61 pts
·
Raphael_Amiard
·
19
ClojureScript/Lua 0.1 alpha released
raph-amiard.github.com
·
3 pts
·
Raphael_Amiard
·
0
A clean look at Coffeescript - part 1
raphamiard.posterous.com
·
4 pts
·
Raphael_Amiard
·
0
TwentySomething: How my generation works
rebekahmonson.com
·
70 pts
·
Raphael_Amiard
·
62
Clojure: Immutability at the Language Level
developer.com
·
39 pts
·
Raphael_Amiard
·
7
New light on the pirate bay story ?
reddit.com
·
3 pts
·
Raphael_Amiard
·
1