[HN Gopher] This Week in Rust 499
       ___________________________________________________________________
        
       This Week in Rust 499
        
       Author : unripe_syntax
       Score  : 98 points
       Date   : 2023-06-15 07:37 UTC (15 hours ago)
        
 (HTM) web link (this-week-in-rust.org)
 (TXT) w3m dump (this-week-in-rust.org)
        
       | transportheap wrote:
       | this forgets https://github.com/rust-lang/rfcs/pull/3127 and
       | https://github.com/rust-lang/rust/issues/111540
        
         | lambda wrote:
         | https://this-week-in-rust.org/blog/2023/05/17/this-week-in-r...
        
         | chrismorgan wrote:
         | That was a month ago, not this week.
        
       | rocho wrote:
       | 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
        
       | philipov wrote:
       | Wow, #499. Do they release 52 issues a year? It'll be 10 years
       | soon.
        
         | chrismorgan wrote:
         | https://this-week-in-rust.org/blog/archives/index.html
         | 
         | The first issue was on 2013-06-07, just over ten years ago.
        
       | hackerbrother wrote:
       | A few weeks later.. is CrabLang dead?
        
         | jyxent wrote:
         | It never was alive. A fork where the only development is
         | renaming everything to crablang is pointless.
        
           | kbelder wrote:
           | It would allow you to completely avoid trademark issues. That
           | it's identical to Rust is a benefit.
        
       ___________________________________________________________________
       (page generated 2023-06-15 23:02 UTC)