Empowering everyone to build reliable and efficient software. (more…)

Code: https://github.com/contextfreecode/numlimits0:00 Intro0:25 C++ (cpp)2:30 Ruby3:23 Zig5:22 Rust6:29 Pony8:43 Outro... (more…)

This is a short ad of a Rust programming language targeting experienced C++ developers.Being an ad, it will only whet your appetite, consult other resources ... (more…)

struct X { y: Y } impl X { fn y(&self) -> &Y { &self.y } } This defines an aggregate type containing a field y of type Y directly (no...

CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. (more…)