馃敩 Miri

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

Feeds to Scour
SubscribedAll
Scoured 76494 posts in 816.3 ms
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com路12h
馃嵄Nom
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com路21h路
Discuss: Hacker News
馃摝Serde
Linting intra-task concurrency and FutureLock
farnoy.dev路2d路
Discuss: r/rust
馃Rust Async
Zinc Language Design
ziggit.dev路2h
馃Rust
To Consume or Reference in Rust
meejah.ca路1d
馃Rust Lifetimes
Build a Compiler in Five Projects
kmicinski.com路1h
馃敤Compilers
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org路1d
馃Rust
RUSTSEC-2025-0148: Vulnerability in finch-rust
rustsec.org路23h
馃惂Rust for Linux
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com路13h路
Discuss: Hacker News, Hacker News
馃幆Escape Analysis
馃幉 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact
huonw.github.io路15h
馃摌TypeScript
Rust in Linux: Fixing the Edges, Not the Core
dev.to路2d路
Discuss: DEV
馃惂Rust for Linux
Why YS Chose Clojure
yamlscript.org路5h
馃數Clojure
Built a KiCAD schematic analyzer in Rust - would appreciate code review
github.com路8h路
Discuss: r/rust
馃敡Embedded Rust
EarlyBinder and instantiating parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org路2d路
Discuss: Lobsters, Hacker News
馃Rustc Internals
The beginning of a new era in Rust
news.ycombinator.com路1d路
Discuss: Hacker News
馃Rust
Railway Oriented Programming
fsharpforfunandprofit.com路20h路
Discuss: Hacker News
位Functional Programming
Evaluating and mitigating the growing risk of LLM-discovered 0-days
red.anthropic.com路1d路
Discuss: Lobsters, Hacker News, Hacker News
馃敁Binary Exploitation
Sukr: A minimal static site compiler in Rust with zero-JS output
lobste.rs路2d路
Discuss: Lobsters
馃Leptos
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com路3d路
Discuss: Substack
馃Rust
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io路13h路
Discuss: Lobsters, Hacker News
馃摝uv

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
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