🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

[$] Libxml2's "no security embargoes" policy
lwn.net·3h
🔓Free and open source
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.com·1d·
Discuss: Hacker News
🦀Rust Macros
Mike Driscoll: An Intro to ty – The Extremely Fast Python type checker
blog.pythonlibrary.org·5h
🎯Gradual Typing
Rust Blender Extension API with Hot Reloading
algebraic.games·2d·
Discuss: Hacker News
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Rust: A language that grows with you, your career and your projects
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Memory Safety in Web Rust System Zero Cost Secure（1750506908117500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Threaded Code
muforth.dev·7h·
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
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
Memory Safety in Web Rust System Zero Cost Secure（1750491469901500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Rust’s Approach to Memory and Performance
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Creating Domain Types for Safer Code
dev.to·2d·
Discuss: DEV
🔒Linear Types
Returning Iterators from Functions
dev.to·2d·
Discuss: DEV
🦀Rust Macros
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·19m·
Discuss: Hacker News
🦀Rust Macros