Raphael_Amiard

POSTS

• I can’t believe that I can prove that it can sort

  by Raphael_Amiard on 7/4/2022, 10:24 AM with 113 comments

• Nvidia Using Ada and SPARK

  by Raphael_Amiard on 2/8/2019, 9:51 AM with 0 comments

• Make with Ada: Redux

  by Raphael_Amiard on 10/1/2016, 5:35 PM with 27 comments

• Make with Ada: From bits to music

  by Raphael_Amiard on 8/10/2015, 3:35 PM with 0 comments

• Sublime-Typescript - A TypeScript plugin for Sublime Text

  by Raphael_Amiard on 1/5/2013, 10:46 AM with 0 comments

• The Global Village Construction Set - Open Source Ecology

  by Raphael_Amiard on 11/30/2012, 10:21 AM with 0 comments

• Z3 : An LLVM backed runtime for OCaml

  by Raphael_Amiard on 11/17/2012, 1:42 PM with 19 comments

• ClojureScript/Lua 0.1 alpha released

  by Raphael_Amiard on 8/1/2012, 12:39 PM with 0 comments

• A clean look at Coffeescript - part 1

  by Raphael_Amiard on 12/25/2010, 1:56 PM with 0 comments

• TwentySomething: How my generation works

  by Raphael_Amiard on 9/8/2010, 10:50 AM with 62 comments

• Clojure: Immutability at the Language Level

  by Raphael_Amiard on 4/5/2010, 7:15 PM with 7 comments

• New light on the pirate bay story ?

  by Raphael_Amiard on 7/5/2009, 11:11 AM with 1 comments