🔬 Miri

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

Angular 21 Released: What’s New & Developer Guide
youtu.be·2d·
Discuss: DEV
🌐Web Development
Flag this post
I got tired of Ollama hogging my VRAM when I needed to multitask, so I wrote a lightweight VRAM Guard.
github.com·3d·
Discuss: r/LocalLLaMA
📊Profiling Tools
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
🏗️Cranelift
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🧵Loom
Flag this post
Rive – Why Scripting Runs on Luau
rive.app·2d·
Discuss: Hacker News
🕸️WASM
Flag this post
Why do Rust Projects hate Copyleft Licenses?
reddit.com·8h·
Discuss: r/rust
🐧Rust for Linux
Flag this post
Learning Rust by Building a Simple Filesystem – Welcome!
reddit.com·4d·
Discuss: r/rust
🦀Rust
Flag this post
Mastering Claude Code — A Free Open-Source Handbook for Developers
github.com·17h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Rust unit testing: mocking library
jorgeortiz.dev·5d·
Discuss: r/rust
📦Serde
Flag this post
Gitoxide in November
github.com·17h·
Discuss: r/rust
🚀Shuttle
Flag this post
TONL: A New LLM-Friendly Data Serialization Format
github.com·2d·
Discuss: DEV
⛽Diesel
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
github.com·1d·
Discuss: Hacker News
📦uv
Flag this post
They Said “Don’t Do It.” So I Did It. I Wrote a C Compiler in C. 🚀
reddit.com·2d·
Discuss: r/C_Programming
🦀Rust Macros
Flag this post
Design Pattern Analogous to MVC in Rust
reddit.com·2d·
Discuss: r/rust
🌐Axum
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·6h·
Discuss: DEV
📝Suffix Arrays
Flag this post
Fast and Specialized Rust CSV Readers Using SIMD Instructions
github.com·2d·
Discuss: Hacker News
⚡Ruff
Flag this post
What is Declarative Programming
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
dev.to·2d·
Discuss: DEV, DEV
⚡Ruff
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
reddit.com·14h·
Discuss: r/rust
🔄Glommio vs Tokio
Flag this post
Minimal Rust-based Kubernetes mutating webhook (Poem + Tokio)
reddit.com·1d·
Discuss: r/kubernetes
🚀Shuttle
Flag this post