Graydon HoareAww yeah the Liquid Types folks (few of whom I can find on the fedi yet, sadly) have started hacking Rust also
(Or is it more polite in cases like this to link to birdsite announcement, that also links to underlying URL but includes more twitter-account citations? https://twitter.com/RanjitJhala/status/1594710979279048707 )
Ranjit Jhala on Twitter
“With much excitement, and some trepidation, here's a first post on FLUX: an awesome refinement type checker for Rust, that @nilehmann has built over the past couple of years, with help from @atgeller00, Christian Poveda, @nikivazou and Gilles Barthe. https://t.co/eMXridYadk”
buraq@graydon you are probably aware of Prusti #rust #verification https://www.pm.inf.ethz.ch/research/prusti.html