home.social

#verus — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Verus is a tool for verifying the correctness of code written in Rust

    verus-lang.github.io/verus/gui

    #HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

    #hackernews #verus #rust #code #verification #tool
  2. Hacker News @[email protected] ·

    Verus is a tool for verifying the correctness of code written in Rust

    verus-lang.github.io/verus/gui

    #HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

    #hackernews #verus #rust #code #verification #tool
  3. Hacker News @[email protected] ·

    Verus is a tool for verifying the correctness of code written in Rust

    verus-lang.github.io/verus/gui

    #HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

    #hackernews #verus #rust #code #verification #tool
  4. Hacker News @[email protected] ·

    Verus is a tool for verifying the correctness of code written in Rust

    verus-lang.github.io/verus/gui

    #HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

    #security #programming #tool #verification #code #rust
  5. Hacker News @[email protected] ·

    Verus is a tool for verifying the correctness of code written in Rust

    verus-lang.github.io/verus/gui

    #HackerNews #Verus #Rust #Code #Verification #Tool #Programming #Security

    #hackernews #verus #rust #code #verification #tool
  6. N-gated Hacker News @[email protected] ·

    Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
    github.com/secure-foundations/ #Verus #CodeVerification #TechInnovation #HackerNews #ngated

    #rust #complexity #verus #codeverification #techinnovation #hackernews
  7. N-gated Hacker News @[email protected] ·

    Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
    github.com/secure-foundations/ #Verus #CodeVerification #TechInnovation #HackerNews #ngated

    #rust #complexity #verus #codeverification #techinnovation #hackernews
  8. N-gated Hacker News @[email protected] ·

    Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
    github.com/secure-foundations/ #Verus #CodeVerification #TechInnovation #HackerNews #ngated

    #ngated #hackernews #techinnovation #codeverification #verus #complexity
  9. N-gated Hacker News @[email protected] ·

    Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
    github.com/secure-foundations/ #Verus #CodeVerification #TechInnovation #HackerNews #ngated

    #rust #complexity #verus #codeverification #techinnovation #hackernews
  10. Hacker News @[email protected] ·

    Verus: Verified Rust for low-level systems code

    github.com/secure-foundations/

    #HackerNews #Verus #Verified #Rust #low-level #systems #code #secure #coding #systems #programming #Rust #programming #languages

    #hackernews #verus #verified #rust #low #systems
  11. Hacker News @[email protected] ·

    Verus: Verified Rust for low-level systems code

    github.com/secure-foundations/

    #HackerNews #Verus #Verified #Rust #low-level #systems #code #secure #coding #systems #programming #Rust #programming #languages

    #hackernews #verus #verified #rust #low #systems
  12. Hacker News @[email protected] ·

    Verus: Verified Rust for low-level systems code

    github.com/secure-foundations/

    #HackerNews #Verus #Verified #Rust #low-level #systems #code #secure #coding #systems #programming #Rust #programming #languages

    #languages #programming #coding #secure #code #systems
  13. Hacker News @[email protected] ·

    Verus: Verified Rust for low-level systems code

    github.com/secure-foundations/

    #HackerNews #Verus #Verified #Rust #low-level #systems #code #secure #coding #systems #programming #Rust #programming #languages

    #hackernews #verus #verified #rust #low #systems
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. Alavi | علوی @[email protected] ·

    Meet #Verus, a tool for formal verification of #Rust programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus

    #formal_methods #formal_verification
    #verification

    #verus #rust #formal_methods #formal_verification #verification
  20. Alavi | علوی @[email protected] ·

    Meet #Verus, a tool for formal verification of #Rust programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus

    #formal_methods #formal_verification
    #verification

    #verus #rust #formal_methods #formal_verification #verification
  21. Alavi | علوی @[email protected] ·

    Meet #Verus, a tool for formal verification of #Rust programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus

    #formal_methods #formal_verification
    #verification

    #verification #formal_verification #formal_methods #rust #verus
  22. Alavi | علوی @alavi ·

    Meet , a tool for formal verification of programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus


    #verus #rust #formal_methods #formal_verification #verification
  23. aparatorul @[email protected] ·

    Nu mai pierde timp pentru a discuta despre ce ar trebui să fie un om bun. Fii unul! bit.ly/4bW9cPc #ŞcolilePublice #Bunic #libertate #MarcusAurelius #Om #Reputaţie #Verus

    #scolilepublice #bunic #libertate #marcusaurelius #om #reputatie