🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🦀Rust Verification
What people said about an OpenZFS bug
despairlabs.com·57m·
Discuss: Lobsters, Hacker News
🔓Decompilation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·4d
🦀Rust Borrowing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·23h
🎯Gradual Typing
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
How to catch GitHub Actions workflow injections before attackers do
github.blog·46m
🛡️WebAssembly Security
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·1d·
Discuss: Hacker News, Hacker News
🦀Rust Borrowing
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
A thread-safety gotcha with CurrentAttributes
thoughtbot.com·1d
🦀Rust Borrowing
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
Mitigating the risks of package hallucination and 'slopsquatting'
techradar.com·2h
🔓Hacking
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
Python Scope and the LEGB Rule: Resolving Names in Your Code
realpython.com·2h
🦀Rust Macros
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·2h·
Discuss: Hacker News
🦀Rust Borrowing
Compressed data structures for Heegaard splittings
arxiv.org·12h
🕳️Persistent Homology
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·9h
🔗Functional Compilers