Raphael_Amiard's submissions

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