Recently, @withoutboats challenged me to demonstrate a hypothetical version of Pin with different guarantees, and show how it would be sound. However, while working on that, I stumbled upon unsoundness in the actual Pin. I haven't seen this reported bef... (more…)
Read more »
Music performing filesystem. Contribute to t-sin/koto development by creating an account on GitHub. (more…)
Read more »
A Rust compiler front-end for IDEs. Contribute to rust-analyzer/rust-analyzer development by creating an account on GitHub. (more…)
Read more »
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project. (more…)
Read more »
Winnow is a parser-combinator library for Rust and
0.5
is now out.
I last wrote about the
0.3.0 release, so I'll be covering all of the releases since then. (more…)
Read more »