Hacker News Reader

The blog post about verifying ChatGPT code with Kani is very interesting. [0]

It introduced me to model checking with Kani [1], which seems to be very similar to fuzzing, but with a different goal and underlying algorithm. Fuzzy testing involves random byte sequences whereas Kani's approach is exhaustive, while using some techniques to reduce the search space if possible.

[0]: https://medium.com/@carlmkadie/check-ai-generated-code-perfe...

[1]: https://github.com/model-checking/kani

this forgets https://github.com/rust-lang/rfcs/pull/3127 and https://github.com/rust-lang/rust/issues/111540

https://this-week-in-rust.org/blog/2023/05/17/this-week-in-r...

That was a month ago, not this week.

A few weeks later.. is CrabLang dead?

It never was alive. A fork where the only development is renaming everything to crablang is pointless.

It would allow you to completely avoid trademark issues. That it's identical to Rust is a benefit.

Avoid trademark issues in doing what?

The discord seems active, at least

Wow, #499. Do they release 52 issues a year? It'll be 10 years soon.

https://this-week-in-rust.org/blog/archives/index.html

The first issue was on 2013-06-07, just over ten years ago.

This Week in Rust 499