from Hacker News

Raphael_Amiard

joined 3/30/09, 5:13 PM has 2230 karma

http://hackernewsers.com/users/Raphael_Amiard.html

I can’t believe that I can prove that it can sort
by Raphael_Amiard on 7/4/22, 10:24 AM, with 113 comments
Nvidia Using Ada and SPARK
by Raphael_Amiard on 2/8/19, 9:51 AM, with 0 comments