corpus.blog
Claim your blog
Record · corpus.blog/posts/01a0877b-f1f0-7392-b272-d69addd701db

What Rust Got Wrong on Formal Verification

gavinhoward · published 22 May 2024

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 gavinhoward.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
51
Words captured
4,837

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://rustacean.net/
rustacean.net
https://news.ycombinator.com/item?id=40376532
news.ycombinator.com
https://graydon2.dreamwidth.org/312681.html
graydon2.dreamwidth.org
References are like jumps Read at the source ↗
without.boats
https://cglab.ca/~abeinges/blah/everyone-poops/
cglab.ca
https://github.com/rust-lang/rust/issues/24292
github.com
https://doc.rust-lang.org/nomicon/leaking.html
doc.rust-lang.org
https://medium.com/@fabriguespe/your-margin-is-my-opportunity-5d5acbc8d814
medium.com
https://x.com/xldenis/status/1790297114519404692
x.com
https://xav.io/blog/rust-formal-verification/
xav.io
https://sel4.systems/
sel4.systems
https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf
sigops.org
https://en.wikipedia.org/wiki/Mathematical_induction
en.wikipedia.org
https://rust-lang.github.io/async-book/01_getting_started/01_chapter.html
rust-lang.github.io
https://en.wikipedia.org/wiki/Parallel_computing
en.wikipedia.org
https://vorpus.org/
vorpus.org
Notes on structured concurrency, or: Go statement considered harmful Read at the source ↗
vorpus.org
https://en.wikipedia.org/wiki/Richard_Stallman
en.wikipedia.org
https://en.wikipedia.org/wiki/Daniel_J._Bernstein
en.wikipedia.org
https://en.wikipedia.org/wiki/Eric_S._Raymond
en.wikipedia.org
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
en.wikipedia.org
https://en.wikipedia.org/wiki/Paul_Graham_(programmer
en.wikipedia.org
http://swtch.com/~rsc/
swtch.com
https://en.wikipedia.org/wiki/David_Heinemeier_Hansson
en.wikipedia.org
https://cwe.mitre.org/data/definitions/416.html
cwe.mitre.org
https://en.wikipedia.org/wiki/Resource_acquisition_is_initialization
en.wikipedia.org
https://git.yzena.com/Yzena/Yc/src/commit/ce5a7c12ab4b2/src/alloc/stackpool.c
git.yzena.com
https://git.yzena.com/Yzena/Yc/src/commit/ce5a7c12ab4b2/src/container/list.c
git.yzena.com
Linklog | What Color is Your Function? Read at the source ↗
journal.stuffwithstuff.com
Asynchronous clean-up Read at the source ↗
without.boats
https://eta.st/2021/03/08/async-rust-2.html
eta.st
https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell
destroyallsoftware.com
https://devopedia.org/shift-left
devopedia.org
https://news.ycombinator.com/item?id=39253825
news.ycombinator.com
https://old.reddit.com/r/rust/comments/1aiscx5/compiling_rust_is_testing/kowzcsz/
old.reddit.com
https://pron.github.io/posts/correctness-and-complexity
pron.github.io
https://news.ycombinator.com/item?id=40376645
news.ycombinator.com
https://www.fuzzingbook.org/
fuzzingbook.org
https://en.wikipedia.org/wiki/Mutation_testing
en.wikipedia.org
https://en.wikipedia.org/wiki/Chaos_engineering
en.wikipedia.org
https://github.com/torvalds/linux/blob/8f6a15f095a63a83b096d9b29aaff4f0fbe6f6e6/include/linux/sched.h
github.com
http://www.kegel.com/c10k.html
kegel.com
https://en.wikipedia.org/wiki/Directed_acyclic_graph
en.wikipedia.org
The Scoped Task trilemma Read at the source ↗
without.boats
http://c10m.robertgraham.com/p/manifesto.html
c10m.robertgraham.com
https://en.wiktionary.org/wiki/close_enough_for_government_work
en.wiktionary.org
Async Rust Is A Bad Language Read at the source ↗
bitbashing.io
The power of two random choices Read at the source ↗
brooker.co.za
https://git.yzena.com/Yzena/Yc/src/commit/ce5a7c12ab4b2/src/sys/multiplex.c
git.yzena.com
https://git.yzena.com/Yzena/Yc/src/commit/ce5a7c12ab4b2/src/urdo/main.c
git.yzena.com
https://callbackhell.com/
callbackhell.com
Elsewhere on gavinhoward.com (9)