A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🔒Type Safety
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·17h·
Discuss: r/golang
🦀Rust Macros
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·8h
🔒WASM Capabilities
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
What people said about an OpenZFS bug
despairlabs.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·21h
🔗Functional Compilers
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·14h·
Discuss: Hacker News
🦀Rust Borrowing
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·12h·
Discuss: Hacker News
🤖Network Automation
Zig Interface Revisited
williamw520.github.io·11h·
Discuss: Hacker News
🧩WASM Components
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Checking data integrity
eclecticlight.co·21h
✅Checksum Validation
RustNext: The Next.js-Inspired Web Framework for Rust
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing