🦀 Rust Borrowing

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

Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·21h·
Discuss: DEV
🔒Type Safety
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·2h·
Discuss: Substack
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🔒Type Safety
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Using PhantomData and Zero-Sized Types
dev.to·2h·
Discuss: DEV
🔒Type Safety
Introduction - The Rustonomicon
doc.rust-lang.org·5d
🦀Rust Macros
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000）
dev.to·1d·
Discuss: DEV
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🔒Type Safety
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·13h
🔍Concolic Testing
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·2d·
Discuss: DEV
🔒Type Safety
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Rust: A language that grows with you, your career and your projects
kerkour.com·11h·
Discuss: Hacker News
🦀Rust Macros
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·9h
⬆️Lambda Lifting
Rust Blender Extension API with Hot Reloading
algebraic.games·2d·
Discuss: Hacker News
🦀Rust Macros
Why 2025 Is the Perfect Year to Rewrite in Rust
dev.to·5h·
Discuss: DEV
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🔒Type Safety