🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·9h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
How Rust powers Proton Authenticator
proton.me·1d
🦀Rust Borrowing
Rust's .map is cool
bennett.ink·5h
🔒Linear Types
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·2h·
Discuss: Hacker News
🔒WASM Capabilities
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
Relative Completeness of Incorrectness Separation Logic
arxiv.org·18h
🧠Separation Logic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Arti 1.4.6 is released: Hidden Service resilience; work on flow control, Conflux, and CGO.
blog.torproject.org·22h
🔒Linear Types
Let's hax0r a GC… (eventually)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·4h
💧Liquid Types
A New Concurrent ML in Guile Scheme
wingolog.org·13h·
Discuss: Hacker News
🔄Lens Laws
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Week 31 Status
blogs.gnome.org·23h
🎯Gradual Typing
Why Computer Science Is No Good, Redux
cacm.acm.org·4h
🎯Performance Proofs
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
A Library Approach to Constant Template Parameters
brevzin.github.io·3d·
Discuss: Hacker News, r/cpp
🦀Rust Macros