🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Antonio Cuni: Improving Memory Behaviour to Make Self-Hosted PyPy Translations Practical
antocuni.eu·4h
🚀Compiler Optimizations
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Macros
Elephants for breakfast
bitfieldconsulting.com·5h
🦀Rust Macros
Thoughts on creating a tracking pointer class, part 15: A custom shared pointer
devblogs.microsoft.com·2h
🧠Separation Logic
On Joining the Mojo Compiler Team
verdagon.dev·23h·
Discuss: Hacker News
🎯Gradual Typing
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·1d·
Discuss: Hacker News, r/cpp
✨Effect Handlers
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·4d
🧪Binary Fuzzing
Inside Zig's New Writer
joegm.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Spectrum – catching clojure.spec conform errors at compile time
github.com·2d·
Discuss: Hacker News
🔗Functional Compilers
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·3d
🎯Gradual Typing
Concurrency vs parallelism stop mixing them up, it’s embarrassing
dev.to·4h·
Discuss: DEV
🔄Lens Laws
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·5d·
Discuss: Hacker News, r/cpp
🧠Separation Logic
strongly typed?
dotat.at·1d·
Discuss: Hacker News
🔗Dependently Typed
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·12h
💎Information Crystallography
Secure by Design: A Shift-Left Approach with Testcontainers, Docker Scout, and Hardened Images
docker.com·1d
📦Container Security
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·2d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Zig, Rust, Go?! I tried 3 low-level languages and here’s what I’m sticking with
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·2d
🌳Archive Merkle Trees
Deep dive into Mojo object initialization
connorgray.com·1d·
Discuss: Hacker News
🦀Rust Borrowing