Communick News
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Alphane Moon@lemmy.world to Opensource@programming.dev · 5 months ago

Ironclad OS crafts Unix-like kernel in Ada and SPARK

www.theregister.com

external-link
message-square
0
link
fedilink
1
external-link

Ironclad OS crafts Unix-like kernel in Ada and SPARK

www.theregister.com

Alphane Moon@lemmy.world to Opensource@programming.dev · 5 months ago
message-square
0
link
fedilink
: There's more to safer systems languages than Rust
alert-triangle
You must log in or # to comment.

Opensource@programming.dev

opensource@programming.dev

Subscribe from Remote Instance

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
globe

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
  • mods:
  • Pierre-Yves Lapersonne@programming.dev
  • BE: 0.19.17
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org