corpus.blog
42,501 blogs · 5,361,753 posts Claim your blog
Record · corpus.blog/posts/01a0877b-f1ef-7305-a25a-932cbdf24cbd

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward · published 16 December 2025

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
35
Words captured
2,710

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://gavinhoward.org/2025/09/i-am-divorced/
gavinhoward.org
https://blog.cloudflare.com/18-november-2025-outage/
blog.cloudflare.com
Cloudflare's outage should not have happened, and they seem to be missing the point on how to avoid it in the future Read at the source ↗
ebellani.github.io
https://ebellani.github.io/
ebellani.github.io
https://news.ycombinator.com/item?id=46060110
news.ycombinator.com
https://news.ycombinator.com/item?id=46059227
news.ycombinator.com
https://ptolemy.berkeley.edu/projects/embedded/research/vis/doc/VisUser/vis_user/node4.html
ptolemy.berkeley.edu
https://en.wikipedia.org/wiki/Formal_methods
en.wikipedia.org
https://www.goodreads.com/quotes/506689-program-testing-can-be-used-to-show-the-presence-of
goodreads.com
Everything is broken Read at the source ↗
danluu.com
https://eclecticlight.co/2025/11/30/last-week-on-my-mac-losing-confidence/
eclecticlight.co
https://news.ycombinator.com/item?id=46114599
news.ycombinator.com
https://news.ycombinator.com/item?id=46060093
news.ycombinator.com
https://news.ycombinator.com/item?id=46062266
news.ycombinator.com
https://news.ycombinator.com/item?id=46064948
news.ycombinator.com
https://www.brainyquote.com/quotes/donald_knuth_181622
brainyquote.com
https://en.wikipedia.org/wiki/Lion_Air_Flight_610
en.wikipedia.org
https://en.wikipedia.org/wiki/Ethiopian_Airlines_Flight_302
en.wikipedia.org
https://softwareengineering.stackexchange.com/questions/10358/if-you-learned-formal-methods-for-software-how-useful-have-you-found-it/10364
softwareengineering.stackexchange.com
https://users.ece.cmu.edu/~koopman/des_s99/formal_methods/
users.ece.cmu.edu
https://en.wikipedia.org/wiki/Pareto_principle
en.wikipedia.org
https://softwareengineering.stackexchange.com/questions/10358/if-you-learned-formal-methods-for-software-how-useful-have-you-found-it/357207
softwareengineering.stackexchange.com
https://en.wikipedia.org/wiki/Mathematical_induction
en.wikipedia.org
https://doc.rust-lang.org/nomicon/races.html
doc.rust-lang.org
https://buttondown.com/hillelwayne/archive/what-if-the-spec-doesnt-match-the-code/
buttondown.com
https://en.wikipedia.org/wiki/Intermediate_representation
en.wikipedia.org
https://gist.github.com/cpq/8598782
gist.github.com
https://phauer.com/2015/checked-exceptions-are-evil/
phauer.com
https://en.wikipedia.org/wiki/Design_by_contract
en.wikipedia.org
https://doc.rust-lang.org/std/sync/struct.MutexGuard.html
doc.rust-lang.org
https://github.com/rust-lang/rust/issues/149359
github.com
In defense of lock poisoning in Rust Read at the source ↗
sunshowers.io
https://lobste.rs/s/vkyrtf/defense_lock_poisoning_rust
lobste.rs
https://github.com/gavinhoward/bc/commit/341c9388
github.com
https://github.com/gavinhoward/bc
github.com
Elsewhere on gavinhoward.com (4)