[HN Gopher] Rust Adopting Ferrocene Language Specification
       ___________________________________________________________________
        
       Rust Adopting Ferrocene Language Specification
        
       Author : Tomte
       Score  : 14 points
       Date   : 2025-03-27 20:55 UTC (2 hours ago)
        
 (HTM) web link (lwn.net)
 (TXT) w3m dump (lwn.net)
        
       | Pet_Ant wrote:
       | This is much bigger news than I think people realise. With the
       | push for more secure systems programming language, having a
       | formal model will enable much more powerful tooling and theorem
       | proving that will help spot, model, or identify vulnerabilities.
       | (There will still be a class of vulnerabilities from when the
       | implementation does not match the specification).
        
       | mjw1007 wrote:
       | The Ferrocene Language Specification has two serious problems:
       | there are very large gaps in it, and what's present is very
       | buggy.
       | 
       | If you pick a small part and look at it in isolation it typically
       | looks quite plausible, but if you try to follow the definitions
       | it very often just falls apart.
        
       ___________________________________________________________________
       (page generated 2025-03-27 23:01 UTC)