home.social

#xr0verifier — Public Fediverse posts

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

fetched live
  1. Hacker News @[email protected] ·

    Xr0 verifier, guarantee the safety of C programs at compile time

    xr0.dev

    #HackerNews #Xr0Verifier #CPrograms #CompileTime #Safety #SoftwareDevelopment

    #hackernews #xr0verifier #cprograms #compiletime #safety #softwaredevelopment
  2. Hacker News @[email protected] ·

    Xr0 verifier, guarantee the safety of C programs at compile time

    xr0.dev

    #HackerNews #Xr0Verifier #CPrograms #CompileTime #Safety #SoftwareDevelopment

    #hackernews #xr0verifier #cprograms #compiletime #safety #softwaredevelopment