corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07df4-76cf-716b-927c-9a9bf42d2b43

iddqd, or the hardest kind of unsafe Rust

Oxide Computer Blog · 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 oxide.computer Wayback capture
4blogs citing
First cited
2 Jun 2026
Most recent
14 Jun 2026
Rank this month
not ranked
Links from this post
60
Words captured
10,227

Cited by

Blog
In the post
Date
K0nserv
The Sword Juggling Fallacy Read at the source ↗
14 Jun 2026
share.transistor.fm
The Hardest Kind of Unsafe Rust Read at the source ↗
13 Jun 2026
sunshowers
iddqd, or the hardest kind of unsafe Rust Read at the source ↗
2 Jun 2026
sunshowers
iddqd, or the hardest kind of unsafe Rust Read at the source ↗
2 Jun 2026
xfbs.net
iddqd, macrodb, and a tiny keyed set Read at the source ↗
2 Jun 2026
sunshowers
Work Read at the source ↗
—

Links from this post

Link
Host
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://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