AdaCore Blog company blog
I can’t believe that I can prove that it can sort
When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…
- Points
- 270
- HN comments
- 113
- Submissions
- 1
- Cited by
- 4 commenters
Programming LanguagesSoftware Engineering2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 4, 2022 | I can’t believe that I can prove that it can sort by Raphael_Amiard | 270 | 113 |
Cited in comments
Linked from 4 Hacker News comments by 4 different people, from Jul 2022 to Oct 2025.
Most recent:
- v9v · Oct 6, 2025
- touisteur · Dec 28, 2024
- LiamPowell · Dec 28, 2024
- Jtsummers · Jul 13, 2022
