🔬 Miri

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

Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·15h·
Discuss: DEV
🦀Rust
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🌊Glommio
Flag this post
Basic Rust FFI Tutorial
bhh32.com·3d·
Discuss: r/programming, r/rust
⚠️Rust Unsafe
Flag this post
Project goals update — October 2025
blog.rust-lang.org·4d
🦀Rustc Internals
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
⚠️Rust Unsafe
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
⚠️Rust Unsafe
Flag this post
A bit about traits in embedded Rust
blog.igamble.dev·3d·
Discuss: r/rust
🔧Embedded Rust
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🦗Pest
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦕Deno
Flag this post
ShowHN: RepoScout – A multi-platform Git repo search tool in Rust
news.ycombinator.com·22h·
Discuss: Hacker News
🔎Quickwit
Flag this post
Claude Code-Sonnet 4.5 >>>>>>> Gemini 3.0 Pro - Antigravity
factory.ai·16h·
Discuss: r/ClaudeAI
🦀Rust
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
Moirai - Async/await jobs system for game development.
github.com·8h·
Discuss: r/rust
🦀Rust Async
Flag this post
Go Memory Model Deep Dive: What Every Go Developer Must Know – Serge Skoredin
skoredin.pro·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
🔍Type Inference
Flag this post
Hardcore function calling benchmark in backend coding agent.
reddit.com·1d·
Discuss: r/LocalLLaMA
📊Criterion.rs
Flag this post
Tool42: AI assisted Rust development tooling
dev.to·16h·
Discuss: DEV
⚡Ruff
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
axelang.org·1d·
Discuss: DEV
🦀Rust
Flag this post
Tuple Set: Operate on Rust tuples by type, not position
github.com·2d·
Discuss: r/rust
🦀Rust Macros
Flag this post