Back to article
oxide.computer

Iddqd, or the hardest kind of unsafe Rust (opens in new tab)

Covers 4 stories See all stories this covers including Lean: Programming Language and Theorem ProverCovered by 4 sources See all sources covering this story including oxide-and-friends.transistor.fm, sunshowersDiscussed on Hacker News, Lobsters, and r/rust

Covers 4 related stories

lean-lang.org·

Lean: Programming Language and Theorem Prover

Discussed on Hacker News and Hacker News
Feeds
doc.rust-lang.org·

The Rust Journey of a JavaScript Developer • Day 4 (1/5)

Discussed on DEV
Feeds
GitHub·

all of rust codebase: This codebase fails even the most basic miri checks, allows for UB in safe rust · Issue #30719

Discussed on Hacker News
Feeds
GitHub·

Kani

Feeds

Covered in 4 articles

oxide-and-friends.transistor.fm·

The Hardest Kind of Unsafe Rust

Discussed on Hacker News
Feeds
sunshowers·

iddqd, or the hardest kind of unsafe Rust

Feeds
Hugo Tunius·

The Sword Juggling Fallacy

Discussed on Hacker News
Feeds
share.transistor.fm·

The Hardest Kind of Unsafe Rust | Oxide and Friends | Episode 14

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help