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 · 5 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.

23 users / day
23 users / week
23 users / month
39 users / 6 months
0 local subscribers
5.55K subscribers
193 Posts
0 Comments
Modlog