corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · corpus.blog/posts/01a087e7-e22f-7078-983f-21a5ae27a363

iddqd, or the hardest kind of unsafe Rust

sunshowers · published 2 June 2026

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 sunshowers.io Wayback capture
1blogs citing
First cited
21 Feb 2024
Most recent
7 Mar 2026
Rank this month
not ranked
Links from this post
70
Words captured
10,666

Cited by

Blog
In the post
Date
v4.jasik.xyz
Recently Read at the source ↗
7 Mar 2026
v4.jasik.xyz
Recently Read at the source ↗
28 Jan 2026
v4.jasik.xyz
Goodbye Bike Read at the source ↗
8 Oct 2025
v4.jasik.xyz
bleh bleh bloop Read at the source ↗
21 Feb 2024

Links from this post

Link
Host
iddqd, or the hardest kind of unsafe Rust Read at the source ↗
oxide.computer
https://www.youtube.com/watch?v=mdcu3dKMjyg
youtube.com
https://oxide-and-friends.transistor.fm/episodes/the-hardest-kind-of-unsafe-rust
oxide-and-friends.transistor.fm
https://docs.rs/iddqd
docs.rs
https://doomwiki.org/wiki/Doom_cheat_codes
doomwiki.org
https://oxide.computer/
oxide.computer
https://github.com/oxidecomputer/omicron
github.com
https://rfd.shared.oxide.computer/rfd/0048
rfd.shared.oxide.computer
https://github.com/oxidecomputer/omicron/blob/2e319eb3b9b9fcffb8cee71cffb9cd13397cb316/sled-agent/config-reconciler/src/internal_disks.rs
github.com
https://github.com/oxidecomputer/omicron/blob/2e319eb3b9b9fcffb8cee71cffb9cd13397cb316/nexus/types/src/inventory.rs
github.com
https://github.com/oven-sh/bun/issues/30719
github.com
https://doc.rust-lang.org/std/collections/struct.BTreeMap.html
doc.rust-lang.org
https://docs.rs/iddqd/latest/iddqd/struct.IdOrdMap.html
docs.rs
https://docs.rs/iddqd/latest/iddqd/
docs.rs
https://github.com/sunshowers-code/borrow-complex-key-example
github.com
https://docs.rs/iddqd/latest/iddqd/struct.BiHashMap.html
docs.rs
https://docs.rs/iddqd/latest/iddqd/struct.TriHashMap.html
docs.rs
https://docs.rs/iddqd/latest/iddqd/id_ord_map/struct.IdOrdMapAsMap.html
docs.rs
https://crates.io/crates/iddqd
crates.io
https://doc.rust-lang.org/reference/behavior-considered-undefined.html
doc.rust-lang.org
https://en.wikipedia.org/wiki/Rice%27s_theorem
en.wikipedia.org
https://cacm.acm.org/research/safe-systems-programming-in-rust/
cacm.acm.org
https://doc.rust-lang.org/std/primitive.slice.html
doc.rust-lang.org
https://doc.rust-lang.org/nomicon/safe-unsafe-meaning.html
doc.rust-lang.org
https://doc.rust-lang.org/std/iter/trait.ExactSizeIterator.html
doc.rust-lang.org
https://doc.rust-lang.org/std/io/trait.Read.html
doc.rust-lang.org
https://github.com/rust-lang/rfcs/blob/master/text/2930-read-buf.md
github.com
https://docs.rs/iddqd/latest/iddqd/struct.IdHashMap.html
docs.rs
https://docs.rs/slab
docs.rs
https://docs.rs/hashbrown/latest/hashbrown/struct.HashTable.html
docs.rs
https://github.com/oxidecomputer/iddqd/blob/dd52024760267ce0a5bcd5b98a745a4b4468ebe5/crates/iddqd/src/support/btree_table.rs
github.com
https://github.com/oxidecomputer/iddqd/blob/1588c91bb7d120f9175533c0f36fdcf58c84f13c/crates/iddqd/src/support/borrow.rs
github.com
https://github.com/rust-lang/rust/blob/c854ac880bf68671f56e6a28e4ff5cb7e92da62c/library/alloc/src/collections/btree/borrow.rs
github.com
https://doc.rust-lang.org/std/iter/trait.Iterator.html
doc.rust-lang.org
https://doc.rust-lang.org/stable/std/mem/fn.transmute.html
doc.rust-lang.org
https://docs.rs/iddqd/latest/iddqd/id_ord_map/struct.OccupiedEntry.html
docs.rs
https://doc.rust-lang.org/std/cmp/enum.Ordering.html
doc.rust-lang.org
https://doc.rust-lang.org/reference/interior-mutability.html
doc.rust-lang.org
https://rust-lang.github.io/rust-clippy/master/index.html?search=undocumented_unsafe_blocks
rust-lang.github.io
https://github.com/oxidecomputer/iddqd/blob/dd52024760267ce0a5bcd5b98a745a4b4468ebe5/crates/iddqd/tests/integration/id_ord_map.rs
github.com
https://github.com/oxidecomputer/iddqd/blob/dd52024760267ce0a5bcd5b98a745a4b4468ebe5/crates/iddqd/tests/integration/pathological.rs
github.com
https://github.com/rust-lang/miri/
github.com
From Stacks to Trees: A new aliasing model for Rust Read at the source ↗
ralfj.de
https://github.com/oxidecomputer/iddqd/blob/dd52024760267ce0a5bcd5b98a745a4b4468ebe5/crates/iddqd-test-utils/src/naive_map.rs
github.com
https://www.youtube.com/watch?v=CcYK8E1UuJY
youtube.com
https://github.com/oxidecomputer/iddqd/pull/259
github.com
https://github.com/oxidecomputer/iddqd/pull/260
github.com
https://simonwillison.net/guides/agentic-engineering-patterns/red-green-tdd/
simonwillison.net
https://en.wikipedia.org/wiki/Model_checking
en.wikipedia.org
https://github.com/model-checking/kani
github.com
https://creusot.rs/
creusot.rs
https://github.com/creusot-rs/creusot/blob/7a68885eb85a3bea6f65e7cb50b9013e4aa7d1dc/creusot-std/src/std/panicking.rs
github.com
https://crates.io/crates/cargo-anneal
crates.io
https://lean-lang.org/
lean-lang.org
https://github.com/oxidecomputer/iddqd/issues/new
github.com
https://soteria-tools.com/
soteria-tools.com
https://github.com/oxidecomputer/iddqd/tree/main/crates/iddqd/tests/soteria
github.com
https://arxiv.org/abs/2511.08729
arxiv.org
https://github.com/oxidecomputer/iddqd/blob/a794b0a57d18ca3ef5cc261cfbcb6b970301acb4/crates/iddqd/tests/soteria/hasher.rs
github.com
https://github.com/oxidecomputer/iddqd/blob/a794b0a57d18ca3ef5cc261cfbcb6b970301acb4/crates/iddqd/tests/soteria/id_ord_map.rs
github.com
https://oxide.computer/principles
oxide.computer
https://oxide.computer/careers
oxide.computer
https://news.ycombinator.com/item?id=48371762
news.ycombinator.com
https://lobste.rs/s/6eyhii/iddqd_hardest_kind_unsafe_rust
lobste.rs
https://blog.regehr.org/archives/1307
blog.regehr.org
https://rust-lang.github.io/generic-associated-types-initiative/design_patterns/iterable.html
rust-lang.github.io
https://doc.rust-lang.org/std/collections/btree_map/struct.OccupiedEntry.html
doc.rust-lang.org
https://doc.rust-lang.org/rust-by-example/error/abort_unwind.html
doc.rust-lang.org
https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
doc.rust-lang.org
In defense of lock poisoning in Rust Read at the source ↗
sunshowers.io