home.social

#ableos — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #ableos, aggregated by home.social.

  1. AbleTheAbove @[email protected] ·

    @redmp Hey! I've been talking back and forth with a fellow working on verus about using verus for ableOS to do formally verified operating system development!

    Tag Spam

    #ableos #verus #rust #Osdev #operatingSystem

    #ableos #verus #rust #osdev #operatingsystem
  2. AbleTheAbove @[email protected] ·

    @redmp Hey! I've been talking back and forth with a fellow working on verus about using verus for ableOS to do formally verified operating system development!

    Tag Spam

    #ableos #verus #rust #Osdev #operatingSystem

    #ableos #verus #rust #osdev #operatingsystem
  3. AbleTheAbove @[email protected] ·

    @redmp Hey! I've been talking back and forth with a fellow working on verus about using verus for ableOS to do formally verified operating system development!

    Tag Spam

    #ableos #verus #rust #Osdev #operatingSystem

    #ableos #verus #rust #osdev #operatingsystem
  4. AbleTheAbove @[email protected] ·

    @redmp Hey! I've been talking back and forth with a fellow working on verus about using verus for ableOS to do formally verified operating system development!

    Tag Spam

    #ableos #verus #rust #Osdev #operatingSystem

    #operatingsystem #osdev #rust #verus #ableos
  5. AbleTheAbove @[email protected] ·

    @redmp Hey! I've been talking back and forth with a fellow working on verus about using verus for ableOS to do formally verified operating system development!

    Tag Spam

    #ableos #verus #rust #Osdev #operatingSystem

    #ableos #verus #rust #osdev #operatingsystem