🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🦀 Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Using PhantomData and Zero-Sized Types
dev.to·2h·
Discuss: DEV
🔒Type Safety
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Memory Safety in Web Rust System Zero Cost Secure(1750762127113200)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·1d·
Discuss: Hacker News
🦀Rust Macros
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
**Master Rust Testing: Essential Strategies for Bulletproof Code Quality and Development Efficiency**
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Introduction - The Rustonomicon
doc.rust-lang.org·5d
🦀Rust Borrowing
Counter Service: How we rewrote it in Rust
engineering.grab.com·2d
🔒Linear Types
Memory Safety in Web Rust System Zero Cost Secure(1750671065382000)
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750644757028200)
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750632264828500)
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
🦀 Understanding Lifetimes, Traits, Enums, and Pattern Matching in Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Rust Web Framework Analysis Deep Dive Safety Features(1750734074777000)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·5h
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap