If you’re curious about Ada or SPARK, a great place to start: https://learn.adac... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

andsoitis on Sept 2, 2025 | parent | context | favorite | on: Introduction to Ada: a project-based exploration w...

If you’re curious about Ada or SPARK, a great place to start: https://learn.adacore.com/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact