For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Xr0 verifier, guarantee the safety of C programs at compile time (xr0.dev)
114 points by Alifatisk 3 months ago | past | 67 comments
Show HN: Xr0 is a Static Debugger for C (xr0.dev)
36 points by betz_ on May 25, 2024 | past | 4 comments
Xr0: C but Safe (xr0.dev)
144 points by synergy20 on April 4, 2024 | past | 144 comments
Xr0 Makes C Safer than Rust (xr0.dev)
49 points by akiarie on March 28, 2024 | past | 41 comments
Show HN: Xr0 – Vanilla C Made Safe with Annotations (xr0.dev)
17 points by akiarie on Sept 16, 2023 | past | 13 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You