🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

The Generativity Pattern in Rust
arhan.sh·13h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.com·23h·
Discuss: r/rust
🦀Rust Verification
How Rust powers Proton Authenticator
proton.me·12h
🦀Embedded Rust
Software Internals Book Club
eatonphil.com·1h
⚙️Operating System Design
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·14h·
Discuss: Hacker News
🦀Rust Macros
Week 31 Status
blogs.gnome.org·8h
🎯Gradual Typing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Egui.NET: unofficial C# bindings for the easy-to-use Rust UI library
github.com·1d
🦀Rust Macros
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·22h·
Discuss: Hacker News
🔒Linear Types
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·23m
✅Archive Validation
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·16h·
Discuss: Hacker News, r/programming
🔩Systems Programming
Surgical Rewrite from Go to Rust
wxiaoyun.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
Axum Is Shaping the Future of Web Development in Rust
dev.to·15h·
Discuss: DEV
🔒Linear Types
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
💧Liquid Types
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·1d·
Discuss: Hacker News
⚡gRPC