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

YHacker Newsscreenshots

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

First screen, captured 9 months ago.

Looks similar

Screenshot of xr0.dev: Xr0: C but Safe

Xr0: C but Safe (xr0.dev)

124 points by synergy20 2 years ago | 95 comments

Screenshot of evanjones.ca: Setenv Is Not Thread Safe and C Doesn't Want to Fix It

Setenv Is Not Thread Safe and C Doesn't Want to Fix It (evanjones.ca)

184 points by r4um 2 years ago | 259 comments

Screenshot of dxuuu.xyz: Truthiness in C

Truthiness in C (dxuuu.xyz)

72 points by todsacerdoti 3 years ago | 23 comments

Screenshot of awesomekling.github.io: MutexProtected: A C++ Pattern for Easier Concurrency

MutexProtected: A C++ Pattern for Easier Concurrency (awesomekling.github.io)

112 points by soheilpro 3 years ago | 111 comments

Screenshot of sibellavia.lol: Safe C++ proposal is not being continued

Safe C++ proposal is not being continued (sibellavia.lol)

160 points by charles_irl 1 year ago | 142 comments

Screenshot of techblog.rosemanlabs.com: A safe, non-owning C++ pointer class

A safe, non-owning C++ pointer class (techblog.rosemanlabs.com)

39 points by niekb 1 year ago | 24 comments