It's not a secret that I'm a big fan of Elixir, so when I started doing Rust development I tried to b... (more…)
Read more »
The rusty shell toolkit for hackers. Contribute to MrPicklePinosaur/shrs development by creating an account on GitHub. (more…)
Read more »
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…)
Read more »
This book is for people who are writing APIs in Rust. In particular, APIs that involve complex abstractions: variadics, state machines, extensible architectures, and so on. (more…)
Read more »
Tests that affect networking subsystem are destined to be error-prone. Network stack acts as a shared environment, so tests can’t really run in parallel. God forbid if you tickle the firewall rules and the test fails to restore the original state. You end... (more…)
Read more »