🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Feeds to Scour
SubscribedAll
Scoured 11411 posts in 453.9 ms
Errors in Rust: A Deep Dive
halcyon.hr·7h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·1d
λLambda Encodings
Preview
Report Post
Copy-on-write teaches you EVERYTHING about Swift Internals 🐮
blog.jacobstechtavern.com
·12h
🔗Functional Compilers
Preview
Report Post
Aliasing
xania.org·15h·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·8h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·13h
⚖️Hoare Logic
Preview
Report Post
🚀 Introducing TigerASM: Your Rust-to-Python Runtime Assembler Library 🐯⚡
dev.to·18h·
Discuss: DEV
🦀Rust Macros
Preview
Report Post
Writing a mockable Filesystem trait in Rust without RefCell
pyk.sh·17h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Rust Coreutils 0.5.0 reaches 88 percent GNU compatibility
heise.de·9h
🦀Rust Borrowing
Preview
Report Post
Rust's v0 mangling scheme in a nutshell
purplesyringa.moe·14h·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
Go From Zero to Depth — Part 4: Pointers in Go (Not Scary, Just Misunderstood)
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Preview
Report Post
🦀 Rust Is Officially Part of Linux Mainline
weeklyrust.substack.com·1d·
Discuss: Substack
🦀Embedded Rust
Preview
Report Post
From Shell to Stealth: Building AV-Evasive Binary
infosecwriteups.com·20h
🧪Binary Fuzzing
Preview
Report Post
Experiments with Memory Integrity Enforcement
octet-stream.net·32m·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post
I accidentally made a git client in rust with no prior experience. Here are my thoughts on all that!
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The state of the kernel Rust experiment
lwn.net·2d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post