Ironclad OS crafts Unix-like kernel in Ada and SPARK

www.theregister.com

Ironclad OS crafts Unix-like kernel in Ada and SPARK

www.theregister.com

Alphane Moon@lemmy.world to

Opensource@programming.dev · 7 months ago

: There's more to safer systems languages than Rust

You must log in or # to comment.

Chat

Opensource@programming.dev

opensource@programming.dev

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !opensource@programming.dev

A community for discussion about open source software! Ask questions, share knowledge, share news, or post interesting stuff related to it!

Credits

Icon base by Lorc under CC BY 3.0 with modifications to add a gradient

⠀

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

118 users / day
208 users / week
1.06K users / month
2.68K users / 6 months
1 local subscriber
6.15K subscribers
854 Posts
1.51K Comments
Modlog