News for hackers. Stuff that matters.

A comment on The Lions Operating System. Parent comment

Re:The Lions Operating System by GhosT078 on Saturday November 22, 2025 @01:56PM (#46017250)
Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft. Similarly, SPARK can be used incrementally, proving lower level or critical parts first.
[ Parent | on HN ]
Re:The Lions Operating System by whytevuhuni on Saturday November 22, 2025 @02:50PM (#46017672)
How does this SPARK/non-SPARK mix compare to Rust's safe/unsafe mix though, in terms of both safety and pragmatism for larger non-interplanetary software? Like, for creating a CLI tool, a GUI application, a game, a web server?
[ Parent | on HN ]