In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Tokio. (more…)
Read more »
Rust has a runtime. No really it does! I blew past that aspect in my most recent post "Oxidizing the technical interview" when I put in the line: The greatest trick the Devil ever played was convincing C and Rust programmers their language has no runtime.... (more…)
Read more »
2023 Advent of Code in Ada. Contribute to johnperry-math/AoC2023 development by creating an account on GitHub. (more…)
Read more »
Serialisation library with zero dependencies. Contribute to not-fl3/nanoserde development by creating an account on GitHub. (more…)
Read more »
A number of programming languages offer a feature called “Named Arguments” or “Labeled Arguments”, which makes some function calls much more readable and safer.
Let’s see how hard it would be to add these ... (more…)
Read more »