41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a08785-45d0-7170-8fda-96f8533e5c35

Rust: safe and unsafe as theorems and axioms

iandouglasscott.com · published 26 July 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at iandouglasscott.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 13
Words captured: 2,133

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

What Is Rust's unsafe? Read at the source ↗

https://inejge.github.io/blog/2019/07/18/The-Temptation-of-Unsafe.html

inejge.github.io

https://matklad.github.io/2019/07/25/unsafe-as-a-type-system.html

matklad.github.io

https://doc.rust-lang.org/stable/reference/unsafety.html

doc.rust-lang.org

What Every C Programmer Should Know About Undefined Behavior #1/3 Read at the source ↗

https://www.smbc-comics.com/index.php?db=comics&id=2861

smbc-comics.com

https://github.com/rust-lang/rust/blob/master/src/liballoc/vec.rs

github.com

https://doc.rust-lang.org/std/vec/struct.Vec.html

doc.rust-lang.org

https://github.com/rust-lang/rust/labels/I-unsound%20%F0%9F%92%A5

github.com

https://doc.rust-lang.org/nomicon/working-with-unsafe.html

doc.rust-lang.org

https://en.wikipedia.org/wiki/Coq

en.wikipedia.org

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

en.wikipedia.org

https://github.com/rust-lang-nursery/wg-verification

github.com