Record · corpus.blog/posts/01a07df2-0ed6-70d4-8d73-854a54755bb4

Totality

Yoshua Wuyts · published 20 July 2023

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 blog.yoshuawuyts.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 3,190

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://theincredibleholk.org

theincredibleholk.org

https://www.microsoft.com/en-us/research/people/daan/

microsoft.com

https://koka-lang.github.io/koka/doc/book.html

koka-lang.github.io

https://doc.rust-lang.org/std/panic/fn.panic_any.html

doc.rust-lang.org

https://doc.rust-lang.org/std/result/enum.Result.html

doc.rust-lang.org

https://doc.rust-lang.org/std/panic/fn.catch_unwind.html

doc.rust-lang.org

https://internals.rust-lang.org/t/enforcing-no-std-and-no-panic-during-build/14505/3

internals.rust-lang.org

https://github.com/viperproject/prusti-dev

github.com

https://github.com/model-checking/kani

github.com

https://github.com/dtolnay/no-panic

github.com

https://github.com/japaric/panic-never

github.com

https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-generics.html

blog.rust-lang.org

Pattern Extensions Read at the source ↗

blog.yoshuawuyts.com

https://www.youtube.com/watch?v=2PEjvhkknzw

youtube.com

Linear Types One-Pager Read at the source ↗

blog.yoshuawuyts.com

https://doc.rust-lang.org/std/any/trait.Any.html

doc.rust-lang.org

https://doc.rust-lang.org/std/mem/fn.size_of.html

doc.rust-lang.org

https://en.wikipedia.org/wiki/Rice%27s_theorem

en.wikipedia.org

https://github.com/rust-lang/rust/pull/19964

github.com