🔬 MiriSpecific

Rust Interpreter, Undefined Behavior, Memory Safety Validation, Testing Tool

Feeds to Scour
SubscribedAll
Scoured 11 posts in 27.3 ms

No high-quality results found.

Less-relevant results
Back to the Building Blocks’ Building Blocks  🔌FPGA Programming
cs.cornell.edu·6d·Lobsters, Hacker News
Almost Always Unsigned  🏷️Pointer Tagging
graphitemaster.github.io·16h
Why I Open-Sourced Only Layer Zero  🛡️AMD SEV
github.com·14h·DEV
Safe Made Easy Pt.1: Single Ownership Is (Not) Optional  🦀Rust
ergeysay.github.io·6d·Hacker News
Dusklight the reimplementation of The Legend of Zelda: Twilight Princess gets a major update  🎮QEMU TCG
gamingonlinux.com·3d
Building OmniPulse’s Rust Core: FFI Bridges, Optimal Transport, and a Real MCP Server  ⚡ZeroMQ
pub.towardsai.net
·5d
A brief note about slot access cost in Common Lisp  🏛️Region-Based Memory
turtleware.eu·5d·Lobsters, Hacker News, Hacker News
A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more!  📏Linear Types
federicobruzzone.github.io·4d·Hacker News
Hello, Array: malloc, free and Manual Bookkeeping  🧩Mimalloc Internals
dev.to·3d·DEV
Finding Miscompiles for Fun, Not Profit  🐛Fuzzing
newsletter.semianalysis.com
·4d·Lobsters, Hacker News
dogmaticdev/IRON: IRON a.k.a. Intermediate Representation Object Notation is a Interpreter/Database that is used to create Programming Languages.  🦀Rust Macros
github.com·4d·Hacker News

No more posts from hello's subscribed feeds.

Scour all 24801 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
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
Browse
gb
Search
/

General

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

Press ? anytime to show this help