Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

We didn't rewrite our feed handler in Rust
databento.com·1d·
🦀Rust Verification
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·14h·
Discuss: DEV
🦀Rust Macros
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·17h·
🦀Rust Verification
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·1d
🦀Rust Macros
Protobuf: Rust Generated Code Guide
protobuf.dev·1d
🦀Rust Macros
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1h
🔨Compilers
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·16h
📺VT100
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·15h
🧪Binary Fuzzing
Preventing Invalid Database Access at Compile Time
svix.com·1d·
🦀Rusty Databases
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·1d
🔓Decompilation
Rustfmt is effectively unmaintained
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·2d·
Discuss: DEV
🦀Rust Macros
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·15h·
📜Proof Carrying Code
Three Solutions to Nondeterminism in AI
blog.hellas.ai·17h·
Discuss: Hacker News
🎯Performance Proofs
Defeating Return Type Polymorphism
philipphagenlocher.de·8h·
Discuss: Hacker News
🧬Functional Programming
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.com·1d
📦Container Security
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·1d
Format Validation
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Making performant Python bindings to compiled code
kylebarron.dev·1d·
Discuss: Hacker News
🦀Rust Macros