🔬 Miri

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

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
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·12h
🐚Shell Scripting
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
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🏗️Pavex
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·1d·
Discuss: Substack
🎭Program Synthesis
Flag this post
Announcing Lix 2.94 “Açaí na tigela”
lix.systems·4d·
Discuss: Lobsters, Hacker News
📦Nix Flakes
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
reddit.com·15h·
Discuss: r/rust
🔄Glommio vs Tokio
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
dev.to·2d·
Discuss: DEV, DEV
⚡Ruff
Flag this post
Minimal Rust-based Kubernetes mutating webhook (Poem + Tokio)
reddit.com·1d·
Discuss: r/kubernetes
🚀Shuttle
Flag this post
6 Common Anti-Patterns You should avoid
dev.to·5h·
Discuss: DEV
🦕Deno
Flag this post
The Hidden Tax You Are Paying Every Day: A Dev's Journey into Ops Automation
dev.to·9h·
Discuss: DEV
🦀Rust
Flag this post
Introducing Gati: The Backend That Builds, Scales, and Evolves Itself
dev.to·21h·
Discuss: DEV
🚀Shuttle
Flag this post
I created a small app to add Claude to the context menu in the file explorer for Windows
github.com·1d·
Discuss: r/ClaudeAI
🖼️Egui
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
🛡️Error Handling
Flag this post
Message catalogs with compile-time guarantees in Rust
github.com·4d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Pugio: A command-line dependency binary size graph visualisation tool
github.com·3d·
Discuss: r/rust
🐧Rust for Linux
Flag this post
Claude.md: Best Practices for Optimizing with Prompt Learning
arize.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Building database from stratch is headache
github.com·3d·
Discuss: r/rust
⛽Diesel
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Data Engineering
Flag this post