7 ms·
This Week in Rust 499
- transportheap 3y agothis forgets https://github.com/rust-lang/rfcs/pull/3127 https://github.com/rust-lang/rfcs/pull/3127 and https://github.com/rust-lang/rust/issues/111540 https://github.com/rust-lang/rust/issues/111540
- chrismorgan 3y agoThat was a month ago, not this week.
- lambda 3y agohttps://this-week-in-rust.org/blog/2023/05/17/this-week-in-rust-495/#approved-rfcs https://this-week-in-rust.org/blog/2023/05/17/this-week-in-r...
- philipov 3y agoWow, #499. Do they release 52 issues a year? It'll be 10 years soon.
- chrismorgan 3y agohttps://this-week-in-rust.org/blog/archives/index.html https://this-week-in-rust.org/blog/archives/index.html The first issue was on 2013-06-07, just over ten years ago.
- hackerbrother 3y agoA few weeks later.. is CrabLang dead?
- jyxent 3y agoIt never was alive. A fork where the only development is renaming everything to crablang is pointless.
- zappchance 3y agoThe discord seems active, at least
- rocho 3y agoThe 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-perfectly-and-automatically-d5b61acff741 https://medium.com/@carlmkadie/check-ai-generated-code-perfe... [1]: https://github.com/model-checking/kani https://github.com/model-checking/kani