A place for developers to talk about building on Farcaster.

/dev

Pretty huge win for Rust if all unsafe functions can be formally verified.

Pretty huge win for Rust if all unsafe functions can be formally verified.

https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/

Building @warpcast and @farcaster. Previously Coinbase, Brigade, Causes.

creating and destroying; built flying cars & autonomous vehicles, now building /faust, more here: /july, web: july.rocks

Formal verification of rust imo is the path to certification

Formal verification of monadic computation