Bobinas P4G
  • Login

  • Public

    • Public
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Xerz 💗 [UNMOVED] (espectalll@mstdn.io)'s status on Sunday, 29-Apr-2018 11:44:03 UTC Xerz 💗 [UNMOVED] Xerz 💗 [UNMOVED]

    Let's rewrite seL4 in Rust when the language is formally verified :rainbowdance:

    In conversation Sunday, 29-Apr-2018 11:44:03 UTC from mstdn.io permalink

    Feeds

    • Activity Streams
    • RSS 2.0
    • Atom
    • Help
    • About
    • FAQ
    • Privacy
    • Source
    • Version
    • Contact

    Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.