3 ms·
If you are interested in a more nuanced take on what makes unsafe Rust both valuable and difficult, check out my blog post on the Oxide blog: https://oxide.comp
by sunshowers 4mo ago
If you are interested in a more nuanced take on what makes unsafe Rust both valuable and difficult, check out my blog post on the Oxide blog: https://oxide.computer/blog/iddqd-unsafe https://oxide.computer/blog/iddqd-unsafe
I directly tackle the concerns you mentioned, and as a followup I'm actually working on formally verifying the library as well (I've had some success and will publish an update regarding this).
- reallyinchaos 4mo ago[flagged]
- sunshowers 4mo agoI'm a huge fan of Rust! I like to think my writing makes the Rust community better more than it annoys people :)
- reallyinchaos 4mo ago[dead]
- aapoalas 4mo agoOoh, cooll to hear you got some uptake on the call for formal methods help! Or did you end up figuring it out on your own? Either way, looking forward to the followup!
- sunshowers 4mo agoMostly chatted with some people and figured it out with their help.
- sunshowers 4mo agoUpdated https://oxide.computer/blog/iddqd-unsafe#what-about-formal-methods https://oxide.computer/blog/iddqd-unsafe#what-about-formal-m... with some notes.