Hacker News new | ask | show | jobs
by johnisgood 585 days ago
Which they are (compile time) with Ada / SPARK, without any runtime costs.