Raphael_Amiard Karma 2,247 Created 16 years ago Recent Submissions 1. ▲ I can’t believe that I can prove that it can sort (blog.adacore.com) 270 points · 3 years ago · 113 comments All submissions on HN · View profile on HN