🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

The pirate-based logic of Rust shared references
ais523.me.uk·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·6h·
Discuss: DEV
🔬Refinement Types
Advent of Code: Libraries
elly.town·1d
⛪Church Encoding
Issue 490
haskellweekly.news·4h
🔗Functional Compilers
Announcing Rust 1.90.0
blog.rust-lang.org·16h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·6h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
C++ Committee Prefers Bjarne's Profiles to Baxter's Rustification
news.ycombinator.com·9h·
Discuss: Hacker News
🦀Rust Borrowing
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·9h
🧠Separation Logic
Portable C++ Guideline
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Beyond Sandbox Domains: Rendering Untrusted Web Content with SafeContentFrame
bughunters.google.com·16h
🛡️WASM Security
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·21h
👁️Observatory Systems
[$] Comparing Rust to Carbon
lwn.net·2d
🦀Rust Borrowing
haskell/mtl
github.com·14h
🔗Functional Compilers
PSA: `views::single` doesn’t really view
quuxplusone.github.io·2d
🧮Algebraic Datatypes
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Always Bump Downwards
fitzgen.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Cross-platform applications with Rust 1: Durable and flexible
heise.de·2d
🔩Systems Programming
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·3h·
Discuss: Hacker News
🔗Functional Compilers
Efficient evaluation of expressions specified in the GO runtime
reddit.com·9h·
Discuss: r/golang
🔗Functional Compilers