Y
Hacker News
new
|
ask
|
show
|
jobs
by
vineyardmike
2020 days ago
> force government entities to use formally verified systems instead of the [current commercial options]
When do we complain about the even more expensive defense budget in this story?