"Recent years have seen many success stories where formal methods, or ideas influenced by formal methods, have transitioned successfully from the research lab to development tools. Yet, formal methods have remained the broccoli of the computing world: nutritious but not palatable, or, ↵

For any programming languages/verification people/#rust people here: I wrote a short thing about refined arrays and const generics in #flux flux-rs.github.io/flux/blog/04...