SPARK is not used for the whole system, but for the < 5% parts, which are safety... | Hacker News

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

Rochus 4 months ago | parent | context | favorite | on: Ladybird adopts Rust, with help from AI

SPARK is not used for the whole system, but for the < 5% parts, which are safety/security-related in a good architecture.

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