YHacker Newsscreenshots

xr0.dev on Hacker News

4 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of xr0.dev: Xr0 verifier, guarantee the safety of C programs at compile time

Xr0 verifier, guarantee the safety of C programs at compile time (xr0.dev)

93 points by Alifatisk 9 months ago | 29 comments

Screenshot pending…

Show HN: Xr0 is a Static Debugger for C (xr0.dev)

9 points by betz_ 2 years ago | 1 comments

Screenshot of xr0.dev: Xr0: C but Safe

Xr0: C but Safe (xr0.dev)

124 points by synergy20 2 years ago | 95 comments

Screenshot pending…

Xr0 Makes C Safer than Rust (xr0.dev)

10 points by akiarie 2 years ago | 2 comments