RSSAmplifier

Gavin D. Howard · May 22, 2024

What Rust Got Wrong on Formal Verification

0
Sign in to vote or save

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

I don't like Rust. I think it could be simpler. And because the creator of Rust wrote something recently, I thought it was time to lay out my vision.

Read on gavinhoward.com

Comments

Nothing yet. Say the first thing.

    Sign in to join the conversation.