|
|
| 1. | | I can’t believe that I can prove that it can sort (adacore.com) | |
270 points by Raphael_Amiard on July 4, 2022 | past | 113 comments
|
|
| 2. | | Nvidia Using Ada and SPARK (adacore.com) | |
6 points by Raphael_Amiard on Feb 8, 2019 | past
|
|
| 3. | | Make with Ada: Redux (nocko.se) | |
97 points by Raphael_Amiard on Oct 1, 2016 | past | 27 comments
|
|
| 4. | | Make with Ada: From bits to music (adacore.com) | |
2 points by Raphael_Amiard on Aug 10, 2015 | past
|
|
| 5. | | Sublime-Typescript - A TypeScript plugin for Sublime Text (github.com/raph-amiard) | |
1 point by Raphael_Amiard on Jan 5, 2013 | past
|
|
| 6. | | The Global Village Construction Set - Open Source Ecology (vimeo.com) | |
1 point by Raphael_Amiard on Nov 30, 2012 | past
|
|
| 7. | | Z3 : An LLVM backed runtime for OCaml (raph-amiard.github.com) | |
61 points by Raphael_Amiard on Nov 17, 2012 | past | 19 comments
|
|
| 8. | | ClojureScript/Lua 0.1 alpha released (raph-amiard.github.com) | |
3 points by Raphael_Amiard on Aug 1, 2012 | past
|
|
| 9. | | A clean look at Coffeescript - part 1 (raphamiard.posterous.com) | |
4 points by Raphael_Amiard on Dec 25, 2010 | past
|
|
| 10. | | TwentySomething: How my generation works (rebekahmonson.com) | |
70 points by Raphael_Amiard on Sept 8, 2010 | past | 62 comments
|
|
| 11. | | Clojure: Immutability at the Language Level (developer.com) | |
39 points by Raphael_Amiard on April 5, 2010 | past | 7 comments
|
|
| 12. | | New light on the pirate bay story ? (reddit.com) | |
3 points by Raphael_Amiard on July 5, 2009 | past | 1 comment
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
